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.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Recent trends related to the use of formal methods in software engineering


    Contributors:


    Publication date :

    1986-01-01


    Type of media :

    Conference paper


    Type of material :

    No indication


    Language :

    English




    Formal methods in software engineering

    Hird, G.R. | Tema Archive | 1990


    Recent Trends of Genetic Engineering

    Karube, I. | British Library Online Contents | 1998


    Formal Methods for Life-Critical Software

    Butler, Ricky W. / Johnson, Sally C. | NTRS | 1993


    Formal methods for life-critical software

    Butler, Ricky / Johnson, Sally | AIAA | 1993


    Formal methods applied to in-vehicle software

    Edwards,P.D. / Univ.of Warwick,GB | Automotive engineering | 1991