


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

, Radu Calinescu
, Shinji Kikuchi:
An incremental verification framework for component-based software systems. 33-42 - Jiri Barnat, Nikola Benes

, Ivana Cerná
, Zuzana Petruchová:
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

, Ilias Gerostathopoulos
, Petr Hnetynka
, Jaroslav Keznikl, Michal Kit, Frantisek Plásil
:
DEECO: an ensemble-based component system. 81-90 - Jaroslav Keznikl, Tomás Bures

, Frantisek Plásil
, Ilias Gerostathopoulos
, Petr Hnetynka
, Nicklas Hoch:
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

, Johannes Neubauer, Bernhard Steffen, Falk Howar
, Oliver Bauer:
Active continuous quality control. 111-120 - Iman I. Yusuf

, Heinz W. Schmidt:
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

, Kristian Sandström:
Model level worst-case execution time analysis for IEC 61499. 169-178 - Federico Ciccozzi, Mehrdad Saadatmand

, Antonio Cicchetti
, Mikael Sjödin:
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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














