Institute of Software Engineering and Compiler Construction
- 1:
Teaching.- 1.1:
Summer term 2012. - 1.2: Winter term 2011/2012.
- 1.2.1:
Constraint programming. - 1.2.2: Embedded softwareengineering for automotive systems.
- 1.2.3: Functional programming.
- 1.2.4: Foundations of compiler construction.
- 1.2.5: Management of Sotware Projects.
- 1.2.6: Software engineering I.
- 1.2.7: Algebraic structures in computer science.
- 1.2.8: Formal specification languages and their semantics.
- 1.2.9: Techniques of formal program development.
- 1.2.10: Advanced techniques for typical applications in computer science.
- 1.2.11: Logic-based programming languages.
- 1.2.12: Constraint-Programming Practice.
- 1.2.13: Software Construction.
- 1.2.14: Experimental software engineering.
- 1.2.15: Functional programming.
- 1.2.1:
- 1.3: Regularly offered courses.
- 1.4: Former courses.
- 1.5: Topics for diploma theses, Master's theses and practical work.
- 1.1:
- 2: Research.
- 3: Staff.
- 4: Contact.
Seminar Techniques of formal program development
The first meeting will be on Wednesday, 19.10.2011 at 13:00 in O27-412.
Topic of the seminar
A formal program development starts with a formal specification of the problem with the aim of guaranteeing the correctness of the developed solution by mathematical or logical methods. One approach is verification, which comprises a proof that the solution satisfies the specification. Another approach is transformation, which constructs a correct solution by (typically interactive) application of semantics-preserving transformation rules.
In this seminar we discuss interesting and challenging examples that demonstrate the concrete application of verification and transformation.
Bibliography
- O. Danvy, F. Henglein, H. Mairson and A. Pettorossi (editors): Automatic Program Development. Springer, 2008.
Prof. Dr. Helmuth Partsch