Rigorous Object-Oriented Methods 2000: York, UK

• 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.