Title :
From object-oriented to knowledge-based programming (NUT system development experience)
Author_Institution :
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
Keywords :
abstract data types; automatic programming; data structures; digital simulation; frame based representation; knowledge based systems; object-oriented programming; programming environments; software tools; specification languages; visual languages; NUT knowledge-based software tool; NUT system development; automatic program synthesis; classes; declarative reflection tools; distributed programming toolkit; frames; knowledge modules; knowledge-based programming; object-oriented programming; program synthesizer; programming tool; scheme editor; simulation; specifications; visual specification language development; Automatic programming; Distributed computing; Logic programming; Network synthesis; Object oriented modeling; Object oriented programming; Programming profession; Software prototyping; Synthesizers; Virtual prototyping;
Conference_Titel :
Knowledge-Based Software Engineering Conference, 1995 .Proceedings., 10th
Conference_Location :
Boston, MA
Print_ISBN :
0-8186-7204-8
DOI :
10.1109/KBSE.1995.490123
