A Theory Agenda for Component-Based Design
From MaRDI portal
Publication:5256362
DOI10.1007/978-3-319-15545-6_24zbMath1454.68019OpenAlexW1593175052MaRDI QIDQ5256362
Marius Bozga, Joseph Sifakis, Simon Bliudze, Saddek Bensalem
Publication date: 22 June 2015
Published in: Software, Services, and Systems (Search for Journal in Brave)
Full work available at URL: http://infoscience.epfl.ch/record/209929
Related Items (1)
Uses Software
Cites Work
- Unnamed Item
- Calculi for synchrony and asynchrony
- Event algebra for transition systems composition application to timed automata
- The origins of structural operational semantics
- A framework for automated distributed implementation of component-based models
- Connector Rewriting with High-Level Replacement Systems
- Conflict-Tolerant Features
- Compositional Verification for Component-Based Systems and Application
- A Notion of Glue Expressiveness for Component-Based Systems
- Synthesis from Component Libraries
- Configuration and dynamic reconfiguration of components using the coordination paradigm
- The Algebra of Connectors—Structuring Interaction in BIP
- Reo: a channel-based coordination model for component composition
- Behaviour, Interaction and Dynamics
- Feature integration using a feature construct
- Causal semantics for the algebra of connectors
This page was built for publication: A Theory Agenda for Component-Based Design
