Rigorous Object-Oriented Methods, ROOM 2000, York, UK, 17 January 2000.
Workshops in Computing BCS 2000 
- Pascal André, Annya Romanczuk, Jean-Claude Royer:
Checking the Consistency of UML Class Diagrams Using Larch Prover.
- Tony Clark:
Object-Oriented Refinement and Proof using Behaviour Functions.
- Joachim Fischer, Eckhardt Holz, Martin von Löwis, Andreas Prinz:
SDL-2000: A Language with a Formal Semantics.
- Bogumila Hnatkowska, Zbigniew Huzar:
Extending the UML with a Multicast Synchronisation.
- Kevin Lano, Juan Bicarregui, Andy Evans:
Structured Axiomatic Semantics for UML Models.
- Annette Laue, Matthias Liedtke, Daniel Moldt, Ivana Trickovic:
Statecharts as Protocols for Objects.
- T. S. E. Maibaum:
An Overview of The Mensurae Language: Specifying Business Processes.
- Anthony J. H. Simons:
On the Compositional Properties of UML Statechart Diagrams.
- Malcolm Tyrrell, Andrew Butterfield, Alexis Donnelly:
OO-Motivated Process Algebra: A Calculus for CORBA-like Systems.
Last update Fri May 25 08:34:25 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
