Using formal methods to specify the functional properties of engineering software. Baugh Jr., J. Computers and Structures, 45(3):557-570, 1992.
abstract   bibtex   
This paper describes the use of formal methods in specifying the functional properties of engineering software components, an approach that enables one to deal more effectively with the complexities of large-scale engineering software systems. Because they are formal objects, these specifications can be manipulated using ordinary mathematics, validated with respect to formal requirements, and shown to satisfy properties such as consistency and completeness. In addition, their concise and unambiguous nature makes them suitable for both communication and commentary, which are not possible with substantial program texts. We present detailed examples of formally defined abstract data types, and discuss the role and potential benefits of formal specifications in engineering program design. © 1992.
@article{
 title = {Using formal methods to specify the functional properties of engineering software},
 type = {article},
 year = {1992},
 identifiers = {[object Object]},
 pages = {557-570},
 volume = {45},
 id = {9f4bd313-cd05-3031-b068-9e783683dc45},
 created = {2016-02-17T15:26:29.000Z},
 file_attached = {false},
 profile_id = {2a520ab8-915c-3c45-ac68-153534007f56},
 last_modified = {2016-02-17T15:26:29.000Z},
 read = {false},
 starred = {false},
 authored = {true},
 confirmed = {false},
 hidden = {false},
 abstract = {This paper describes the use of formal methods in specifying the functional properties of engineering software components, an approach that enables one to deal more effectively with the complexities of large-scale engineering software systems. Because they are formal objects, these specifications can be manipulated using ordinary mathematics, validated with respect to formal requirements, and shown to satisfy properties such as consistency and completeness. In addition, their concise and unambiguous nature makes them suitable for both communication and commentary, which are not possible with substantial program texts. We present detailed examples of formally defined abstract data types, and discuss the role and potential benefits of formal specifications in engineering program design. © 1992.},
 bibtype = {article},
 author = {Baugh Jr., J.W.},
 journal = {Computers and Structures},
 number = {3}
}
Downloads: 0