Conferences in DBLP

Rigorous Object-Oriented Methods (room)
2000 (conf/room/2000)

1. Pascal André, Annya Romanczuk, Jean-Claude Royer
   Checking the Consistency of UML Class Diagrams Using Larch Prover. [Citation Graph (0, 0)][DBLP]
   Rigorous Object-Oriented Methods, 2000, pp:- [Conf]
   
2. Tony Clark
   Object-Oriented Refinement and Proof using Behaviour Functions. [Citation Graph (0, 0)][DBLP]
   Rigorous Object-Oriented Methods, 2000, pp:- [Conf]
   
3. Joachim Fischer, Eckhardt Holz, Martin von Löwis, Andreas Prinz
   SDL-2000: A Language with a Formal Semantics. [Citation Graph (0, 0)][DBLP]
   Rigorous Object-Oriented Methods, 2000, pp:- [Conf]
   
4. Bogumila Hnatkowska, Zbigniew Huzar
   Extending the UML with a Multicast Synchronisation. [Citation Graph (0, 0)][DBLP]
   Rigorous Object-Oriented Methods, 2000, pp:- [Conf]
   
5. Kevin Lano, Juan Bicarregui, Andy Evans
   Structured Axiomatic Semantics for UML Models. [Citation Graph (0, 0)][DBLP]
   Rigorous Object-Oriented Methods, 2000, pp:- [Conf]
   
6. Annette Laue, Matthias Liedtke, Daniel Moldt, Ivana Trickovic
   Statecharts as Protocols for Objects. [Citation Graph (0, 0)][DBLP]
   Rigorous Object-Oriented Methods, 2000, pp:- [Conf]
   
7. T. S. E. Maibaum
   An Overview of The Mensurae Language: Specifying Business Processes. [Citation Graph (0, 0)][DBLP]
   Rigorous Object-Oriented Methods, 2000, pp:- [Conf]
   
8. Anthony J. H. Simons
   On the Compositional Properties of UML Statechart Diagrams. [Citation Graph (0, 0)][DBLP]
   Rigorous Object-Oriented Methods, 2000, pp:- [Conf]
   
9. Malcolm Tyrrell, Andrew Butterfield, Alexis Donnelly
   OO-Motivated Process Algebra: A Calculus for CORBA-like Systems. [Citation Graph (0, 0)][DBLP]
   Rigorous Object-Oriented Methods, 2000, pp:- [Conf]