8. ICECCS 2002: Greenbelt, MD, USA

@proceedings{DBLP:conf/iceccs/2002,
  title     = {8th  International Conference on Engineering of Complex Computer
               Systems (ICECCS 2002), 2-4 December 2002, Greenbelt, MD, USA},
  booktitle = {ICECCS},
  publisher = {IEEE Computer Society},
  year      = {2002},
  isbn      = {0-7695-1757-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Keynote Address 1

• Bev Littlewood:
  Complexity Is the Enemy of Dependability - Can Diversity Provide a Defense? 3-
  

Distributed Systems

• Sudipto Ghosh, Nishant Bawa, Sameer Goel, Raghu Reddy:
  Validating Run-time Interactions in Distributed Java Applications. 7-16
  
• Peter Henderson:
  Reasoning about Asynchronous Behaviour in Distributed Systems. 17-24
  
• Srinivasan Ramani, Katerina Goseva-Popstojanova, Kishor S. Trivedi:
  A Framework for Performability Modeling of Messaging Services in Distributed Systems. 25-34
  
• Yu Lei, Kuo-Chung Tai:
  Efficient Reachability Testing of Asynchronous Message-Passing Programs. 35-
  

Keynote Address 2

• Jifeng He:
  Integrating CSP and DC. 47-
  

Formal Approaches

• Shaoying Liu:
  Capturing Complete and Accurate Requirements by Refinemen. 57-67
  
• Milos Besta, Frank A. Stomp:
  Mechanization of a Proof of String-Preprocessing in Boyer-Moore's Pattern Matching Algorithm. 68-77
  
• Pierfrancesco Bellini, Andrea Giotti, Paolo Nesi:
  Execution of TILCO Temporal Logic Specifications. 78-
  

Design and Modeling

• Giovanni Vigna, Andrew Mitchel:
  Mnemosyne: Designing and Implementing Network Short-Term Memory. 91-100
  
• Franck Barbier:
  Composability for Software Components: An Approach Based on the Whole-Part Theory. 101-106
  
• Dae-Kyoo Kim, Robert B. France, Sudipto Ghosh, Eunjee Song:
  Using Role-Based Modeling Language (RBML) to Characterize Model Families. 107-116
  
• Geri Georg, Indrakshi Ray, Robert B. France:
  Using Aspects to Design a Secure System. 117-
  

Keynote Address 3

• Victor R. Basili, Mikael Lindvall, Forrest Shull:
  A Light-Weight Process for Capturing and Evolving Defect Reduction Experience. 129-
  

Testing

• Vincenzo Martena, Alessandro Orso, Mauro Pezzè:
  Interclass Testing of Object Oriented Software. 135-144
  
• Branson W. Murrill, Larry J. Morell, Erika Olimpiew:
  A Perturbation-based Testing Strategy. 145-152
  
• Ling Liu, Huaikou Miao, Xuede Zhan:
  A Framework for Specification-Based Class Testing. 153-162
  
• Mark R. Blackburn, Robert Busser, Aaron Nauman, Robert Knickerbocker, Richard Kasuda:
  Mars Polar Lander Fault Identification Using Model-based Testing. 163-
  

Analysis

• Lisa K. Ferrett, Jeff Offutt:
  An Empirical Comparison of Modularity of Procedural and Object-oriented Software. 173-182
  
• Jane Huffman Hayes, Pifu Zhang:
  Fault Detection Effectiveness of Spathic Test Data. 183-192
  
• Roger T. Alexander, Jeff Offutt, James M. Bieman:
  Syntactic Fault Patterns in OO Programs. 193-202
  
• Vieri Del Bianco, Luigi Lavazza, Marco Mauri:
  Model Checking UML Specifications of Real Time Software. 203-
  

Software Evolution and Product Line

• Aldo Dagnino:
  An Evolutionary Lifecycle Model with Agile Practices for Software Development at ABB. 215-223
  
• Timo Aaltonen, Tommi Mikkonen:
  Managing Software Evolution with a Formalized Abstraction Hierarchy. 224-231
  
• Leesa Murray, Alena Griffiths, Paul A. Strooper:
  OptoNet - A Case Study in Using Rigorous Analysis Techniques to Justify a Revised Product Assurance Strategy. 232-237
  
• Hassan Gomaa, Michael E. Shin:
  Multiple-View Meta-Modeling of Software Product Lines. 238-246