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.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    The mentor approach to requirements specification


    Additional title:

    Die MENTOR-Annaeherung und erforderliche Spezifikationen


    Contributors:
    Jordan, D. (author) / Hauxwell, B. (author)

    Published in:

    Publication date :

    1983


    Size :

    5 Seiten, 7 Quellen


    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    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