|
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
|
|
4
|
On the Role of Category Theory in the Area of Algebraic Specifications
– H. Ehrig, M. Große-Rhode, U. Wolter
- 1996
|
|
3
|
INTERCONNECTION OF PROBABILISTIC SYSTEMS
– Paulo Alexandre Carreira Mateus
- 2000
|
|
28
|
Proving Correctness Of Refinement And Implementation
– Grant Malcolm, Joseph A. Goguen
- 1996
|
|
31
|
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
|
|
3
|
Industrial Applications of Software Synthesis via Category Theory
– Keith Williamson , Michael Healy
- 2001
|
|
1
|
A Semantics for Object-Oriented Systems
– Tony Clark
- 1998
|
