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

Documents Related by Co-Citation

474 Institutions: abstract model theory for specification and programming – J A Goguen, R M Burstall - 1992
26 A Formal Foundation for Object-Oriented Software Evolution – Tom Mens - 2001
19 P.: Formalizing ontology alignment and its operations with category theory – A Zimmermann, M Krotzsch, J Euzenat, Hitzler - 2006
5 Neural Networks, Knowledge and Cognition: A Mathematical Semantic Model Based upon Category Theory – M J Healy, T P Caudell - 2004
78 Conceptual Mathematics: A First Introduction to Categories – F W Lawvere, S Schanuel - 1997
172 Basic Category Theory for Computer Scientists – B C Pierce - 1991
10 Moving Specification Structures Between Logical Systems – Tomasz Borzyszkowski - 1998
1 Some models of heterogeneous and distributed specifications based on universal constructions – E H Haeusler, A Martini, U Wolter - 2007
1 Amalgamation in the semantics of CASL. Theoret – L Schröder, T Mossakowski, A Tarlecki, P Hoffman, B Klin - 2005
3 Semantical Integration of Object-Oriented Viewpoint Specification Techniques – B Braatz, M Klein, G Schröter
10 A Church-Rosser Checker Tool for Maude Equational Specifications – Francisco Durán, José Meseguer, Equational Speci Cations - 2000
3 Language independent generation of graphical representations of source code – T Hendrix, J Cross - 1995
2 Investigating component based maintenance and the effect of software evolution: a reengineering approach using data clustering – E Burd, M Munro - 1998
2 A category-theoretic approach to representation and analysis of inconsistency in graph-based viewpoints – Mehrdad Sabetzadeh, Mehrdad Sabetzadeh - 2003
13 An Integrated Approach for Studying Software Architectural Evolution – Q Tu, M Godfrey - 2002
20 Comorphism-based Grothendieck logics – Till Mossakowski - 2002
12 Institutionalising Ontology-Based Semantic Integration – M Schorlemmer, Y Kalfoglou
20 Grothendieck institutions. Applied Categorical Structures, 10(4):383–402, 2002. Preliminary version appeared as – Răzvan Diaconescu - 2000
15 An efficient version model of software diagrams – J Rho, C Wu - 1998