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 Formal specification languages and their semantics
The first meeting will be on Wednesday, 19.10.2011 at 12:00 in O27-412.
Topic of the seminar
Formal specification languages facilitate the precise statement of requirements for systems, reasoning for their plausibility and adequacy, and the proof of safety and liveness properties.
In this seminar we discuss various current formal specification languages (for example, ASM, CafeOBJ, RAISE, TLA+, VDM and Z), their semantics and ways to perform proofs.
Bibliography
- D. Bjørner and M. C. Henson (editors): Logics of Specification Languages. Monographs in Theoretical Computer Science, Springer, 2008.
Prof. Dr. Helmuth Partsch