AG 1, AG 2, AG 3, AG 4   Info

Expert Audience

-- Not specified --

Saarbrücken

The underlying metaphor of object orientation is that of largely autonomous objects with encapsulated state interacting by message passing. This has led many researchers to design concurrent object programming models. It is well known that concurrent programs require a much more careful analysis to prove them correct. We propose to adapt formal methods used for the specification and verification of conventional concurrent programs to an object-oriented framework. We will insist in our talk about the spécification of properties and their inheritance.

Dr. Werner Stephan

--email hidden

passcode not visible

logged in users only