1. Home
  2. Proceedings
  3. SEW
  4. SEW 2003
Default Cover Image

28th Annual NASA Goddard Software Engineering Workshop, 2003. Proceedings.

Dec. 3 2003 to Dec. 4 2003

Greenbelt, Maryland

ISBN: 0-7695-2064-2

Table of Contents

Program CommitteeFreely available from IEEE.pp. viii
Additional ReviewersFreely available from IEEE.pp. ix
Processes and Inspections
Decision Support for Using Software InspectionsFull-text access may be available. Sign in or learn about subscription options.pp. 3
by Ioana Rus, Forrest Shull, Paolo Donzelli
Processes and Inspections
Establishing a Generic and Multidimensional Measurement Repository in CMMI contextFull-text access may be available. Sign in or learn about subscription options.pp. 12
by Edgardo Palza, Christopher Fuhrman, Alain Abran
Requirements Issues
A Metrics Based Approach for Identifying Requirements RisksFull-text access may be available. Sign in or learn about subscription options.pp. 23
by Valerie Wyatt, Justin DiStefano, Mike Chapman, Edward Aycoth
Requirements Issues
RGML: A Markup Language for Characterizing Requirements Generation ProcessesFull-text access may be available. Sign in or learn about subscription options.pp. 29
by Ahmed Samy Sidky, James D. Arthur
Agents and Run-Time Issues
A Component-Based Model for Building Reliable Multi-Agent SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 41
by Aluizio Haendchen Filho, Arndt von Staa, Carlos Lucena
Agents and Run-Time Issues
Formal Approaches to Intelligent SwarmsFull-text access may be available. Sign in or learn about subscription options.pp. 51
by Christopher Rouff, Walt Truszkowski, James Rash, Mike Hinchey
Agents and Run-Time Issues
On the Run-time Verification of Autonomy SoftwareFull-text access may be available. Sign in or learn about subscription options.pp. 58
by Ashish Tiwari, Purnendu Sinha, Umabharathi Ramachandran
Agents and Run-Time Issues
Instrumentation of Intermediate Code for Runtime VerificationFull-text access may be available. Sign in or learn about subscription options.pp. 66
by Ann Quiroz Gates, Oscar Mondragon, Mary Payne, Steve Roach
Modeling, Model-Checking, and Simulation
On the Advantages of Approximate vs. Complete Verification: Bigger Models, Faster, Less Memory, Usually AccurateFull-text access may be available. Sign in or learn about subscription options.pp. 75
by David Owen, Tim Menzies, Mats Heimdahl, Jimin Gao
Modeling, Model-Checking, and Simulation
Model-Based Software Testing via Incremental Treatment LearningFull-text access may be available. Sign in or learn about subscription options.pp. 82
by Dustin Geletko, Tim Menzies
Modeling, Model-Checking, and Simulation
Generating MC/DC Adequate Test Sequences Through Model CheckingFull-text access may be available. Sign in or learn about subscription options.pp. 91
by Sanjai Rayadurgam, Mats P. E. Heimdahl
Author indexFreely available from IEEE.pp. 229-229
Modeling, Model-Checking, and Simulation
Assessing IV&V Benefits Using SimulationFull-text access may be available. Sign in or learn about subscription options.pp. 97
by David M. Raffo, Wayne Wakeland
Real-Time and Safety-Critical Systems
Design Tool Assessment for Safety-Critical Software DevelopmentFull-text access may be available. Sign in or learn about subscription options.pp. 105
by Andrew J. Kornecki, Janusz Zalewski
Real-Time and Safety-Critical Systems
Adopting a Software Component Model in Real-Time Systems DevelopmentFull-text access may be available. Sign in or learn about subscription options.pp. 114
by Frank L?
Real-Time and Safety-Critical Systems
Software Dynamics: A New Measure of Performance for Real-Time SoftwareFull-text access may be available. Sign in or learn about subscription options.pp. 120
by Janusz Zalewski
Real-Time and Safety-Critical Systems
Applying Run-Time Monitoring to the Deep-Impact Fault Protection EngineFull-text access may be available. Sign in or learn about subscription options.pp. 127
by Doron Drusinsky, Garth Watney
Architecture, Impact Analysis, and Software Sensitivity
Diagnosing architectural degenerationFull-text access may be available. Sign in or learn about subscription options.pp. 137
by Lorin Hochstein, Mikael Lindvall
Architecture, Impact Analysis, and Software Sensitivity
Software Impact Analysis in a Virtual EnvironmentFull-text access may be available. Sign in or learn about subscription options.pp. 143
by Shawn A. Bohner, Denis Gracanin
Architecture, Impact Analysis, and Software Sensitivity
Tailorable Architecture MethodsFull-text access may be available. Sign in or learn about subscription options.pp. 152
by Rick Kazman, Mark Klein, Robert L. Nord
Architecture, Impact Analysis, and Software Sensitivity
Sensitivity of Software Usage to Changes in the Operational ProfileFull-text access may be available. Sign in or learn about subscription options.pp. 157
by Sunil Kamavaram, Katerina Goseva-Popstojanova
Faults and Failures
Modelling and Analysing Fault Propagation in Safety-Related SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 167
by Frantz Iwu, Ian Toyn
Faults and Failures
Optimal Software Release Time Incorporating Fault CorrectionFull-text access may be available. Sign in or learn about subscription options.pp. 175
by Swapna S. Gokhale
Faults and Failures
Applying Fault Correction ProfilesFull-text access may be available. Sign in or learn about subscription options.pp. 185
by Norman F. Schneidewind
Faults and Failures
A Stress-Point Resolution System Based on Module SignaturesFull-text access may be available. Sign in or learn about subscription options.pp. 193
by Dolores Zage, Wayne Zage
GUIs and Security
Addressing Software Security and Mitigations in the Life CycleFull-text access may be available. Sign in or learn about subscription options.pp. 201
by David Gilliam, John Powell, Eric Haugh, Matt Bishop
Verification and Validation
Validation of Object Oriented Software Design With Fault Tree AnalysisFull-text access may be available. Sign in or learn about subscription options.pp. 209
by Massood Towhidnejad, Dolores R. Wallace, Albert M. Gallo, Jr.
Verification and Validation
Software Verification and Validation within the (Rational) Unified ProcessFull-text access may be available. Sign in or learn about subscription options.pp. 216
by Christopher Fuhrman, Fatime Djlive, Edgardo Palza
Verification and Validation
Maintaining Verification Test Consistency Between Executable Specifications and Embedded Software in a Virtual System Integration Laboratory EnvironmentFull-text access may be available. Sign in or learn about subscription options.pp. 221
by Ted Bennett, Paul Wennberg
Verification and Validation
Author IndexFreely available from IEEE.pp. 229
Showing 32 out of 32