|
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
|
|
45
|
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
|
|
5
|
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
|
|
30
|
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
|
|
9
|
Interpreting Syntropy in Larch
– Ali Hamie, John Howse
- 1997
|
|
12
|
Formalizing Fusion Object-Oriented Analysis Models
– B. W. Bates, J. -m. Bruel, R. B. France, M. M. Larrondo-petrie
- 1996
|
