Proceedings of the Sixth ICSE Workshop on Component-Based Software Engineering: Automated Reasoning and Prediction
CBSE-2003, 2002.

@proceedings{CBSE-2003,
	address       = "Portland, Oregon, USA",
	title         = "{Proceedings of the Sixth ICSE Workshop on Component-Based Software Engineering: Automated Reasoning and Prediction}",
	year          = 2002,
}

Event page: http://www.comparch-events.org/past/CBSE_2003/format.html

Committee

Contents (18 items)

12 ×#component
3 ×#modelling
3 ×#performance
3 ×#predict
2 ×#architecture
2 ×#automation
2 ×#composition
2 ×#framework
2 ×#generative
2 ×#reliability

CBSE-2003-BertolinoM #component #performance #towards

Towards Component-Based Software Performance Engineering (AB, RM), p. 1.

CBSE-2003-McGregorSC #component #reliability

Measuring Component Reliability (JDM, JAS, IHC), p. 2.

CBSE-2003-WuMW #component #performance #predict

Component Based Performance Prediction (XW, DM, MW), p. 3.

CBSE-2003-JongeMC #component #predict #runtime

Scenario-Based Prediction of Run-time Resource Consumption in Component-Based Software Systems (MdJ, JM, MRVC), p. 4.

CBSE-2003-JrH #architecture #component #constraints #specification

Specifying Architectural Constraints on Components (WDJ, CH), p. 5.

CBSE-2003-BarnettGKSSTW #component #specification

Serious Specification for Composing Components (MB, WG, CK, WS, CS, NT, AW), p. 6.

CBSE-2003-JiaA #feature model #interactive #runtime

Run-Time Management of Feature Interactions (YJ, JMA), p. 7.

CBSE-2003-DijkmanAQ #component #correctness #process #verification

Verifying the Correctness of Component-Based Applications that Support Business Processes (RMD, JAA, DAQ), p. 8.

CBSE-2003-Heineman #component #interface #modelling

Integrating Interface Assertion Checkers into Component Models (GTH), p. 9.

CBSE-2003-MehlitzP #design pattern #reliability #using #verification

Design for Verification: Using Design Patterns to Build Reliable Systems (PCM, JJP), p. 10.

CBSE-2003-SridharH #component #configuration management #generative

Generating Configurable Containers for Component-Based Software (NS, JOH), p. 11.

CBSE-2003-BaresiHTV #analysis #architecture #graph transformation #modelling

Modeling and Analysis of Architectural Styles Based on Graph Transformation (LB, RH, ST, DV), p. 12.

CBSE-2003-VecellioT #framework #policy #predict

Infrastructure Support for Predictable Policy Enforcement (GV, WT), p. 13.

CBSE-2003-HamletAT #component

Experiments with composing component properties (DH, MA, ZT), p. 14.

CBSE-2003-WeideOS #composition #performance #reasoning

Expressiveness Issues in Compositional Performance Reasoning (BWW, WFO, MS), p. 15.

CBSE-2003-CervantesH #automation #component #dependence

Automating Service Dependency Management in a Service-Oriented Component Model (HC, RSH), p. 16.

CBSE-2003-InverardiT #assembly #component #composition #synthesis

A compositional synthesis of failure-free connectors for correct components assembly (PI, MT), p. 17.

CBSE-2003-ZhaoBGBROA #automation #framework #generative #modelling

A Generative and Model Driven Framework for Automated Software Product Generation (WZ, BRB, JGG, CCB, RRR, AMO, MA), p. 18.