1. Home
  2. Proceedings
  3. ICECCS
  4. ICECCS 2002
Default Cover Image

Proceedings Eighth IEEE International Conference on Engineering of Complex Computer Systems

Dec. 2 2002 to Dec. 4 2002

Greenbelt, MD, USA

Table of Contents

Proceedings Eighth IEEE International Conference on Engineering of Complex Computer SystemsFreely available from IEEE.
Complexity is the enemy of dependability - can diversity provide a defence?Full-text access may be available. Sign in or learn about subscription options.pp. 3-3
by B. Littlewood
Chair's MessageFreely available from IEEE.pp. viii
Organizing CommitteeFreely available from IEEE.pp. x
Session 1: Distributed Systems
Validating Run-time Interactions in Distributed Java ApplicationsFull-text access may be available. Sign in or learn about subscription options.pp. 7
by Sudipto Ghosh, Nishant Bawa, Sameer Goel, Y. Raghu Reddy
Session 1: Distributed Systems
Reasoning about Asynchronous Behaviour in Distributed SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 17
by Peter Henderson
Session 1: Distributed Systems
A Framework for Performability Modeling of Messaging Services in Distributed SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 25
by Srinivasan Ramani, Katerina Goseva-Popstojanova, Kishor S. Trivedi
Session 1: Distributed Systems
Efficient Reachability Testing of Asynchronous Message-Passing ProgramsFull-text access may be available. Sign in or learn about subscription options.pp. 35
by Yu Lei, Kuo-Chung Tai
Keynote Address 2
Integrating CSP and DCFull-text access may be available. Sign in or learn about subscription options.pp. 47
by Jifeng He
Session 2: Formal Approaches
Capturing Complete and Accurate Requirements by RefinementFull-text access may be available. Sign in or learn about subscription options.pp. 57
by Shaoying Lin
Session 2: Formal Approaches
Mechanization of a Proof of String-Preprocessing in Boyer-Moore?s Pattern Matching AlgorithmFull-text access may be available. Sign in or learn about subscription options.pp. 68
by Miloslav Besta, Frank Stomp
Session 2: Formal Approaches
Execution of TILCO Temporal Logic SpecificationsFull-text access may be available. Sign in or learn about subscription options.pp. 78
by Pierfrancesco Bellini, Andrea Giotti, Paolo Nesi
Session 3: Design and Modeling
Mnemosyne: Designing and Implementing Network Short-Term MemoryFull-text access may be available. Sign in or learn about subscription options.pp. 91
by Giovanni Vigna, Andrew Mitchell
Session 3: Design and Modeling
Composability for Software Components: An Approach Based on the Whole-Part TheoryFull-text access may be available. Sign in or learn about subscription options.pp. 101
by Franck Barbier
Session 3: Design and Modeling
Using Role-Based Modeling Language (RBML) to Characterize Model FamiliesFull-text access may be available. Sign in or learn about subscription options.pp. 107
by Dae-Kyoo Kim, Robert France, Sudipto Ghosh, Eunjee Song
Session 3: Design and Modeling
Using Aspects to Design a Secure SystemFull-text access may be available. Sign in or learn about subscription options.pp. 117
by Geri Georg, Indrakshi Ray, Robert France
Keynote Address 3
A Light-Weight Process for Capturing and Evolving Defect Reduction ExperienceFull-text access may be available. Sign in or learn about subscription options.pp. 129
by Victor R. Basili, Mikael Lindvall, Forrest Shull
Session 4: Testing
Interclass Testing of Object Oriented SoftwareFull-text access may be available. Sign in or learn about subscription options.pp. 135
by Vincenzo Martena, Alessandro Orso, Mauro Pezzé
Session 4: Testing
A Perturbation-based Testing StrategyFull-text access may be available. Sign in or learn about subscription options.pp. 145
by Branson Murrill, Larry Morell, Erika Olimpiew
Session 4: Testing
A Framework for Specification-Based Class TestingFull-text access may be available. Sign in or learn about subscription options.pp. 153
by Ling Liu, Huaikou Miao, Xuede Zhan
Session 4: Testing
Mars Polar Lander Fault Identification Using Model-based TestingFull-text access may be available. Sign in or learn about subscription options.pp. 163
by Mark Blackburn, Robert Busser, Aaron Nauman, Robert Knickerbocker, Richard Kasuda
Session 5: Analysis
An Empirical Comparison of Modularity of Procedural and Object-oriented SoftwareFull-text access may be available. Sign in or learn about subscription options.pp. 173
by Lisa K. Ferrett, Jeff Offutt
Session 5: Analysis
Fault Detection Effectiveness of Spathic Test DataFull-text access may be available. Sign in or learn about subscription options.pp. 183
by Jane Huffman Hayes, Pifu Zhang
Session 5: Analysis
Syntactic Fault Patterns in OO ProgramsFull-text access may be available. Sign in or learn about subscription options.pp. 193
by Roger T. Alexander, Jeff Offutt, James M. Bieman
Session 5: Analysis
Model Checking UML Specifications of Real Time SoftwareFull-text access may be available. Sign in or learn about subscription options.pp. 203
by Vieri Del Bianco, Luigi Lavazza, Marco Mauri
Session 6: Software Evolution and Product Line
An Evolutionary Lifecycle Model with Agile Practices for Software Development at ABBFull-text access may be available. Sign in or learn about subscription options.pp. 215
by Aldo Dagnino
Session 6: Software Evolution and Product Line
Managing Software Evolution with a Formalized Abstraction HierarchyFull-text access may be available. Sign in or learn about subscription options.pp. 224
by Timo Aaltonen, Tommi Mikkonen
Session 6: Software Evolution and Product Line
OptoNet - A Case Study in Using Rigorous Analysis Techniques to Justify a Revised Product Assurance StrategyFull-text access may be available. Sign in or learn about subscription options.pp. 232
by Leesa Murray, Alena Griffiths, Paul Strooper
Session 6: Software Evolution and Product Line
Multiple-View Meta-Modeling of Software Product LinesFull-text access may be available. Sign in or learn about subscription options.pp. 238
by Hassan Gomaa, Michael Eonsuk Shin
Session 6: Software Evolution and Product Line
Author IndexFreely available from IEEE.pp. 247
Showing 30 out of 30