A coalgebraic semantic framework for component-based development in UML

MaRDI QIDQ2849889zbMATH OpenFDO

Authors Sun Meng, Bernhard K. Aichernig, Zhang Naixiao, L. S. Barbosa

Publication date 20 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066105000411

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Abstract data types; algebraic specification (68Q65)

Recommendations

• Formal Methods for Components and Objects
• Formal Methods for Components and Objects
• Concurrency and refinement in the unified modeling language
• Concurrency and refinement in the unified modeling language
• Towards an institutional framework for heterogeneous formal development in UML -- a position paper

Cited in

(8)

• Probabilistic mediator: a coalgebraic perspective
• Compositional operational semantics of a UML-kernel-model language
• Towards an institutional framework for heterogeneous formal development in UML -- a position paper
• Formal Methods for Components and Objects
• Formal Methods for Components and Objects
• Multifaceted formal methods and their interdisciplinary role -- from the cathedral of `components as coalgebras' to the HCI context and the open source software bazaar
• A formal abstract framework for modelling and testing complex software systems
• Components as coalgebras: the refinement dimension

This page was built for publication: A coalgebraic semantic framework for component-based development in UML

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2849889)