Formal program construction by transformations-computer-aided, intuition-guided programming
- 1 February 1989
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. 15 (2) , 165-180
- https://doi.org/10.1109/32.21743
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
This publication has 42 references indexed in Scilit:
- A simple calculus for program transformation (inclusive of induction)Science of Computer Programming, 1987
- On the algebraic definition of programming languagesACM Transactions on Programming Languages and Systems, 1987
- Transformational program development in a particular problem domainScience of Computer Programming, 1986
- Algebraic implementations preserve program correctnessScience of Computer Programming, 1986
- Structuring transformational developments: A case study based on earley's recognizerScience of Computer Programming, 1984
- An exercise in the transformational derivation of an efficient program by joint development of control and data structureScience of Computer Programming, 1983
- Implementing specification freedomsScience of Computer Programming, 1982
- Finite Differencing of Computable ExpressionsACM Transactions on Programming Languages and Systems, 1982
- Combining Algebraic and Algorithmic Reasoning: An Approach to the Schorr-Waite AlgorithmACM Transactions on Programming Languages and Systems, 1982
- Some Observations Concerning Formal Differentiation of Set Theoretic ExpressionsACM Transactions on Programming Languages and Systems, 1982