Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Software reliability during the transition from development to formal test


    Contributors:
    PRESSON, E. (author)

    Conference:

    4th Computers in Aerospace Conference ; 1983 ; Hartford , CT , U.S.A.



    Publication date :

    1983-01-01



    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English




    Reliability measurement during software development

    HECHT, H. / STURM, W. / TRATTNER, S. | AIAA | 1977


    The Knowledge-Based Software Assistant: A Formal, Object Oriented, Software Development Environment

    Gerken, M. J. / Roberts, N. A. / White, D. A. et al. | British Library Conference Proceedings | 1996


    PICGAL - Lessons Learnt from a Practical Use of Formal Specification to Develop a High-Reliability Software

    Devauchelle, L. / Eurospace | British Library Conference Proceedings | 1997



    Experience with a Formal Reliability Program

    Rich, Barrett G. / Korte, Lee / Smith, O. A. | SAE Technical Papers | 1967