Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID8th 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
a service of 
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.
last updated on 2024-04-18 20:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
