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.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Why Engineers Should Consider Formal Methods


    Contributors:

    Conference:

    16th Digital Avionics Systems Conference ; 1997 ; Unknown


    Publication date :

    1997-01-01


    Type of media :

    Preprint


    Type of material :

    No indication


    Language :

    English




    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