From object-oriented to knowledge-based programming (NUT system development experience)

Author

Tyugu, E.

Author_Institution

R. Inst. of Technol., Stockholm, Sweden

fYear

1995

fDate

12-15 Nov 1995

Firstpage

88

Lastpage

95

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Knowledge-Based Software Engineering Conference, 1995 .Proceedings., 10th

Conference_Location

Boston, MA

ISSN

1068-3062

Print_ISBN

0-8186-7204-8

Type

conf

DOI

10.1109/KBSE.1995.490123

Filename

490123