A coalgebraic semantic framework for component-based development in UML
From MaRDI portal
Publication:2849889
zbMATH Open1272.68105MaRDI QIDQ2849889FDOQ2849889
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
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
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Abstract data types; algebraic specification (68Q65)
Cited In (8)
- Towards an institutional framework for heterogeneous formal development in UML -- a position paper
- A formal abstract framework for modelling and testing complex software systems
- Probabilistic mediator: a coalgebraic perspective
- Multifaceted formal methods and their interdisciplinary role -- from the cathedral of `components as coalgebras' to the HCI context and the open source software bazaar
- Formal Methods for Components and Objects
- Compositional operational semantics of a UML-kernel-model language
- Components as coalgebras: the refinement dimension
- Formal Methods for Components and Objects
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)
