Systems Synthesis: Towards a new paradigm and discipline for knowledge, software, and system development and maintenance (2001)

Cached

Download Links

by Keith Williamson

Active Bibliography

4 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
52 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
16 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 – Joseph R. Kiniry - 2002
15 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
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
1 Horizontal composability revisited – Donald Sannella, Andrzej Tarlecki
10 Logical Foundations of CafeOBJ – Razvan Diaconescu, Kokichi Futatsugi
12 Formal Interoperability – José Meseguer - 1998
1 Generating Programs plus Proofs by Refinement – Douglas R. Smith
124 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