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
    0 references
    30 July 2008
    0 references
    Category theory
    0 references
    Software component
    0 references
    Transformation
    0 references
    Rule-based refinement
    0 references

    Identifiers