This paper presents a logical analysis of a typical argument favoring the use of formal methods for software development, and suggests an alternative argument that is simpler and stronger than the typical one.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Why Engineers Should Consider Formal Methods


    Beteiligte:

    Kongress:

    16th Digital Avionics Systems Conference ; 1997 ; Unknown


    Erscheinungsdatum :

    01.01.1997


    Medientyp :

    Preprint


    Format :

    Keine Angabe


    Sprache :

    Englisch




    Why Engineers Should Consider Formal Methods

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





    Apart from infrastructure, what else we should consider to get more effective results

    Villalante, M. / SPOKES | British Library Conference Proceedings | 2001