|
3
|
Industrial Applications of Software Synthesis via Category Theory
– Keith Williamson , Michael Healy
- 2001
|
|
|
Industrial Applications . . . via Category Theory -- Case Studies Using Specware
– Keith Williamson, Michael Healy, Richard Barker
- 2001
|
|
|
ONTOLOGIES AND WORLDS IN CATEGORY THEORY: IMPLICATIONS FOR NEURAL SYSTEMS
– unknown authors
|
|
48
|
Ontology Reuse and Application
– Mike Uschold, Mike Healy, Keith Williamson, Peter Clark, Steven Woods
- 1998
|
|
3
|
Tossing Algebraic Flowers down the Great Divide
– Joseph Goguen
- 1999
|
|
10
|
Designware: Software Development by Refinement
– Douglas R. Smith
- 1999
|
|
8
|
Interconnection of Object Specifications
– Grant Malcolm
- 1996
|
|
21
|
HYPERPROGRAMMING: A Formal Approach to Software Environments
– Joseph A. Goguen
- 1990
|
|
1
|
Kind Theory
– R. Kiniry, Joseph R. Kiniry
- 2002
|
|
14
|
Structured Theories and Institutions
– Francisco Durán, José Meseguer
- 1999
|
|
|
May I Borrow Your Logic? (Transporting Logical Structures along Maps)
– Maura Cerioli, José Meseguer
- 1995
|
|
8
|
Logical Foundations of CafeOBJ
– Razvan Diaconescu, Kokichi Futatsugi
|
|
3
|
On the Compositionality and Analysis of Algebraic High-Level Nets
– Johan Lilius, Johan Lilius
- 1991
|
|
7
|
Abstract specification theory: an overview
– Andrzej Tarlecki
- 2003
|
|
13
|
Formal Interoperability
– José Meseguer
- 1998
|
|
112
|
A Framework for Understanding and Classifying Ontology Applications
– Robert Jasper, Mike Uschold
- 1999
|
|
|
A Kabbalah System Theory of Ontological and Knowledge Engineering for Knowledge Based Systems
– Gabriel Burstein, Constantin Virgil Negoita
|
|
8
|
Guarded Transitions in Evolving Specifications
– Dusko Pavlovic, Douglas R. Smith
- 2002
|
|
7
|
Derivation of Glue Code for Agent Interoperation
– Mark Burstein, Drew Mcdermott, Douglas R. Smith, Stephen J. Westfold
- 2000
|
