Guarded commands, nondeterminacy and formal derivation of programs
Communications of the ACM
Inductive methods for proving properties of programs
Communications of the ACM
Another recursion induction principle
Communications of the ACM
An axiomatic basis for computer programming
Communications of the ACM
Software Engineering, An Advanced Course, Reprint of the First Edition [February 21 - March 3, 1972]
Software Engineering, An Advanced Course, Reprint of the First Edition [February 21 - March 3, 1972]
Programming as an evolutionary process
Language Hierarchies and Interfaces, International Summer School
Problems in many-language systems
Language Hierarchies and Interfaces, International Summer School
An exercise in proving parallel programs correct
Language Hierarchies and Interfaces, International Summer School
Translating recursion equations into flow charts
STOC '70 Proceedings of the second annual ACM symposium on Theory of computing
Some transformations for developing recursive programs
Proceedings of the international conference on Reliable software
A program verifier
Program abstraction and instantiation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Formal Program Construction by Transformations-Computer-Aided, Intuition-Guided Programming
IEEE Transactions on Software Engineering
Supporting Software Designers with Integrated Domain-Oriented Design Environments
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
Automating the Ada programming process: a domain-specific approach
TRI-Ada '93 Proceedings of the conference on TRI-Ada '93
Derivation of Invariant Assertions During Program Development by Transformation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Program developments: formal explanations of implementations
Communications of the ACM
On the inevitable intertwining of specification and implementation
Communications of the ACM
Program refinement by transformation
ICSE '81 Proceedings of the 5th international conference on Software engineering
A system for program refinement
ICSE '79 Proceedings of the 4th international conference on Software engineering
Pragmatic techniques for program analysis and verification
ICSE '79 Proceedings of the 4th international conference on Software engineering
On the necessary evolution towards improvement specialization in software production teams
SIGCPR '77 Proceedings of the fifteenth annual SIGCPR conference
Proceedings of the SIGNUM Conference on the Programming Environment for Development of Numerical Software
DUAL: An interactive tool for developing documented programs by step-wise refinements.
ICSE '82 Proceedings of the 6th international conference on Software engineering
A hierarchical structuring method for functional software systems
ICSE '82 Proceedings of the 6th international conference on Software engineering
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
Mappings for rapid prototyping
Proceedings of the workshop on Rapid prototyping
| Hi-index | 0.03 |
Programming is studied as an evolutionary process (starting with the problem description and ending with some computer program), which is done in a sequence of transformation steps. Nature of these steps at several levels is illustrated by typical examples. The aim is to arrive at a computer-surveyed, intuition-controlled programming support system (CIPS). Some aspects of this project, which is under way at the Technical University of Munich Informatics Institute, are discussed.