论文信息 - Track assignment in an air traffic control system: a rational reconstruction of system design

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

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

Douglas R. Smith

[1] Henson Graves. Lockheed Environment For Automatic Programming , 1991, Proceedings., 6th Annual Knowledge-Based Software Engineering Conference.

[2] Douglas R. Smith,et al. KIDS: A Semiautomatic Program Development System , 1990, IEEE Trans. Software Eng..

[3] Don S. Batory,et al. GENESIS: An Extensible Database Management System , 1988, IEEE Trans. Software Eng..

[4] Rodney J. Douglas. KIDS: A Semi-Automatic Program Development System , 1990 .

[5] Douglas R. Smith. Structure and Design of Problem Reduction Generators , 1991 .

[6] Douglas R. Smith. Applications of a Strategy for Designing Divide-and-Conquer Algorithms , 1987, Sci. Comput. Program..

[7] Douglas R. Smith,et al. Top-Down Synthesis of Divide-and-Conquer Algorithms , 1985, Artif. Intell..

[8] Douglas R. Smith,et al. KIDS - A Knowledge-Based Software Development System , 1991 .

[9] Martin S. Feather,et al. Using Evolution Transformations to Construct Specifications , 1991 .