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




    Epistemology, Software Engineering, and Formal Methods

    Holloway, C. M. / Langley Research Center; Computer Systems Technical Committee / United States; National Aeronautics and Space Administration | British Library Conference Proceedings | 1994



    Formal methods for life-critical software

    Butler, Ricky / Johnson, Sally | AIAA | 1993



    Formal Methods for Life-Critical Software

    Butler, R. / Johnson, S. / AIAA | British Library Conference Proceedings | 1993