A Theory Agenda for Component-Based Design-Reference-Cited by-同舟云学术

A Theory Agenda for Component-Based Design

Published:2015 Issue: Volume: Page:409-439
ISSN:0302-9743
Container-title:Software, Services, and Systems
language:
Short-container-title:

Author:

Sifakis Joseph,Bensalem Saddek,Bliudze Simon,Bozga Marius

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-15545-6_24

Reference38 articles.

1. Lecture Notes in Computer Science;R.B. Allen,1998

2. Arbab, F.: Reo: a channel-based coordination model for component composition. Mathematical Structures in Computer Science 14(3), 329–366 (2004)

3. Lecture Notes in Computer Science;L. Aştefănoaei,2014

4. Lecture Notes in Computer Science;P. Attie,2014

5. Baranov, E., Bliudze, S.: Offer semantics: Achieving compositionality, flattening and full expressiveness for the glue operators in BIP. Technical Report EPFL-REPORT-203507, EPFL IC IIF RiSD (November 2014), http://infoscience.epfl.ch/record/203507 .

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Specification and Verification of Communication Paradigms for CBSE in Event B;2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS);2023-06-14

2. An Automatic Refinement for Event-B Through Annotated Temporal Logic Patterns;Computational Collective Intelligence;2022

3. Model-Based Run-Time Synthesis of Architectural Configurations for Adaptive MILS Systems;Lecture Notes in Computer Science;2019

4. Formal Specification and Verification of Dynamic Parametrized Architectures;Formal Methods;2018