The use of software engineering tools based on formal methods requires an investment not required by traditional methods, but results in more reliable software systems. Assumptions about system behavior are made explicit, and high-level specifications provide unambiguous descriptions of component properties. A formal basis enables automated proofs of correctness. We discuss how formal methods can be applied at various stages of software development, and to selected critical aspects of software systems. We describe a number of formal methods tools developed at ORA, and applications illustrating their use.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Formal methods in software engineering


    Weitere Titelangaben:

    Formale Methoden im Software Engineering


    Beteiligte:
    Hird, G.R. (Autor:in)


    Erscheinungsdatum :

    1990


    Format / Umfang :

    5 Seiten, 9 Quellen



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    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


    An Air Force Organization Process Model Using Formal Software Engineering Techniques

    Hibdon, V. S. / Hartrum, T. C. / IEEE; Dayton Section et al. | British Library Conference Proceedings | 1996