Industrial Applications of Software Synthesis via Category Theory (2001)

View PDF

Download Links

by Keith Williamson , Michael Healy
Venue:AUTOMATED SOFTWARE ENGINEERING
Citations:7 - 3 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
Industrial Applications of Software Synthesis via Category Theory – unknown authors
766 Notions of Computation and Monads – Eugenio Moggi - 1991
715 A classification and comparison framework for software architecture description languages – Nenad Medvidovic, Richard N. Taylor - 2000
Category – Jerzy Tomasik, Jerzy Weyman
457 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
375 Specifying Distributed Software Architectures – Jeff Magee, Naranker Dulay, Susan Eisenbach, Jeff Kramer - 1995
355 Ontology Mapping: The State of the Art – Yannis Kalfoglou, Marco Schorlemmer - 2003