![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
CBSE 2015: Montreal, QC, Canada
- Philippe Kruchten, Steffen Becker, Jean-Guy Schneider:
Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, CBSE 2015, Montreal, QC, Canada, May 4-8, 2015. ACM 2015, ISBN 978-1-4503-3471-6
Session 1: Formal Approaches
- Vincent Lanore, Christian Pérez:
A Reconfigurable Component Model for HPC. 1-10 - Marcus Kessel
, Colin Atkinson
:
Measuring the Superfluous Functionality in Software Components. 11-20 - Max E. Kramer, Michael Langhammer, Dominik Messinger, Stephan Seifermann, Erik Burger
:
Change-Driven Consistency for Component Code, Architectural Models, and Contracts. 21-26
Session 2: Wireless and Real-time Systems
- Wilfried Daniels, José Proença
, Dave Clarke, Wouter Joosen, Danny Hughes:
Refraction: Low-Cost Management of Reflective Meta-Data in Pervasive Component-Based Applications. 27-36 - Michael Wahler, Manuel Oriol, Aurelien Monot:
Real-time Multi-core Components for Cyber-physical Systems. 37-42 - Gowri Sankar Ramachandran
, Wilfried Daniels, José Proença
, Sam Michiels
, Wouter Joosen, Danny Hughes, Barry Porter
:
Hitch Hiker: A Remote Binding Model with Priority Based Data Aggregation for Wireless Sensor Networks. 43-48
Session 3: Component and Composition
- Sebti Mouelhi
, Khalid Agrou, Samir Chouali, Hassan Mountassir:
Object-Oriented Component-Based Design using Behavioral Contracts: Application to Railway Systems. 49-58 - Michal Kit, Frantisek Plásil
, Vladimír Matena
, Tomás Bures
, Ondrej Kovac
:
Employing Domain Knowledge for Optimizing Component Communication. 59-64 - Ivan Ruchkin
, Bradley R. Schmerl, David Garlan:
Architectural Abstractions for Hybrid Programs. 65-74
Session 4: Architecture and Services
- Marie Christin Platenius, Wilhelm Schäfer, Svetlana Arifulina:
MatchBox: A Framework for Dynamic Configuration of Service Matching Processes. 75-84 - Clément Escoffier, Philippe Lalanda, Ozan Necati Günalp:
A Component Model to Manage the Heterogeneity and Dynamism in Mobile Applications. 85-90
Session 5: Model-based
- Jin Hyun Kim, Abdeldjalil Boudjadar, Ulrik Nyman
, Marius Mikucionis
, Kim G. Larsen
, Arne Skou, Insup Lee, Linh Thi Xuan Phan:
Quantitative Schedulability Analysis of Continuous Probability Tasks in a Hierarchical Context. 91-100 - Nikola Benes
, Przemyslaw Daca, Thomas A. Henzinger, Jan Kretínský, Dejan Nickovic:
Complete Composition Operators for IOCO-Testing Theory. 101-110 - Chandrakana Nandi, Aurelien Monot, Manuel Oriol:
Stochastic Contracts for Runtime Checking of Component-based Real-time Systems. 111-116
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.