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 Kovác:
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
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.