Industrial Applications of Software Synthesis via Category Theory (2001)

Cached

Download Links

by Keith Williamson , Michael Healy
Venue:AUTOMATED SOFTWARE ENGINEERING
Citations:4 - 1 self

Active Bibliography

Systems Synthesis: Towards a new paradigm and discipline for knowledge, software, and system development and maintenance – Keith Williamson - 2001
Industrial Applications . . . via Category Theory -- Case Studies Using Specware – Keith Williamson, Michael Healy, Richard Barker - 2001
52 Ontology Reuse and Application – Mike Uschold, Mike Healy, Keith Williamson, Peter Clark, Steven Woods - 1998
ONTOLOGIES AND WORLDS IN CATEGORY THEORY: IMPLICATIONS FOR NEURAL SYSTEMS – unknown authors
8 Interconnection of Object Specifications – Grant Malcolm - 1996
3 Tossing Algebraic Flowers down the Great Divide – Joseph Goguen - 1999
21 HYPERPROGRAMMING: A Formal Approach to Software Environments – Joseph A. Goguen - 1990
14 Structured Theories and Institutions – Francisco Durán, José Meseguer - 1999
1 Horizontal composability revisited – Donald Sannella, Andrzej Tarlecki
10 Logical Foundations of CafeOBJ – Razvan Diaconescu, Kokichi Futatsugi
May I Borrow Your Logic? (Transporting Logical Structures along Maps) – Maura Cerioli, José Meseguer - 1995
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
12 Formal Interoperability – José Meseguer - 1998
123 A Framework for Understanding and Classifying Ontology Applications – Robert Jasper, Mike Uschold - 1999
2 Composition by Colimit and Formal Software Development – Douglas R. Smith - 2006
9 Derivation of Glue Code for Agent Interoperation – Mark Burstein, Drew Mcdermott, Douglas R. Smith, Stephen J. Westfold - 2000
11 Guarded Transitions in Evolving Specifications – Dusko Pavlovic, Douglas R. Smith - 2002
16 Designware: Software Development by Refinement – Douglas R. Smith - 1999