|
5
|
Modular Semantics for Object-Oriented Models
– Ali Hamie, John Howse, Stuart Kent
- 1998
|
|
2
|
Enhancing the Object Constraint Language for More Expressive Specifications
– Ali Hamie
|
|
5
|
Visualising Action Contracts in Object-Oriented Modelling
– Stuart Kent, Joseph (Yossi) Gil
- 1998
|
|
9
|
Checking the Consistency of UML Class Diagrams Using Larch Prover
– Pascal Andre, Annya Romanczuk, Jean-Claude Royer, Aline Vasconcelos, Aline
- 2000
|
|
50
|
Precise Visual Specification of Design Patterns
– Anthony Lauder, Stuart Kent
- 1998
|
|
58
|
On Formalizing the UML Object Constraint Language OCL
– Mark Richters, Martin Gogolla
- 1998
|
|
|
Consistency Checking in UML Models
– Rjxpld Hnatkowska Ci, Zbigniew Huzar
- 2001
|
|
|
Alloy: A New Object Modelling Notation
– Daniel Jackson
|
|
22
|
Constraint Diagrams: Visualizing Invariants in Object-Oriented Models
– Stuart Kent
- 1997
|
|
94
|
The UML as a Formal Modeling Notation
– Andy Evans, Robert France, Kevin Lano, Bernhard Rumpe
- 1998
|
|
37
|
State Diagrams in UML: A Formal Semantics using Graph Transformations -- Or Diagrams Are . . .
– Martin Gogolla, Francesco Parisi Presicce
- 1998
|
|
30
|
Equivalence Rules for UML Class Diagrams
– Martin Gogolla, Mark Richters
- 1998
|
|
4
|
Semantics Through Pictures: towards a diagrammatic semantics for object-oriented modeling notations
– Stuart Kent, Ali Hamie, John Howse, Franco Civello, Richard Mitchell
- 1997
|
|
3
|
Using Alloy in process modelling
– C. Wallace
- 2003
|
|
|
Modelling Software Components
– Stuart Kent, John Howse, Anthony Lauder
|
|
|
Semantics of the Unified Modeling Language
– Tony Clark, Andy Evans
- 1976
|
|
1
|
A Semantics for Object-Oriented Systems
– Tony Clark
- 1998
|
|
45
|
Foundations of the Unified Modeling Language
– Tony Clark, Andy Evans
- 1998
|
|
1
|
Formal Perspectives on an Object-Based Modelling Language
– J.C. Bicarregui, B. M. Matthews
- 1996
|
