Requirements specification methodologies and documentation systems which are currently available adopt a range of differing viewpoints on the system development problem. Each is oriented to enabling the user to specify efficiently some particular aspect of the target system, and each places a particular emphasis on certain features of the system. At Marconi Avionics we believe that the role of an automated documentation system should be to accommodate all information relevant to a system design, to check rigorously that information for consistency, and to make it visible in a range of reports which individually provide various emphasis on the information. To this end we are developing an integrated system, MENTOR, for the development of engineering designs and documentation. MENTOR is intended to assist development teams in the gathering of information, definition of terms, and development of designs for avionics systems. The system has the following major features: a) A new specification method which guides the user in the decomposition of his problem by partitioning the behaviour of the target system among a number of operational capabilities. b) A specification language NATTER (a NATural TERminology) which is intended for use by any personnel involved in the system development and is sufficiently flexible to accommodate all functional documentation for the target system. c) An advanced algebraic analysis technique which enables the MENTOR system to perform a powerful dynamic consistency analysis of the evolving specification, and provide valuable feedback to the development teams.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    The mentor approach to requirements specification


    Weitere Titelangaben:

    Die MENTOR-Annaeherung und erforderliche Spezifikationen


    Beteiligte:
    Jordan, D. (Autor:in) / Hauxwell, B. (Autor:in)

    Erschienen in:

    Erscheinungsdatum :

    1983


    Format / Umfang :

    5 Seiten, 7 Quellen


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Mentor Program

    Online Contents | 2007


    Mentor kauft Flomerics

    British Library Online Contents | 2008




    Flight Guidance System Requirements Specification

    S. P. Miller / A. C. Tribble / T. M. Carlson et al. | NTIS | 2003