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
49 Foundations of the Unified Modeling Language – Tony Clark, Andy Evans - 1998
1100 Actors: A Model of Concurrent Computation in Distributed Systems – G Agha - 1986
395 Category Theory for Computing Science – M Barr, C Wells - 1999
49 The structure and semantics of actor languages – G Agha - 1990
3 A Semantic Framework for Object-Oriented Development – Tony Clark - 1999
5 Visualising Action Contracts in Object-Oriented Modelling – Stuart Kent, Joseph (Yossi) Gil - 1998
45 Sheaf Semantics for Concurrent Interacting Objects – Joseph A. Goguen - 1992
7 Rigorous Development in UML – A. Evans
38 Reasoning with UML class diagrams – Andy S. Evans - 1998
42 Constraint diagrams: Visualising invariants in object oriented models – S Kent - 1997
100 A Categorical Manifesto – Joseph A. Goguen - 1991
7 A layered object-oriented programming language – A Clark - 1994
6 Semantic Primitives for Object-Oriented Programming Languages – Anthony Neil Clark - 1996
24 Lambda Calculi: A Guide for Computer Scientists. Graduate Texts – Chris Hankin - 1994
892 A Theory of Objects – Luca Cardelli, Martín Abadi - 1996
8 Integrating OMT and Object-Z – S Dupuy, Y Ledru, M Chabre-Peccoud - 1997