default search action
CBSE 2013: Vancouver, BC, Canada
- Philippe Kruchten, Dimitra Giannakopoulou, Massimo Tivoli:
CBSE'13, Proceedings of the 16th ACM SIGSOFT Symposium on Component Based Software Engineering, part of Comparch '13, Vancouver, BC, Canada, June 17-21, 2013. ACM 2013, ISBN 978-1-4503-2122-8
Keynote
- Peter Danielson:
Ethics outside the box: empirical tools for an ethics of artificial agents. 1-2
Adaptable components
- Christian Heinzemann, Steffen Becker:
Executing reconfigurations in hierarchical component architectures. 3-12 - Hang Yin, Hongwan Qin, Jan Carlson
, Hans Hansson
Mode switch handling for the ProCom component model. 13-22 - Gilles Vanwormhoudt, Areski Flissi:
CIAO: a component model and its OSGi framework for dynamically adaptable telephony applications. 23-32
Component verification
- Kenneth Johnson
An incremental verification framework for component-based software systems. 33-42 - Jiri Barnat, Nikola Benes
DCCL: verification of component systems with ensembles. 43-52 - Eden Burton, Emil Sekerinski:
Correctness of intrusive data structures using mixins. 53-58
Dependable & reusable components
- Quentin Enard, Miruna Stoicescu, Emilie Balland, Charles Consel, Laurence Duchien, Jean-Charles Fabre, Matthieu Roy:
Design-driven development methodology for resilient computing. 59-64 - Sanchit Karve, Christopher Scaffidi:
Towards mining informal online data to guide component-reuse decisions. 65-74 - Widura Schwittek, Stefan Eicker:
A study on third party component reuse in Java enterprise open source software. 75-80
Component design
- Tomás Bures
DEECO: an ensemble-based component system. 81-90 - Jaroslav Keznikl, Tomás Bures
Design of ensemble-based component systems by invariant refinement. 91-100 - Nima Jafroodi, Peter Grogono:
Implementing generalized alternative construct for erasmus language. 101-110
Component analysis
- Stephan Windmüller
Active continuous quality control. 111-120 - Iman I. Yusuf
Parameterised architectural patterns for providing cloud service fault tolerance with accurate costings. 121-130 - Pietro Abate, Johannes Schauer:
Bootstrapping software distributions. 131-142
Surveys & applications
- Marie Christin Platenius, Markus von Detten, Steffen Becker, Wilhelm Schäfer, Gregor Engels:
A survey of fuzzy service matching approaches in the context of on-the-fly computing. 143-152 - Rémi Druilhe, Matthieu Anne, Jacques Pulou, Laurence Duchien, Lionel Seinturier:
Components mobility for energy efficiency of digital home. 153-158 - Ian Gorton, Yan Liu, Carina Lansing, Todd Elsethagen, Kerstin Kleese van Dam:
Build less code deliver more science: an experience report on composing scientific environments using component-based and commodity software platforms. 159-168
Component quality assurance
- Luka Lednicki, Jan Carlson
Model level worst-case execution time analysis for IEC 61499. 169-178 - Federico Ciccozzi, Mehrdad Saadatmand
An automated round-trip support towards deployment assessment in component-based embedded systems. 179-188
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.
last updated on 2024-12-26 00:59 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: