Philippe Kruchten, Dimitra Giannakopoulou, Massimo Tivoli
Proceedings of the 16th International Symposium on Component-Based Software Engineering
CBSE, 2013.

@proceedings{CBSE-2013,
	acmid         = "2465449",
	address       = "Vancouver, British Columbia, Canada",
	editor        = "Philippe Kruchten and Dimitra Giannakopoulou and Massimo Tivoli",
	isbn          = "978-1-4503-2122-8",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 16th International Symposium on Component-Based Software Engineering}",
	year          = 2013,
}

Committee

Contents (21 items)

12 ×#component
3 ×#named
2 ×#case study
2 ×#framework
2 ×#towards
2 ×#using
2 ×#verification

CBSE-2013-Danielson #empirical #tool support

Ethics outside the box: empirical tools for an ethics of artificial agents (PD), pp. 1–2.

CBSE-2013-HeinzemannB #architecture #component #configuration management

Executing reconfigurations in hierarchical component architectures (CH, SB), pp. 3–12.

CBSE-2013-YinQCH #component

Mode switch handling for the ProCom component model (HY, HQ, JC, HH), pp. 13–22.

CBSE-2013-VanwormhoudtF #adaptation #component #framework #named

CIAO: a component model and its OSGi framework for dynamically adaptable telephony applications (GV, AF), pp. 23–32.

CBSE-2013-JohnsonCK #component #framework #incremental #verification

An incremental verification framework for component-based software systems (KJ, RC, SK), pp. 33–42.

CBSE-2013-BarnatBCP #component #named #verification

DCCL: verification of component systems with ensembles (JB, NB, IC, ZP), pp. 43–52.

CBSE-2013-BurtonS #correctness #data type #mixin #using

Correctness of intrusive data structures using mixins (EB, ES), pp. 53–58.

CBSE-2013-EnardSBCDFR #development

Design-driven development methodology for resilient computing (QE, MS, EB, CC, LD, JCF, MR), pp. 59–64.

CBSE-2013-KarveS #component #mining #online #towards

Towards mining informal online data to guide component-reuse decisions (SK, CS), pp. 65–74.

CBSE-2013-SchwittekE #case study #component #enterprise #java #open source #reuse

A study on third party component reuse in Java enterprise open source software (WS, SE), pp. 75–80.

CBSE-2013-BuresGHKKP #component #named

DEECO: an ensemble-based component system (TB, IG, PH, JK, MK, FP), pp. 81–90.

CBSE-2013-KezniklBPGHH #component #design #invariant #refinement

Design of ensemble-based component systems by invariant refinement (JK, TB, FP, IG, PH, NH), pp. 91–100.

CBSE-2013-JafroodiG #implementation

Implementing generalized alternative construct for erasmus language (NJ, PG), pp. 101–110.

CBSE-2013-WindmullerNSHB #quality

Active continuous quality control (SW, JN, BS, FH, OB), pp. 111–120.

CBSE-2013-YusufS #design pattern #fault tolerance

Parameterised architectural patterns for providing cloud service fault tolerance with accurate costings (IIY, HWS), pp. 121–130.

CBSE-2013-AbateS

Bootstrapping software distributions (PA, JS), pp. 131–142.

CBSE-2013-PlateniusDBSE #fuzzy #on the fly #overview

A survey of fuzzy service matching approaches in the context of on-the-fly computing (MCP, MvD, SB, WS, GE), pp. 143–152.

CBSE-2013-DruilheAPDS #component #energy #performance

Components mobility for energy efficiency of digital home (RD, MA, JP, LD, LS), pp. 153–158.

CBSE-2013-GortonLLED #case study #component #delivery #experience #platform #using

Build less code deliver more science: an experience report on composing scientific environments using component-based and commodity software platforms (IG, YL, CL, TE, KKvD), pp. 159–168.

CBSE-2013-LednickiCS #analysis #execution #worst-case

Model level worst-case execution time analysis for IEC 61499 (LL, JC, KS), pp. 169–178.

CBSE-2013-CiccozziSCS #assessment #automation #component #deployment #embedded #towards

An automated round-trip support towards deployment assessment in component-based embedded systems (FC, MS, AC, MS), pp. 179–188.