Applying formal software synthesis

Author

Jüllig, Richard K.

Author_Institution

Kestrel Inst., Palo Alto, CA, USA

Volume

10

Issue

3

fYear

1993

fDate

5/1/1993 12:00:00 AM

Firstpage

11

Lastpage

22

Abstract

A software synthesis method that combines elements of graphical tools, specification writing, and code construction is discussed. Practical applications of the components and efforts to integrate them into a conceptually coherent prototype environment are described. The hallmarks of the approach are the use of formal methods and a general-purpose inference engine, supported by a comprehensive, interactive development environment. The development model is a formal method, but it differs from other formal approaches in that its notations are used primarily to represent programming knowledge and support automated code generation. The performance of the system is also described.<>

Keywords

automatic programming; formal specification; programming environments; software tools; automated code generation; code construction; general-purpose inference engine; graphical tools; interactive development environment; prototype environment; software synthesis method; specification writing; system performance; Application software; Computer aided software engineering; Control system synthesis; Engines; Heart; Instruments; Logic; Prototypes; Synthesizers; Writing;

fLanguage

English

Journal_Title

Software, IEEE

Publisher

ieee

ISSN

0740-7459

Type

jour

DOI

10.1109/52.210596

Filename

210596