Formal methods: an international perspective

Author

Gerhart, Susan

Author_Institution

MCC Software Technol. Program, Austin, TX, USA

fYear

1991

fDate

13-16 May 1991

Firstpage

36

Lastpage

37

Abstract

The goal of formal methods is to base the software development process upon a workable set of mathematical techniques. The common names associated with various subclasses of formal methods express both the purpose and mode of the technique; formal specification, mathematical verification, proofs of correctness, formal description languages, rigorous development methods, stepwise refinement, etc. North American and European research groups took different technical directions. The author provides the perspective of one US researcher who has been particularly influenced by the international forces shaping the formal methods field as both a technical subject and a social enterprise

Keywords

formal specification; program verification; software engineering; specification languages; correctness proofs; formal description languages; formal methods; formal specification; mathematical techniques; mathematical verification; proofs of correctness; rigorous development methods; software development; stepwise refinement; Cultural differences; Formal specifications; Government; Hardware; History; Mathematics; Military standards; Programming; Regulators; System software;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Engineering, 1991. Proceedings., 13th International Conference on

Conference_Location

Austin, TX

Print_ISBN

0-8186-2140-0

Type

conf

DOI

10.1109/ICSE.1991.130621

Filename

130621