| Chair's Message |
| Organizing Committee |
| Keynote Address 1 |
| Complexity is the Enemy of Dependability - Can Diversity Provide A Defence? / Bev Littlewood |
| Distributed Systems / Session 1： |
| Validating Run-Time Interactions in Distributed Java Applications / S. Ghosh ; N. Bawa ; S. Goel ; Y. Reddy |
| Reasoning About Asynchronous Behaviour in Distributed Systems / P. Henderson |
| A Framework for Performability Modeling of Messaging Services in Distributed Systems / S. Ramani ; K. Goseva-Popstojanova ; K. Trivedi |
| Efficient Reachability Testing of Asynchronous Message-Passing Programs / Y. Lei ; K.-C. Tai |
| Keynote Address 2 |
| Integrating CSP and DC / Jifeng He |
| Formal Approaches / Session 2： |
| Capturing Complete and Accurate Requirements by Refinement / S. Liu |
| Mechanization of a Proof of String-Preprocessing in Boyer-Moore's Pattern Matching Algorithm / M. Besta ; F. Stomp |
| Execution of Tilco Temporal Logic Specifications / P. Bellini ; A. Giotti ; P. Nesi |
| Design and Modeling / Session 3： |
| Mnemosyne: Designing and Implementing Network Short-Term Memory / G. Vigna ; A. Mitchell |
| Composability for Software Components: An Approach Based on the Whole-Part Theory / F. Barbier |
| Using Role-Based Modeling Language (RBML) to Characterize Model Families / D.-K. Kim ; R. France ; E. Song |
| Using Aspects to Design a Secure System / G. Georg ; I. Ray |
| Keynote Address 3 |
| A Light-Weight Process for Capturing and Evolving Defect Reduction Experience / Victor R. Basili ; Mikael Lindvall ; Forrest Shull |
| Testing / Session 4： |
| Interclass Testing of Object Oriented Software / V. Martena ; A. Orso ; M. Pezze |
| A Perturbation-Based Testing Strategy / B. Murrill ; L. Morell ; E. Olimpiew |
| A Framework for Specification-Based Class Testing / L. Liu ; H. Miao ; X. Zhan |
| Mars Polar Lander Fault Identification Using Model-Based Testing / M. Blackburn ; R. Busser ; A. Nauman ; R. Knickerbocker ; R. Kasuda |
| Analysis / Session 5： |
| An Empirical Comparison of Modularity of Procedural and Object-Oriented Software / L. Ferrett ; J. Offutt |
| Fault Detection Effectiveness of Spathic Test Data / J. Hayes ; P. Zhang |
| Syntactic Fault Patterns in OO Programs / R. Alexander ; J. Bieman |
| Model Checking Uml Specifications of Real Time Software / V. Del Bianco ; L. Lavazza ; M. Mauri |
| Software Evolution and Product Line / Session 6： |
| An Evolutionary Lifecycle Model with Agile Practices for Software Development at ABB / A. Dagnino |
| Managing Software Evolution with a Formalized Abstraction Hierarchy / T. Aaltonen ; T. Mikkonen |
| Optonet - a Case Study in Using Rigorous Analysis Techniques to Justify a Revised Product Assurance Strategy / L. Murray ; A. Griffiths ; P. Strooper |
| Multiple-View Meta-Modeling of Software Product Lines / H. Gomaa ; M. Shin |
| Author Index |
| Chair's Message |
| Organizing Committee |
| Keynote Address 1 |
| Complexity is the Enemy of Dependability - Can Diversity Provide A Defence? / Bev Littlewood |
| Distributed Systems / Session 1： |
| Validating Run-Time Interactions in Distributed Java Applications / S. Ghosh ; N. Bawa ; S. Goel ; Y. Reddy |
電子ブック
Eighth IEEE International Conference on Engineering of Complex Computer Systems, 2002. Proceedings
