The Community for Technology Leaders
28th Annual NASA Goddard Software Engineering Workshop, 2003. Proceedings. (2003)
Greenbelt, Maryland
Dec. 3, 2003 to Dec. 4, 2003
ISBN: 0-7695-2064-2
TABLE OF CONTENTS

Program Committee (PDF)

pp. viii
Processes and Inspections

Decision Support for Using Software Inspections (Abstract)

Ioana Rus , Fraunhofer Center, Maryland
Forrest Shull , Fraunhofer Center, Maryland
Paolo Donzelli , University of Maryland
pp. 3

Establishing a Generic and Multidimensional Measurement Repository in CMMI context (Abstract)

Edgardo Palza , ?cole de Technologie Sup?rieure - ETS, Qu?bec, Canada
Christopher Fuhrman , ?cole de Technologie Sup?rieure - ETS, Qu?bec, Canada
Alain Abran , ?cole de Technologie Sup?rieure - ETS, Qu?bec, Canada
pp. 12
Requirements Issues

A Metrics Based Approach for Identifying Requirements Risks (Abstract)

Valerie Wyatt , NASA IV&V Facility, Fairmont, WV
Justin DiStefano , NASA IV&V Facility, Fairmont, WV
Mike Chapman , NASA IV&V Facility, Fairmont, WV
Edward Aycoth , NASA IV&V Facility, Fairmont, WV
pp. 23
Agents and Run-Time Issues

A Component-Based Model for Building Reliable Multi-Agent Systems (Abstract)

Aluizio Haendchen Filho , Pontifical Catholic University of Rio de Janeiro - PUC-Rio, Brasil
Arndt von Staa , Pontifical Catholic University of Rio de Janeiro - PUC-Rio, Brasil
Carlos Lucena , Pontifical Catholic University of Rio de Janeiro - PUC-Rio, Brasil
pp. 41

On the Run-time Verification of Autonomy Software (Abstract)

Ashish Tiwari , Concordia University, Montr?al, Canada
Purnendu Sinha , Concordia University, Montr?al, Canada
Umabharathi Ramachandran , Concordia University, Montr?al, Canada
pp. 58

Instrumentation of Intermediate Code for Runtime Verification (Abstract)

Ann Quiroz Gates , The University of Texas at El Paso
Oscar Mondragon , The University of Texas at El Paso
Mary Payne , The University of Texas at El Paso
Steve Roach , The University of Texas at El Paso
pp. 66
Modeling, Model-Checking, and Simulation

On the Advantages of Approximate vs. Complete Verification: Bigger Models, Faster, Less Memory, Usually Accurate (Abstract)

David Owen , West Virginia University, Morgantown
Tim Menzies , West Virginia University, Morgantown
Mats Heimdahl , University of Minnesota, Minneapolis
Jimin Gao , University of Minnesota, Minneapolis
pp. 75

Model-Based Software Testing via Incremental Treatment Learning (Abstract)

Dustin Geletko , West Virginia University
Tim Menzies , West Virginia University
pp. 82

Generating MC/DC Adequate Test Sequences Through Model Checking (Abstract)

Sanjai Rayadurgam , University of Minnesota, Minneapolis
Mats P. E. Heimdahl , University of Minnesota, Minneapolis
pp. 91

Assessing IV&V Benefits Using Simulation (Abstract)

David M. Raffo , Portland State University, Oregon
Wayne Wakeland , Portland State University, Oregon
pp. 97
Real-Time and Safety-Critical Systems

Design Tool Assessment for Safety-Critical Software Development (Abstract)

Andrew J. Kornecki , Embry-Riddle Aero University, Daytona Beach, FL
Janusz Zalewski , Florida Gulf Coast University, Ft. Myers, FL
pp. 105

Adopting a Software Component Model in Real-Time Systems Development (Abstract)

Frank L? , ABB Automation Technologies, V?ster?s, Sweden
pp. 114

Software Dynamics: A New Measure of Performance for Real-Time Software (Abstract)

Janusz Zalewski , Florida Gulf Coast University, Ft. Myers, FL
pp. 120

Applying Run-Time Monitoring to the Deep-Impact Fault Protection Engine (Abstract)

Doron Drusinsky , Time Rover, Inc., Cupertino, CA
Garth Watney , NASA JPL, Pasadena, CA
pp. 127
Architecture, Impact Analysis, and Software Sensitivity

Diagnosing architectural degeneration (Abstract)

Lorin Hochstein , University of Maryland
Mikael Lindvall , Fraunhofer Center Maryland for Experimental Software Engineering
pp. 137

Software Impact Analysis in a Virtual Environment (PDF)

Shawn A. Bohner , Virginia Tech, Falls Church, VA
Denis Gracanin , Virginia Tech, Falls Church, VA
pp. 143

Tailorable Architecture Methods (Abstract)

Rick Kazman , Software Engineering Institute/CMU and ITM Dept., Pittsburgh, Pennsylvania
Mark Klein , Software Engineering Institute/CMU, Pittsburgh, Pennsylvania
Robert L. Nord , Software Engineering Institute/CMU, Pittsburgh, Pennsylvania
pp. 152

Sensitivity of Software Usage to Changes in the Operational Profile (Abstract)

Sunil Kamavaram , West Virginia University, Morgantown
Katerina Goseva-Popstojanova , West Virginia University, Morgantown
pp. 157
Faults and Failures

Modelling and Analysing Fault Propagation in Safety-Related Systems (Abstract)

Frantz Iwu , University of York, Heslington, York
Ian Toyn , University of York, Heslington, York
pp. 167

Optimal Software Release Time Incorporating Fault Correction (Abstract)

Swapna S. Gokhale , University of Connecticut, Storrs
pp. 175

Applying Fault Correction Profiles (Abstract)

Norman F. Schneidewind , Naval Postgraduate School
pp. 185

A Stress-Point Resolution System Based on Module Signatures (Abstract)

Dolores Zage , Ball State University, Muncie, IN
Wayne Zage , Ball State University, Muncie, IN
pp. 193
GUIs and Security

Addressing Software Security and Mitigations in the Life Cycle (Abstract)

David Gilliam , California Institute of Technology
John Powell , California Institute of Technology
Eric Haugh , University of California at Davis
Matt Bishop , University of California at Davis
pp. 201
Verification and Validation

Validation of Object Oriented Software Design With Fault Tree Analysis (Abstract)

Massood Towhidnejad , Embry-Riddle University, Daytona Beach, FL
Dolores R. Wallace , NASA - Goddard Space Flight Center
Albert M. Gallo, Jr. , NASA - Goddard Space Flight Center
pp. 209

Software Verification and Validation within the (Rational) Unified Process (Abstract)

Christopher Fuhrman , ?cole de technologie sup?rieure, Montreal, Canada
Fatime Djlive , ?cole de technologie sup?rieure, Montreal, Canada
Edgardo Palza , ?cole de technologie sup?rieure, Montreal, Canada
pp. 216

Author Index (PDF)

pp. 229
79 ms
(Ver 3.3 (11022016))