Papers:
P. Andre, A. Romanczukand & J.C. Royer Checking the Consistency of UML Class Diagrams Using Larch Prover http://dx.doi.org/10.14236/ewic/ROOM2000.1
T. Clark Object-Oriented Refinement and Proof using Behaviour Functions http://dx.doi.org/10.14236/ewic/ROOM2000.2
J. Fischer, E. Holz, M.V. Löwis & A. Prinz SDL-2000: A Language with a Formal Semantics http://dx.doi.org/10.14236/ewic/ROOM2000.3
B. Hnatkowska & Z. Huzar Extending the UML with a Multicast Synchronisation http://dx.doi.org/10.14236/ewic/ROOM2000.4
K. Lano, J. Bicarregui & A. Evans Structured Axiomatic Semantics for UML Models http://dx.doi.org/10.14236/ewic/ROOM2000.5
A. Laue, M. Liedtke, D. Moldt & I.Trickovic Statecharts as Protocols for Objects http://dx.doi.org/10.14236/ewic/ROOM2000.6
T.S.E. Maibaum An Overview of The Mensurae Language: Specifying Business Processes http://dx.doi.org/10.14236/ewic/ROOM2000.7
A.J.H. Simons On the Compositional Properties of UML Statechart Diagrams http://dx.doi.org/10.14236/ewic/ROOM2000.8
M. Tyrrell, A. Butterfield & A. Donnelly OO-Motivated Process Algebra: A Calculus for CORBA-like Systems http://dx.doi.org/10.14236/ewic/ROOM2000.9