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