A Semantic Framework for Object-Oriented Development (1999)

Cached

Download Links

by Tony Clark
Citations:3 - 0 self

Active Bibliography

3 A Semantics for Object-Oriented Design Notations – Tony Clark - 1999
1 Object-oriented refinement and proof using behaviour functions – Tony Clark - 2000
1 A Semantics for Object-Oriented Systems – Tony Clark - 1998
Semantics of the Unified Modeling Language – Tony Clark, Andy Evans - 1976
48 Foundations of the Unified Modeling Language – Tony Clark, Andy Evans - 1998
2 EBG: A Lazy Functional Programming Language Implemented on the Java Virtual Machine – Tony Clark - 1999
6 Comparison of formalisation approaches of UML class constructs – Nuno Amálio, Fiona Polack - 2003
5 Modular Semantics for Object-Oriented Models – Ali Hamie, John Howse, Stuart Kent - 1998
28 Reflections on the Object Constraint Language – Ali Hamie, Franco Civello, John Howse, Stuart Kent, Richard Mitchell - 1998
2 Integrating a program design calculus and a subset of UML – Richard Paige - 1999
Alloy: A New Object Modelling Notation – Daniel Jackson
Can Intuition Become Rigorous? Foundations for UML Model Verification Tools – José Luis Fernández Alemán, Ambrosio Toval Álvarez
9 Checking the Consistency of UML Class Diagrams Using Larch Prover – Pascal Andre, Annya Romanczuk, Jean-Claude Royer, Aline Vasconcelos, Aline - 2000
5 Automating Proofs in Category Theory – Dexter Kozen, Christoph Kreitz
Quality Issues in the Formal Refinement of KBS – A. N. Clark, Dr. A. N. Clark
Efficient Functional Programming Communication Functions on the AP1000 – Seng Wai Loke - 1994
1 Modelling Real Time Systems from Object Oriented Models – Silvino José Silva Bastos - 2001
An Actor Formalism For Open Concurrent Systems – Shyamasundar Anna Patterson, R. K. Shyamasundar, Anna Patterson, Gul Agha
Chapter 6. An Investigation into Functions as Processes – Unknown