A Semantic Framework for Object-Oriented Development (1999)

Cached

Download Links

by Tony Clark
Citations:3 - 0 self

Documents Related by Co-Citation

48 Foundations of the Unified Modeling Language – Tony Clark, Andy Evans - 1998
3 A Semantics for Object-Oriented Design Notations – Tony Clark - 1999
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
5 Visualising Action Contracts in Object-Oriented Modelling – Stuart Kent, Joseph (Yossi) Gil - 1998
18 Maibaum T. Towards a Compositional Interpretation of Object Diagrams – J Bicarregui, K Lano - 1997
42 Constraint diagrams: Visualising invariants in object oriented models – S Kent - 1997
37 Reasoning with UML class diagrams – Andy S. Evans - 1998
45 Sheaf Semantics for Concurrent Interacting Objects – Joseph A. Goguen - 1992
7 Rigorous Development in UML – A. Evans
48 The structure and semantics of actor languages,” in The – G Agha - 1990
99 A Categorical Manifesto – Joseph A. Goguen - 1991
1095 Actors: A model of concurrent computation in distributed systems – G Agha - 1986
394 Category Theory for Computing Science – Michael Barr, Charles Wells - 1990
3 Object Constraint Language Specification Version 1.1. Available from http://www.rational.com – UML Consortium - 1997
1 S.: Foundations of the Unified Modeling Language. Presented at the Second Northern Formal Methods Workshop – A N Clark - 1997
1 A Semantics for Object-Oriented Systems – Tony Clark - 1998
2 Genericity Vs. Inheritance – B Meyer - 1986
8 Designing Object Systems: Object-orientedModelling with Syntropy – S Cook, J Daniels - 1994