![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
8th ICECCS 2002: Greenbelt, MD, USA
- 8th International Conference on Engineering of Complex Computer Systems (ICECCS 2002), 2-4 December 2002, Greenbelt, MD, USA. IEEE Computer Society 2002, ISBN 0-7695-1757-9
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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.