Object-Oriented Specification and Open Distributed Systems

DOI10.1007/978-3-540-39993-3_9zbMath1278.68067OpenAlexW1569338469MaRDI QIDQ5390275

Olaf Owe, Einar Broch Johnsen

Publication date: 1 April 2011

Published in: From Object-Orientation to Formal Methods (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-39993-3_9

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (6)

Creol: A type-safe object-oriented model for distributed concurrent systems ⋮ Compositional reasoning about active objects with shared futures ⋮ A system for compositional verification of asynchronous objects ⋮ Observable behavior of distributed systems: component reasoning for concurrent objects ⋮ Graph transformations for object-oriented refinement ⋮ Dynamic structural operational semantics

Uses Software

• LARCH
• Maude

This page was built for publication: Object-Oriented Specification and Open Distributed Systems