Presents an analysis of a typical rationale used to convince engineers of the potential usefulness of formal methods. This analysis reveals that the typical rationale is complicated, but fails to establish the truth of an essential proposition. As a result, the author gives a simple revised rationale, which shows conclusively why engineers should consider formal methods. The ideas in this revised rationale are not original. The contribution of this paper is in presenting the ideas in the context of an analysis of other approaches, and in a forum likely to be populated by engineers. Formality may eventually become the norm in software development.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Why engineers should consider formal methods


    Beteiligte:
    Holloway, C.M. (Autor:in)


    Erscheinungsdatum :

    01.01.1997


    Format / Umfang :

    722587 byte




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Why Engineers Should Consider Formal Methods

    Holloway, C. M. / IEEE / AIAA | British Library Conference Proceedings | 1997


    Why Engineers Should Consider Formal Methods

    Holloway, C. Michael | NTRS | 1997