The Community for Technology Leaders
Knowledge-Based Software Engineering Conference (1995)
Boston, Massachusetts
Nov. 12, 1995 to Nov. 15, 1995
ISSN: 1068-3062
ISBN: 0-8186-7204-8
pp: 88
E. Tyugu , R. Inst. of Technol., Stockholm, Sweden
ABSTRACT
A long-term effort is described which has resulted in a knowledge-based software tool, NUT, that combines object-oriented programming with automatic program synthesis. The concept of classes has been considerably extended so that they have evolved into knowledge modules possessing all essential features of frames and can be used as specifications for automatic synthesis of programs. A logically simple and reliable program synthesizer plays an essential role in a number of extensions of the programming tool: scheme editor for developing visual specification languages, declarative reflection tools and distributed programming toolkit. Applications in simulation are briefly discussed.
INDEX TERMS
object-oriented programming; knowledge based systems; specification languages; programming environments; software tools; automatic programming; abstract data types; data structures; frame based representation; visual languages; digital simulation; NUT system development; NUT knowledge-based software tool; object-oriented programming; knowledge-based programming; automatic program synthesis; classes; knowledge modules; frames; specifications; program synthesizer; programming tool; scheme editor; visual specification language development; declarative reflection tools; distributed programming toolkit; simulation
CITATION
E. Tyugu, "From object-oriented to knowledge-based programming (NUT system development experience)", Knowledge-Based Software Engineering Conference, vol. 00, no. , pp. 88, 1995, doi:10.1109/KBSE.1995.490123
99 ms
(Ver 3.3 (11022016))