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


    Author / Creator :

    Type of media :

    Preprint


    Type of material :

    No indication



    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