Pages that link to "Item:Q3160259"
From MaRDI portal
The following pages link to Categories for Software Engineering (Q3160259):
Displaying 17 items.
- Systems analysis of life cycle of large-scale information-control systems (Q386928) (← links)
- Parameterisation for abstract structured specifications (Q387996) (← links)
- Genetic programming \(+\) proof search \(=\) automatic improvement (Q682376) (← links)
- Encapsulating deontic and branching time specifications (Q714879) (← links)
- A general framework for architecture composability (Q736458) (← links)
- A formalisation of deep metamodelling (Q736852) (← links)
- Categorical foundations for structured specifications in \(\mathsf{Z}\) (Q903494) (← links)
- Construction and properties of adhesive and weak adhesive high-level replacement categories (Q934669) (← links)
- Specifying with syntactic theory functors (Q2173439) (← links)
- Indexed and fibred structures for Hoare logic (Q2219084) (← links)
- Category-theoretic models of algebraic computer systems (Q2629982) (← links)
- An Institutional Theory for #-Components (Q2873612) (← links)
- Model Transformation and Induced Instance Migration: A Universal Framework (Q3098049) (← links)
- Causal Semantics for the Algebra of Connectors (Q3602997) (← links)
- Van Kampen Colimits and Path Uniqueness (Q4643957) (← links)
- Abstract Constraint Data Types (Q5256347) (← links)
- Towards an Institutional Framework for Heterogeneous Formal Development in UML (Q5256350) (← links)
