OSIDRIS

Object-Oriented Specification and Verification of distributed Systems

The project is sponsored by the German Research Institute.

Contact person: Ulrike Lechner.

Publications:

• An Object-Oriented Airport: Specification and Refinement in Maude [COMPASS 94]
  ( Ulrike Lechner, Christian Lengauer, Martin Wirsing )
• Concurrent Object-Oriented Design Specification in SPECTRUM [TechRep 95]
  ( Martin Wirsing, Friederike Nickl, Ulrike Lechner )
• (Objects + Concurrency) & Reusability - A Proposal to Circumvent the Inheritance Anomaly [ECOOP 96]
  ( Ulrike Lechner, Christian Lengauer, Friederike Nickl, Martin Wirsing, )
• Modal-mu-Maude: Specification and Properties of Concurrent Objects [Dagstuhl 95](Only Bibtex entry available)
  ( Ulrike Lechner, Christian Lengauer, )
• Specification, Abstraction and Verification in a Concurrent Object-Oriented Language (Extended Abstract) [ECOOP 96 -- Workshop]
  ( Ulrike Lechner, Christian Lengauer, )