BCS is a registered charity: No 292786
York, UK. 17 January 2000
Full Synopsis, Editors and Sponsors are not available for this conference.
Browse the papers below.
Checking the Consistency of UML Class Diagrams Using Larch Prover
P. Andre, A. Romanczukand & J.C. Royer
Object-Oriented Refinement and Proof using Behaviour Functions
T. Clark
SDL-2000: A Language with a Formal Semantics
J. Fischer, E. Holz, M.V. Löwis & A. Prinz
Extending the UML with a Multicast Synchronisation
B. Hnatkowska & Z. Huzar
Structured Axiomatic Semantics for UML Models
K. Lano, J. Bicarregui & A. Evans
Statecharts as Protocols for Objects
A. Laue, M. Liedtke, D. Moldt & I.Trickovic
An Overview of The Mensurae Language: Specifying Business Processes
T.S.E. Maibaum
On the Compositional Properties of UML Statechart Diagrams
A.J.H. Simons
OO-Motivated Process Algebra: A Calculus for CORBA-like Systems
M. Tyrrell, A. Butterfield & A. Donnelly