Campus Event Calendar

Event Entry

New for: D3

What and Who

Formal Models for Concurrent Object Programming Models

Jean-Paul Bahsoun
IRIT; Toulouse
AG 1, AG 2, AG 3, AG 4  
Expert Audience

Date, Time and Location

Wednesday, 25 October 2000
-- Not specified --
43.1 - DFKI


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