An account is given of some recent developments and trends related to the development and use of formal methods in software engineering. Ongoing activities in Europe are focussed on, since there seems to be a notable difference in attitude towards industrial usage of formal methods in Europe and in the U.S. A more detailed account is given of the currently most widespread formal method in Europe: the Vienna Development Method. Finally, the use of Ada is discussed in relation to the application of formal methods, and the potential for constructing Ada-specific tools based on that method is considered.
Recent trends related to the use of formal methods in software engineering
1986-01-01
Conference paper
No indication
English
Formal methods in software engineering
Tema Archive | 1990
|Formal methods for life-critical software
AIAA | 1993
|Formal Methods for Life-Critical Software
NTRS | 1993
|Recent Trends of Genetic Engineering
British Library Online Contents | 1998
|Formal methods applied to in-vehicle software
Automotive engineering | 1991
|