28. SEW 2003: Greenbelt, Maryland, USA

Processes and Inspections

• Ioana Rus, Forrest Shull, Paolo Donzelli:
  Decision Support for Using Software Inspections. 3
  
• Edgardo Palza, Christopher P. Fuhrman, Alain Abran:
  Establishing a Generic and Multidimensional Measurement Repository in CMMI context. 12
  

Requirements Issues

• Valerie Wyatt, Justin S. Di Stefano, Mike Chapman, Edward Aycoth:
  A Metrics Based Approach for Identifying Requirements Risks. 23
  
• Ahmed Samy Sidky, James D. Arthur:
  RGML: A Markup Language for Characterizing Requirements Generation Processes. 29
  

Agents and Run-Time Issues

• Aluízio Haendchen Filho, Arndt von Staa, Carlos José Pereira de Lucena:
  A Component-Based Model for Building Reliable Multi-Agent Systems. 41
  
• Christopher Rouff, Walter Truszkowski, James L. Rash, Michael G. Hinchey:
  Formal Approaches to Intelligent Swarms. 51
  
• Ashish Tiwari, Purnendu Sinha, Umabharathi Ramachandran:
  On the Run-time Verification of Autonomy Software. 58
  
• Ann Q. Gates, Oscar Mondragon, Mary Payne, Steve Roach:
  Instrumentation of Intermediate Code for Runtime Verification. 66
  

Modeling, Model-Checking, and Simulation

• David Owen, Tim Menzies, Mats Per Erik Heimdahl, Jimin Gao:
  On the Advantages of Approximate vs. Complete Verification: Bigger Models, Faster, Less Memory, Usually Accurate. 75
  
• Dustin Geletko, Tim Menzies:
  Model-Based Software Testing via Incremental Treatment Learning. 82
  
• Sanjai Rayadurgam, Mats Per Erik Heimdahl:
  Generating MC/DC Adequate Test Sequences Through Model Checking. 91
  
• David M. Raffo, Wayne W. Wakeland:
  Assessing IV&V Benefits Using Simulation. 97
  

Real-Time and Safety-Critical Systems

• Andrew J. Kornecki, Janusz Zalewski:
  Design Tool Assessment for Safety-Critical Software Development. 105
  
• Frank Lüders:
  Adopting a Software Component Model in Real-Time Systems Development. 114
  
• Janusz Zalewski:
  Software Dynamics: A New Measure of Performance for Real-Time Software. 120
  
• Doron Drusinsky, Garth Watney:
  Applying Run-Time Monitoring to the Deep-Impact Fault Protection Engine. 127
  

Architecture, Impact Analysis, and Software Sensitivity

• Lorin Hochstein, Mikael Lindvall:
  Diagnosing architectural degeneration. 137
  
• Shawn A. Bohner, Denis Gracanin:
  Software Impact Analysis in a Virtual Environment. 143
  
• Rick Kazman, Mark Klein, Robert L. Nord:
  Tailorable Architecture Methods. 152
  
• Sunil Kamavaram, Katerina Goseva-Popstojanova:
  Sensitivity of Software Usage to Changes in the Operational Profile. 157
  

Faults and Failures

• Frantz Iwu, Ian Toyn:
  Modelling and Analysing Fault Propagation in Safety-Related Systems. 167
  
• Swapna S. Gokhale:
  Optimal Software Release Time Incorporating Fault Correction. 175
  
• Norman F. Schneidewind:
  Applying Fault Correction Profiles. 185
  
• Dolores Zage, Wayne Zage:
  A Stress-Point Resolution System Based on Module Signatures. 193
  

GUIs and Security

• David P. Gilliam, John D. Powell, Eric Haugh, Matt Bishop:
  Addressing Software Security and Mitigations in the Life Cycle. 201
  

Verification and Validation

• Massood Towhidnejad, Dolores R. Wallace, Albert M. Gallo:
  Validation of Object Oriented Software Design With Fault Tree Analysis. 209
  
• Christopher P. Fuhrman, Fatime Djlive, Edgardo Palza:
  Software Verification and Validation within the (Rational) Unified Process. 216
  
• Ted Bennett, Paul Wennberg:
  Maintaining Verification Test Consistency Between Executable Specifications and Embedded Software in a Virtual System Integration Laboratory Environment. 221