loading...
6th ICSE Workshop on Component-Based Software Engineering: Automated Reasoning and Prediction
Portland, Oregon May 03-May 10
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ICSE.2003.120128025th International Conference on Soft ...
 This Article 
 
PURCHASE ARTICLE: $0
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Ivica Crnkovic, M?lardalen University
Heinz Schmidt, Monash University
Judith Stafford, Tufts University
Kurt Wallnau, Carnegie Mellon University
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.
Index Terms:
Composition, components, system analysis, quality attributes
Citation:
Ivica Crnkovic, Heinz Schmidt, Judith Stafford, Kurt Wallnau, "6th ICSE Workshop on Component-Based Software Engineering: Automated Reasoning and Prediction," icse, pp.775, 25th International Conference on Software Engineering (ICSE'03), 2003
Usage of this product signifies your acceptance of the Terms of Use.