Abstract is missing.
- Complexity Is the Enemy of Dependability - Can Diversity Provide a Defense?Bev Littlewood. 3 [doi]
- Validating Run-time Interactions in Distributed Java ApplicationsSudipto Ghosh, Nishant Bawa, Sameer Goel, Raghu Reddy. 7-16 [doi]
- Reasoning about Asynchronous Behaviour in Distributed SystemsPeter Henderson. 17-24 [doi]
- A Framework for Performability Modeling of Messaging Services in Distributed SystemsSrinivasan Ramani, Katerina Goseva-Popstojanova, Kishor S. Trivedi. 25-34 [doi]
- Efficient Reachability Testing of Asynchronous Message-Passing ProgramsYu Lei, Kuo-Chung Tai. 35 [doi]
- Integrating CSP and DCJifeng He. 47 [doi]
- Capturing Complete and Accurate Requirements by RefinemenShaoying Liu. 57-67 [doi]
- Mechanization of a Proof of String-Preprocessing in Boyer-Moore s Pattern Matching AlgorithmMilos Besta, Frank A. Stomp. 68-77 [doi]
- Execution of TILCO Temporal Logic SpecificationsPierfrancesco Bellini, Andrea Giotti, Paolo Nesi. 78 [doi]
- Mnemosyne: Designing and Implementing Network Short-Term MemoryGiovanni Vigna, Andrew Mitchel. 91-100 [doi]
- Composability for Software Components: An Approach Based on the Whole-Part TheoryFranck Barbier. 101-106 [doi]
- Using Role-Based Modeling Language (RBML) to Characterize Model FamiliesDae-Kyoo Kim, Robert B. France, Sudipto Ghosh, Eunjee Song. 107-116 [doi]
- Using Aspects to Design a Secure SystemGeri Georg, Indrakshi Ray, Robert B. France. 117 [doi]
- A Light-Weight Process for Capturing and Evolving Defect Reduction ExperienceVictor R. Basili, Mikael Lindvall, Forrest Shull. 129 [doi]
- Interclass Testing of Object Oriented SoftwareVincenzo Martena, Alessandro Orso, Mauro Pezzè. 135-144 [doi]
- A Perturbation-based Testing StrategyBranson W. Murrill, Larry J. Morell, Erika Olimpiew. 145-152 [doi]
- A Framework for Specification-Based Class TestingLing Liu, Huaikou Miao, Xuede Zhan. 153-162 [doi]
- Mars Polar Lander Fault Identification Using Model-based TestingMark R. Blackburn, Robert Busser, Aaron Nauman, Robert Knickerbocker, Richard Kasuda. 163 [doi]
- An Empirical Comparison of Modularity of Procedural and Object-oriented SoftwareLisa K. Ferrett, Jeff Offutt. 173-182 [doi]
- Fault Detection Effectiveness of Spathic Test DataJane Huffman Hayes, Pifu Zhang. 183-192 [doi]
- Syntactic Fault Patterns in OO ProgramsRoger T. Alexander, Jeff Offutt, James M. Bieman. 193-202 [doi]
- Model Checking UML Specifications of Real Time SoftwareVieri Del Bianco, Luigi Lavazza, Marco Mauri. 203 [doi]
- An Evolutionary Lifecycle Model with Agile Practices for Software Development at ABBAldo Dagnino. 215-223 [doi]
- Managing Software Evolution with a Formalized Abstraction HierarchyTimo Aaltonen, Tommi Mikkonen. 224-231 [doi]
- OptoNet - A Case Study in Using Rigorous Analysis Techniques to Justify a Revised Product Assurance StrategyLeesa Murray, Alena Griffiths, Paul A. Strooper. 232-237 [doi]
- Multiple-View Meta-Modeling of Software Product LinesHassan Gomaa, Michael E. Shin. 238-246 [doi]