Pages that link to "Item:Q289772"
From MaRDI portal
The following pages link to Category-theoretic approach to software systems design (Q289772):
Displaying 8 items.
- A categorical framework for the transformation of object-oriented systems: models and data (Q631577) (← links)
- Theoretical aspects of structured-modular composition programming: Algebra of morphisms (Q1842423) (← links)
- Categories for Software Engineering (Q3160259) (← links)
- Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting (Q3585055) (← links)
- A Categorical Approach to Mereology and Its Application to Modelling Software Components (Q3600304) (← links)
- (Q3994196) (← links)
- Theory and Applications of Models of Computation (Q5898913) (← links)
- Industrial applications of software synthesis via category theory -- case studies using specware (Q5935933) (← links)