TY - JOUR
T1 - A requirements capture method and its use in an air traffic control application
AU - McCluskey, T. L.
AU - Porteous, J. M.
AU - Naik, Y.
AU - Taylor, C. N.
AU - Jones, S.
PY - 1995/1
Y1 - 1995/1
N2 - 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.
AB - 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.
KW - Formal specification
KW - Knowledge representation
KW - Requirements capture
UR - http://www.scopus.com/inward/record.url?scp=0029236657&partnerID=8YFLogxK
U2 - 10.1002/spe.4380250104
DO - 10.1002/spe.4380250104
M3 - Article
AN - SCOPUS:0029236657
VL - 25
SP - 47
EP - 71
JO - Software - Practice and Experience
JF - Software - Practice and Experience
SN - 0038-0644
IS - 1
ER -