kirancodes.me
To Proof Maintenance & Beyond!
ASE 1992

Track assignment in an air traffic control system: a rational reconstruction of system design

Douglas R. Smith

DOI 10.1109/kbse.1992.252908dblp

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.>

BibTeX
@inproceedings{Smith:ASE92,
  author    = {Douglas R. Smith},
  title     = {Track assignment in an air traffic control system: a rational reconstruction of system design},
  booktitle = {ASE},
  pages     = {60--68},
  publisher = {{IEEE} Computer Society},
  year      = {1992},
}

Related papers