A categorical framework for the transformation of object-oriented systems: models and data
DOI10.1016/J.JSC.2010.09.010zbMATH Open1211.68259OpenAlexW2004865084MaRDI QIDQ631577FDOQ631577
Authors: Christoph Schulz, Michael Löwe, Harald König 
Publication date: 14 March 2011
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jsc.2010.09.010
Recommendations
- Composition of Model Transformations: A Categorical Framework
- The categorical framework of object-oriented concurrent systems
- Theory and Applications of Models of Computation
- A category theory approach to conceptual data modeling
- Algorithmic support for model transformation in object-oriented software development
- Applications of a categorical framework for conceptual data modeling
- Category-theoretic approach to software systems design
Specification and verification (program logics, model checking, etc.) (68Q60) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) General topics in the theory of data (68P01) Abstract data types; algebraic specification (68Q65)
Cites Work
- Title not available (Why is that?)
- Topoi. The categorial analysis of logic. Rev. ed
- Fundamentals of algebraic graph transformation
- Defining object-oriented execution semantics using graph transformations
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Graph Transformations
Cited In (4)
This page was built for publication: A categorical framework for the transformation of object-oriented systems: models and data
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q631577)
