A Semantics for Object-Oriented Design Notations (1999)

Cached

Download Links

by Tony Clark
Venue:the BCS FACS Journal
Citations:3 - 0 self

Active Bibliography

3 A Semantic Framework for Object-Oriented Development – Tony Clark - 1999
1 A Semantics for Object-Oriented Systems – Tony Clark - 1998
1 Object-oriented refinement and proof using behaviour functions – Tony Clark - 2000
Semantics of the Unified Modeling Language – Tony Clark, Andy Evans - 1976
48 Foundations of the Unified Modeling Language – Tony Clark, Andy Evans - 1998
2 EBG: A Lazy Functional Programming Language Implemented on the Java Virtual Machine – Tony Clark - 1999
6 Comparison of formalisation approaches of UML class constructs – Nuno Amálio, Fiona Polack - 2003
5 Modular Semantics for Object-Oriented Models – Ali Hamie, John Howse, Stuart Kent - 1998
28 Reflections on the Object Constraint Language – Ali Hamie, Franco Civello, John Howse, Stuart Kent, Richard Mitchell - 1998
2 Integrating a program design calculus and a subset of UML – Richard Paige - 1999
Alloy: A New Object Modelling Notation – Daniel Jackson
Can Intuition Become Rigorous? Foundations for UML Model Verification Tools – José Luis Fernández Alemán, Ambrosio Toval Álvarez
9 Checking the Consistency of UML Class Diagrams Using Larch Prover – Pascal Andre, Annya Romanczuk, Jean-Claude Royer, Aline Vasconcelos, Aline - 2000
1 Modelling Real Time Systems from Object Oriented Models – Silvino José Silva Bastos - 2001
1 Test Case Generation for Class-Level Object-Oriented Testing – T. H. Tse, Zhinong Xu - 1996
5 FuZE - Draft of the User's Guide – J.-M. Bruel, B. Chintapally, R.B. France, G. Raghavan - 1996
1 A Formal Object-Oriented CASE Tool for the Development of Complex Systems – Jean-michel Bruel, Robert B. France - 1996
12 Formalizing Fusion Object-Oriented Analysis Models – B. W. Bates, J. -m. Bruel, R. B. France, M. M. Larrondo-petrie - 1996
37 State Diagrams in UML: A Formal Semantics using Graph Transformations -- Or Diagrams Are . . . – Martin Gogolla, Francesco Parisi Presicce - 1998