A Semantics for Object-Oriented Design Notations (1999)

Cached

Download Links

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

Documents Related by Co-Citation

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
18 Maibaum T. Towards a Compositional Interpretation of Object Diagrams – J Bicarregui, K Lano - 1997
48 Foundations of the Unified Modeling Language – Tony Clark, Andy Evans - 1998
48 The structure and semantics of actor languages,” in The – G Agha - 1990
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 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
42 Constraint diagrams: Visualising invariants in object oriented models – S Kent - 1997
6 Semantic Primitives for Object-Oriented Programming Languages – Anthony Neil Clark - 1996
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
99 A Categorical Manifesto – Joseph A. Goguen - 1991
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
97 A Formal Semantics for Object Model Diagrams, in – H Bourdeau, B Cheng - 1995