Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Software reliability during the transition from development to formal test


    Beteiligte:
    PRESSON, E. (Autor:in)

    Kongress:

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



    Erscheinungsdatum :

    01.01.1983



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    Reliability measurement during software development

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


    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


    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