Interconnection of Object Specifications (1996)

Cached

Download Links

by Grant Malcolm
Venue:Formal Methods and Object Technology
Citations:8 - 2 self

Active Bibliography

1 Distributed Operational Semantics for the Object Paradigm – Grant Malcolm, Corina Cirstea - 1997
3 Tossing Algebraic Flowers down the Great Divide – Joseph Goguen - 1999
Algebraic System Specification and Development: Survey and Annotated Bibliography - Second Edition - – Martin Gogolla, Zhenyu Qian, Hélène Kirchner, Markus Wolf (Eds.), Maura Cerioli, Maura Cerioli, Universit`a Degli Studi Di Genova, Prof Dr, Bernd Krieg-Brückner, Bernd Krieg-bruckner - 1997
5 Object-Oriented Hybrid Systems of Coalgebras plus Monoid Actions – Bart Jacobs - 1996
11 A Hidden Herbrand Theorem: Combining the Object and Logic Paradigms – Joseph Goguen, Grant Malcolm, Tom Kemp - 1998
9 On the Role of Category Theory in the Area of Algebraic Specifications – H. Ehrig, M. Große-Rhode, U. Wolter - 1996
88 Categorical Logic – Andrew M. Pitts - 1995
3 INTERCONNECTION OF PROBABILISTIC SYSTEMS – Paulo Alexandre Carreira Mateus - 2000
29 Proving Correctness Of Refinement And Implementation – Grant Malcolm, Joseph A. Goguen - 1996
32 An Implementation-Oriented Semantics for Module Composition – Joseph Goguen, Will Tracz - 1997
6 A Relational Approach To Optimization Problems – Sharon Curtis - 1996
1 Categorical Logic – S. Abramsky, D. M. Gabbay, T. S. E. Maibaum (eds, Andrew M. Pitts, Andrew M. Pitts - 2001
2 Hidden Algebraic Engineering – Joseph A. Goguen - 1997
21 HYPERPROGRAMMING: A Formal Approach to Software Environments – Joseph A. Goguen - 1990
3 A Distributed Semantics for FOOPS – Corina Cirstea, Corina Cirstea - 1995
1 Morphisms and Semantics for Higher Order Parameterized Programming – Kai Lin, Joseph Goguen - 2002
4 A Hidden Herbrand Theorem – Joseph Goguen, Grant Malcolm, Tom Kemp
Systems Synthesis: Towards a new paradigm and discipline for knowledge, software, and system development and maintenance – Keith Williamson - 2001
4 Industrial Applications of Software Synthesis via Category Theory – Keith Williamson , Michael Healy - 2001