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.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

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


    Beteiligte:
    Prehn, Soren (Autor:in)


    Erscheinungsdatum :

    1986-01-01


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Keine Angabe


    Sprache :

    Englisch




    Formal methods in software engineering

    Hird, G.R. | Tema Archiv | 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 | Kraftfahrwesen | 1991