Grace A. Lewis, Iman Poernomo, Christine Hofmeister
Proceedings of the 12th International Symposium on Component-Based Software Engineering
CBSE, 2009.

@proceedings{CBSE-2009,
	address       = "East Stroudsburg, Pennsylvania, USA",
	doi           = "10.1007/978-3-642-02414-6",
	editor        = "Grace A. Lewis and Iman Poernomo and Christine Hofmeister",
	isbn          = "978-3-642-02413-9",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 12th International Symposium on Component-Based Software Engineering}",
	volume        = 5582,
	year          = 2009,
}

Committee

Contents (16 items)

14 ×#component
4 ×#modelling
3 ×#specification
2 ×#framework

CBSE-2009-BirkmeierO #classification #comparison #component #identification #on the #state of the art

On Component Identification Approaches — Classification, State of the Art, and Comparison (DB, SO), pp. 1–18.

CBSE-2009-LauT #component #modelling

Domain-Specific Software Component Models (KKL, FMT), pp. 19–35.

CBSE-2009-CrnkovicMM #component #framework #modelling

A Model-Driven Engineering Framework for Component Models Interoperability (IC, IM, HM), pp. 36–53.

CBSE-2009-KouroshfarSR #component #development #process

Process Patterns for Component-Based Software Development (EK, HYS, RR), pp. 54–68.

CBSE-2009-LiCHMC #component #fault tolerance #model checking

Selecting Fault Tolerant Styles for Third-Party Components with Model Checking Support (JL, XC, GH, HM, FC), pp. 69–86.

CBSE-2009-PochP #behaviour #component #legacy #specification

Extracting Behavior Specification of Components in Legacy Applications (TP, FP), pp. 87–103.

CBSE-2009-GamaD #component #framework #platform #towards

Towards Dynamic Component Isolation in a Service Oriented Platform (KG, DD), pp. 104–120.

CBSE-2009-LauO #calculus #component #composition #encapsulation

Control Encapsulation: A Calculus for Exogenous Composition of Software Components (KKL, MO), pp. 121–139.

CBSE-2009-Bickford #component #specification #using

Component Specification Using Event Classes (MB), pp. 140–155.

CBSE-2009-BotaschanjanH #architecture #functional

Integrating Functional and Architectural Views of Reactive Systems (JB, AH), pp. 156–172.

CBSE-2009-SentillesSCC #component #integration #modelling

Integration of Extra-Functional Properties in Component Models (SS, PS, JC, IC), pp. 173–190.

CBSE-2009-HauckKKR #component #execution #modelling #performance #predict

Modelling Layered Component Execution Environments for Performance Prediction (MH, MK, KK, RHR), pp. 191–208.

CBSE-2009-LoiretNBL #component #embedded #operating system #realtime

Component-Based Real-Time Operating System for Embedded Applications (FL, JFN, JPB, OL), pp. 209–226.

CBSE-2009-GortonCWAC #component #data-driven #workflow

Services + Components = Data Intensive Scientific Workflow Applications with MeDICi (IG, JC, AW, JA, AC), pp. 227–241.

CBSE-2009-KiniryF #consistency #design #documentation #implementation #specification

Ensuring Consistency between Designs, Documentation, Formal Specifications, and Implementations (JRK, FF), pp. 242–261.

CBSE-2009-Heineman #component #dependence #testing

Unit Testing of Software Components with Inter-component Dependencies (GTH), pp. 262–273.