Pages that link to "Item:Q2849889"
From MaRDI portal
The following pages link to A coalgebraic semantic framework for component-based development in UML (Q2849889):
Displaying 5 items.
- A formal abstract framework for modelling and testing complex software systems (Q714878) (← links)
- Components as coalgebras: the refinement dimension (Q820141) (← links)
- Probabilistic mediator: a coalgebraic perspective (Q2079684) (← links)
- Compositional operational semantics of a UML-kernel-model language (Q2852096) (← links)
- Multifaceted formal methods and their interdisciplinary role -- from the cathedral of `components as coalgebras' to the HCI context and the open source software bazaar (Q6643469) (← links)