Date: Thu 2 May
Time: 15.00
Place: room 214

Speaker: Martin Wirsing (Ludwig-Maximilians-Universitaet Muenchen)
Title: A Formal Approach to Object-Oriented Design
Reference: Egidio Astesiano

Abstract. The goal of this talk is to show how formal specifications can be integrated with one of the current pragmatic object-oriented software development methods. Jacobson's method OOSE ("Object-Oriented Software-Engineering") is combined with object-oriented algebraic specifications by extending object and interaction diagrams with formal annotations. As a result any such diagram can be associated with a formal specification, proof obligations ensuring invariant properties can be automatically generated, and the refinement relations between documents on different abstraction levels can be formally stated and proved.