Integration of categorical frameworks: Rule-based refinement and hierarchical composition for components (Q934668)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Integration of categorical frameworks: Rule-based refinement and hierarchical composition for components |
scientific article |
Statements
Integration of categorical frameworks: Rule-based refinement and hierarchical composition for components (English)
0 references
30 July 2008
0 references
Category theory
0 references
Software component
0 references
Transformation
0 references
Rule-based refinement
0 references
0 references
