Track assignment in an air traffic control system: a rational reconstruction of system design
- 2 January 2003
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
The author summarizes the application of the KIDS system (knowledge-based) (D.R. Smith, 1990) to a large-scale problem drawn from the domain of air traffic control. Hughes Aircraft supplied a natural language specification of the track assignment portion of an air traffic control system. This specification was formalized as a domain theory, and programs were derived within this theory. This derived code is compared with hand-generated Ada code developed manually by Hughes personnel.<>Keywords
This publication has 5 references indexed in Scilit:
- Algorithm theories and design tacticsScience of Computer Programming, 1990
- KIDS: a semiautomatic program development systemIEEE Transactions on Software Engineering, 1990
- GENESIS: an extensible database management systemIEEE Transactions on Software Engineering, 1988
- Applications of a strategy for designing divide-and-conquer algorithmsScience of Computer Programming, 1987
- Top-down synthesis of divide-and-conquer algorithmsArtificial Intelligence, 1985