Formal program construction by transformations-computer-aided, intuition-guided programming

Author

Bauer, Friedrich Ludwig ; Möller, Bernhard ; Partsch, Helmut ; Pepper, Peter

Author_Institution

Inst. for Inf., Tech. Univ. of Munich, West Germany

Volume

15

Issue

2

fYear

1989

fDate

2/1/1989 12:00:00 AM

Firstpage

165

Lastpage

180

Abstract

Formal program construction by transformations is a method of software development in which a program is derived from a formal problem specification by manageable, controlled transformation steps which guarantee that the final product meets the initial specification. This methodology has been investigated in the Munich project CIP (computer-aided intuition-guided programming). The research includes the design of a wide-spectrum language specifically tailored to the needs of transformational programming, the construction of a transformation system to support the methodology, and the study of transformation rules and other methodological issues. Particular emphasis has been laid on developing a sound theoretical basis for the overall approach

Keywords

formal specification; software engineering; Munich project CIP; computer-aided intuition-guided programming; formal problem specification; program construction by transformations; software development; transformation rules; transformational programming; wide-spectrum language; Bridges; Computer science; Formal languages; Formal specifications; Life testing; Mathematics; Programming; Software development management; Software engineering;

fLanguage

English

Journal_Title

Software Engineering, IEEE Transactions on

Publisher

ieee

ISSN

0098-5589

Type

jour

DOI

10.1109/32.21743

Filename

21743