Rigorous development of component-based systems using component metadata and patterns (Q333322)

From MaRDI portal
Revision as of 23:33, 28 February 2024 by SwMATHimport240215 (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
Rigorous development of component-based systems using component metadata and patterns
scientific article

    Statements

    Rigorous development of component-based systems using component metadata and patterns (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    28 October 2016
    0 references
    component-based development
    0 references
    correct by construction
    0 references
    designs
    0 references
    metadata
    0 references
    behavioural pattern
    0 references
    deadlock analysis
    0 references
    CSP
    0 references

    Identifiers