Proceedings of the 16th International Symposium on Component-Based Software Engineering
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

Full names Links ISxN
	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,


  • Finance Chair: Ali Mesbah
  • General Chair: Philippe Kruchten
  • Program Chairs: Dimitra Giannakopoulou, Massimo Tivoli
  • Program Committee: Marco Autili, Steffen Becker, Antonia Bertolino, Domenico Bianculli, Radu Calinescu, Carlos Canal, Jan Carlson, Ivica Crnkovic, Aldo Dagnino, David Garlan, Serban Gheorghe, Gregor Gößler, Ian Gorton, Susanne Graf, Lars Grunske, George Heineman, Gang Huang, Paola Inverardi, Valérie Issarny, Fabrice Kordon, Anne Koziolek, Magnus Larsson, Grace A. Lewis, Nenad Medvidović, Raffaela Mirandola, Henry Muccini, Rob C. van Ommering, David Parker, Frantisek Plasil, Noël Plouzeau, Pascal Poizat, Sanjai Rayadurgam, Ralf Reussner, Salah Sadou, Gwen Salaün, Heinz Schmidt, Lionel Seinturier, Clemens Szyperski, Pengcheng Zhang
  • Publication Chair: Ipek Ozkaya
  • Publicity Chair: Davide Falessi
  • Steering Committee: Ralf Reussner, Clemens Szyperski, Steffen Becker, Barbora Buhnova, Ivica Crnkovic, Holger Giese, Ian Gorton, Lars Grunske, George Heineman, Jan Kofron, Grace A. Lewis, Raffaela Mirandola, Sven Overhage, Frantisek Plasil, Ralf Reussner, Heinz Schmidt, Judith A. Stafford, Clemens Szyperski
  • Web Chair: Davide Di Ruscio
  • Contents (21 items)

    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.
    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.

    Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
    Hosted as a part of SLEBOK on GitHub.