Institute of Software Engineering and Compiler Construction
- 1:
Teaching. - 2: Research.
- 2.1:
Topics.- 2.1.1:
Constraint Handling Rules. - 2.1.2: Constraint Programming.
- 2.1.3: Experimental software engineering.
- 2.1.4: Integrating conventional and formal methods of software engineering.
- 2.1.5: Model Driven Development.
- 2.1.6: Program transformation.
- 2.1.7: Requirements engineering.
- 2.1.1:
- 2.2: Theses.
- 2.3: Projects.
- 2.4: Publications.
- 2.5: Publications of External Ph.D. Students.
- 2.6: Events.
- 2.1:
- 3: Staff.
- 4: Contact.
Program transformation
Program transformation characterises a methodology of software development where one derives a program from a formal, usually functional or declarative specification by stepwise application of semantics-preserving transformation rules. The resulting program is not only correct by construction, i.e., fulfils its specification, but may also meet further important criteria such as efficiency.
In this context we examine the application of this approach to special programming paradigms (e.g., functional programming), the automated support by computers, and different aspects of re-use. A concrete result of the application of this approach to functional programming is the interactive, prototypic transformation system 
Ultra, which offers a good basis for further studies in the context of formal program development.