|
4
|
A Semantics for Object-Oriented Systems. Presented at the Third Northern Formal Methods Workshop
– A N Clark
- 1998
|
|
4
|
Sernadas, A.: A Categorical Model of Objects as Observed Processes
– H-D Ehrich, J A Goguen
- 1991
|
|
45
|
Foundations of the Unified Modeling Language
– Tony Clark, Andy Evans
- 1998
|
|
18
|
Maibaum T. Towards a Compositional Interpretation of Object Diagrams
– J Bicarregui, K Lano
- 1997
|
|
369
|
Category Theory for Computing Science
– M Barr, C Wells
- 1990
|
|
44
|
The Structure and Semantics of Actor Languages
– G Agha
- 1990
|
|
1008
|
Actors: a model of concurrent computation in distributed systems
– Gul Agha
- 1986
|
|
3
|
A Semantic Framework for Object-Oriented Development
– Tony Clark
- 1999
|
|
7
|
A layered object-oriented programming language
– A Clark
- 1994
|
|
5
|
Visualising Action Contracts in Object-Oriented Modelling
– Stuart Kent, Joseph (Yossi) Gil
- 1998
|
|
6
|
Rigorous Development in UML
– A. Evans
|
|
34
|
Reasoning with UML class diagrams
– Andy S. Evans
- 1998
|
|
42
|
Constraint diagrams: Visualising invariants in object oriented models
– S Kent
- 1997
|
|
6
|
Semantic Primitives for Object-Oriented Programming Languages
– Anthony Neil Clark
- 1996
|
|
94
|
A Categorical Manifesto
– Joseph A. Goguen
- 1991
|
|
41
|
Sheaf Semantics for Concurrent Interacting Objects
– Joseph A. Goguen
- 1992
|
|
8
|
Integrating OMT and Object-Z
– S Dupuy, Y Ledru, M Chabre-Peccoud
- 1997
|
|
3
|
R.: Formalized Temporal Message Flow Diagrams
– W Citrin, A Cockburn, J von Kanel
- 1995
|
|
22
|
Lambda calculi. A guide for computer scientists. Graduate Texts
– Chris Hankin
- 1994
|
