A REQUIREMENTS CAPTURE METHOD AND ITS USE IN AN AIR-TRAFFIC-CONTROL APPLICATION

This paper describes our experience in capturing, using a formal speci fication language, a model of the knowledge-intensive domain of oceani c air traffic control. This model is intended to form part of the requ irements specification for a decision support system for air traffic c ontrollers. We give an overview of the methods we used in analysing th e scope of the domain, choosing an appropriate formalism, developing a domain model, and validating the model in various ways. Central to th e method was the development of a formal requirements engineering envi ronment which provided automated tools for model validation and mainte nance.