In this project we have investigated how formal specifications should be structured to allow for requirements reuse, product family engineering, and ease of requirements change, The contributions of this work include (1) a requirements specification methodology specifically targeted for critical avionics applications, (2) guidelines for how to structure state-based specifications to facilitate ease of change and reuse, and (3) examples from the avionics domain demonstrating the proposed approach.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Structuring Formal Requirements Specifications for Reuse and Product Families


    Beteiligte:

    Erscheinungsdatum :

    2001


    Format / Umfang :

    464 pages


    Medientyp :

    Report


    Format :

    Keine Angabe


    Sprache :

    Englisch





    Assistance in the Reuse of Formal Specifications

    Sadaoui, S. | British Library Online Contents | 2004



    Reuse of a Formal Model for Requirements Validation

    Lutz, R. / United States; National Aeronautics and Space Administration | British Library Conference Proceedings | 1997