A Requirements Capture Method and Its Use in an Air Traffic Control Application

Article English OPEN
McCluskey, T.L. ; Porteous, J.M. ; Naik, Yogesh ; Taylor, C. ; Jones, S. (1995)
  • Subject: QA76

This paper describes our experience in capturing, using a formal specification language, a model of the knowledge-intensive domain of oceanic air traffic control. This model is intended to form part of the requirements specification for a decision support system for air traffic controllers. We give an overview of the methods we used in analysing the scope of the domain, choosing an appropriate formalism, developing a domain model, and validating the model in various ways. Central to the method was the development of a formal requirements engineering environment which provided automated tools for model validation and maintenance.
  • Metrics
    0
    views in OpenAIRE
    0
    views in local repository
    13
    downloads in local repository

    The information is available from the following content providers:

    From Number Of Views Number Of Downloads
    Kent Academic Repository - IRUS-UK 0 13
Share - Bookmark