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