6th ICSE workshop on component-based software engineering: automated reasoning and prediction

Authors:
Ivica Crnkovic;Heinz Schmidt;Judith Stafford;Kurt Wallnau
Affiliations:
Mälardalen University, Sweden;Monash University, Australia;Tufts University;Carnegie Mellon University
Venue:
Proceedings of the 25th International Conference on Software Engineering
Year:
2003

Citing 0
Cited 3

Software of the future is the future of software?

TGC'06 Proceedings of the 2nd international conference on Trustworthy global computing
The spec# programming system: an overview

CASSIS'04 Proceedings of the 2004 international conference on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
A component framework for consumer electronics middleware

Component-Based Software Development for Embedded Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Component-based technologies and processes have been deployed in many organizations and in many fields over the past several years. However, modeling, reasoning about, and predicting component and system properties remains challenging in theory and in practice. CBSE6 builds on previous workshops in the ICSE/CBSE series, and in 2003 is thematically centered on automated composition theories. Composition theories support reasoning about, and predicting, the runtime properties of assemblies of components. Automation is a practical necessity for applying composition theories in practice. Emphasis is placed in this workshop on composition theories that are well founded theoretically, are verifiable or falsifiable, automated by tools, and supported by practical evaluation.