Abstract is missing.
- Decision Support for Using Software InspectionsIoana Rus, Forrest Shull, Paolo Donzelli. 3 [doi]
- Establishing a Generic and Multidimensional Measurement Repository in CMMI contextEdgardo Palza, Christopher P. Fuhrman, Alain Abran. 12 [doi]
- A Metrics Based Approach for Identifying Requirements RisksValerie Wyatt, Justin S. Di Stefano, Mike Chapman, Edward Aycoth. 23 [doi]
- RGML: A Markup Language for Characterizing Requirements Generation ProcessesAhmed Samy Sidky, James D. Arthur. 29 [doi]
- A Component-Based Model for Building Reliable Multi-Agent SystemsAluízio Haendchen Filho, Arndt von Staa, Carlos José Pereira de Lucena. 41 [doi]
- Formal Approaches to Intelligent SwarmsChristopher Rouff, Walter Truszkowski, James L. Rash, Michael G. Hinchey. 51 [doi]
- On the Run-time Verification of Autonomy SoftwareAshish Tiwari, Purnendu Sinha, Umabharathi Ramachandran. 58 [doi]
- Instrumentation of Intermediate Code for Runtime VerificationAnn Q. Gates, Oscar Mondragon, Mary Payne, Steve Roach. 66 [doi]
- On the Advantages of Approximate vs. Complete Verification: Bigger Models, Faster, Less Memory, Usually AccurateDavid Owen, Tim Menzies, Mats Per Erik Heimdahl, Jimin Gao. 75 [doi]
- Model-Based Software Testing via Incremental Treatment LearningDustin Geletko, Tim Menzies. 82 [doi]
- Generating MC/DC Adequate Test Sequences Through Model CheckingSanjai Rayadurgam, Mats Per Erik Heimdahl. 91 [doi]
- Assessing IV&V Benefits Using SimulationDavid M. Raffo, Wayne W. Wakeland. 97 [doi]
- Design Tool Assessment for Safety-Critical Software DevelopmentAndrew J. Kornecki, Janusz Zalewski. 105 [doi]
- Adopting a Software Component Model in Real-Time Systems DevelopmentFrank Lüders. 114 [doi]
- Software Dynamics: A New Measure of Performance for Real-Time SoftwareJanusz Zalewski. 120 [doi]
- Applying Run-Time Monitoring to the Deep-Impact Fault Protection EngineDoron Drusinsky, Garth Watney. 127 [doi]
- Diagnosing architectural degenerationLorin Hochstein, Mikael Lindvall. 137 [doi]
- Software Impact Analysis in a Virtual EnvironmentShawn A. Bohner, Denis Gracanin. 143 [doi]
- Tailorable Architecture MethodsRick Kazman, Mark Klein, Robert L. Nord. 152 [doi]
- Sensitivity of Software Usage to Changes in the Operational ProfileSunil Kamavaram, Katerina Goseva-Popstojanova. 157 [doi]
- Modelling and Analysing Fault Propagation in Safety-Related SystemsFrantz Iwu, Ian Toyn. 167 [doi]
- Optimal Software Release Time Incorporating Fault CorrectionSwapna S. Gokhale. 175 [doi]
- Applying Fault Correction ProfilesNorman F. Schneidewind. 185 [doi]
- A Stress-Point Resolution System Based on Module SignaturesDolores Zage, Wayne Zage. 193 [doi]
- Addressing Software Security and Mitigations in the Life CycleDavid P. Gilliam, John D. Powell, Eric Haugh, Matt Bishop. 201 [doi]
- Validation of Object Oriented Software Design With Fault Tree AnalysisMassood Towhidnejad, Dolores R. Wallace, Albert M. Gallo. 209 [doi]
- Software Verification and Validation within the (Rational) Unified ProcessChristopher P. Fuhrman, Fatime Djlive, Edgardo Palza. 216 [doi]
- Maintaining Verification Test Consistency Between Executable Specifications and Embedded Software in a Virtual System Integration Laboratory EnvironmentTed Bennett, Paul Wennberg. 221 [doi]