Knowledge-Based Software Engineering Conference (1995)
Nov. 12, 1995 to Nov. 15, 1995
E. Tyugu , R. Inst. of Technol., Stockholm, Sweden
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.
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
E. Tyugu, "From object-oriented to knowledge-based programming (NUT system development experience)," Knowledge-Based Software Engineering Conference(KBSE), Boston, Massachusetts, 1995, pp. 88.