Categories for Software Engineering
From MaRDI portal
Recommendations
Cited in
(23)- Category-theoretic models of algebraic computer systems
- Genetic programming + proof search = automatic improvement
- Indexed and fibred structures for Hoare logic
- Yoneda philosophy in engineering
- Towards an institutional framework for heterogeneous formal development in UML -- a position paper
- Encapsulating deontic and branching time specifications
- Category-theoretic approach to software systems design
- Van Kampen Colimits and Path Uniqueness
- scientific article; zbMATH DE number 1696908 (Why is no real title available?)
- A general framework for architecture composability
- A formalisation of deep metamodelling
- Industrial applications of software synthesis via category theory -- case studies using specware
- Specifying with syntactic theory functors
- Revisiting the categorical approach to systems
- Categorical foundations for structured specifications in \(\mathsf{Z}\)
- Abstract constraint data types
- Diagrammatic description of software systems composition
- Construction and properties of adhesive and weak adhesive high-level replacement categories
- Parameterisation for abstract structured specifications
- Systems analysis of life cycle of large-scale information-control systems
- An institutional theory for \#-components
- Model transformation and induced instance migration: a universal framework
- Causal Semantics for the Algebra of Connectors
This page was built for publication: Categories for Software Engineering
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3160259)
