CSDL - Proceedings S

Opening Session

Opening Remarks (PDF)

Margaret Caulfield, NASA Goddard Space Flight Center

Mike Hinchey, NASA Goddard Space Flight Center

pp. 3

The NASA Software Engineering Initiative — Status at the End of the First Year (PDF)

John C. Kelly, NASA Headquarters

pp. 4

Goddard?s Software Process Improvement Project: First Year Using CMMI (PDF)

Sally Godfrey, NASA Goddard Space Flight Center

James Andary, NASA Goddard Space Flight Center

pp. 5

Analysis

Report on Results of Discriminant Analysis Experiment (Abstract)

Norman F. Schneidewind, Naval Postgraduate School

pp. 9

PDF

Proactive Detection of Software Aging Mechanisms in Performance Critical Computers (Abstract)

Kenny C. Gross, Sun Microsystems

Vatsal Bhardwaj, Duke University

Randy Bickford, Expert Microsystems

pp. 17

PDF

Fault Tree Analysis for Software Design (Abstract)

Massood Towhidnejad, Embry-Riddle University

Dolores R. Wallace, NASA Goddard Space Flight Center

Albert M. Gallo, NASA Goddard Space Flight Center

pp. 24

PDF

Paradigms

Guerrilla Tactics: Motivating Design Patterns for High-Dependability Applications (Abstract)

Michelle McElvany Hugue, University of Maryland

James Purtilo, University of Maryland

pp. 33

PDF

Towards Autonomic Computing: Effective Event Management (Abstract)

Roy Sterritt, University of Ulster

pp. 40

PDF

Metrics

Metrics That Matter (Abstract)

Tim Menzies, West Virginia University

Justin S. Di Stefano, West Virginia University

Mike Chapman, West Virginia University

Ken McGill, West Virginia University

pp. 51

PDF

An Empirical Study of Modifying the Fagan Inspection Process and the Resulting Main Effects and Interaction Effects Among Defects Found, Effort Required, Rate of Preparation and Inspection, Number of Team Members and Product 1 (Abstract)

Nancy S. Eickelmann, Motorola Labs

Francesca Ruffolo, Motorola Labs

Jongmoon Baik, Motorola Labs

Animesh Anant, Motorola Labs

pp. 58

PDF

Formality and Reliability

Composite Propositions:Toward Support for Formal Specification of System Properties (Abstract)

Oscar A. Mondragon, University of Texas at El Paso

Ann Q. Gates, University of Texas at El Paso

Steven M. Roach, University of Texas at El Paso

pp. 67

PDF

A Rigorous Approach to Reviewing Formal Specifications (Abstract)

Shaoying Liu, Hosei University

pp. 75

PDF

Software Reliability Corroboration (Abstract)

Carol Smidts, University of Maryland at College Park

Bojan Cukic, West Virginia University

Erdogan Gunel, West Virginia University

Ming Li, University of Maryland at College Park

Harshinder Singh, West Virginia University

pp. 82

PDF

Testing

An Investigation of the Applicability of Design of Experiments to Software Testing (Abstract)

D. Richard Kuhn, National Institute of Standards and Technology

Michael J. Reilly, National Institute of Standards and Technology

pp. 91

PDF

An On-Line Test Platform for Component-Based Systems (Abstract)

Peter H. Deussen, Fraunhofer Research Institute for Open Communication Systems

George Din, Fraunhofer Research Institute for Open Communication Systems

Ina Schieferdecker, Fraunhofer Research Institute for Open Communication Systems

pp. 96

PDF

Requirements

Descoping (Abstract)

Martin S. Feather, California Institute of Technology

Steven L. Cornford, California Institute of Technology

Kenneth A. Hicks, California Institute of Technology

pp. 107

PDF

Requirements Engineering in Science Data Processing Systems (Abstract)

Jeanne Behnke, NASA Goddard Space Flight Center

James B. Byrnes, NASA Goddard Space Flight Center

pp. 114

PDF

Software Requirements Practices: Some Real Data (Abstract)

Phillip A. Laplante, Penn State University

Colin J. Neill, Penn State University

Craig Jacobs, Pennsylvania Institute of Technology

pp. 121

PDF

Lessons Learned

Packaging and Disseminating Lessons Learned from COTS-Based Software Development (Abstract)

Ioana Rus, Fraunhofer Center Maryland

Mikael Lindvall, Fraunhofer Center Maryland

Carolyn Seaman, University of Maryland Baltimore County and Fraunhofer Center Maryland

Victor Basili, University of Maryland College Park and Fraunhofer Center Maryland

pp. 131

PDF

A Software Engineering Lessons Learned Repository (Abstract)

Warren Harrison, Portland State University

pp. 139

PDF

Applications

Distributed Simulation Communication through an Active Real-Time Database (Abstract)

Marcus Brohede, University of Skövde

Sten F. Andler, University of Skövde

pp. 147

PDF

Eyekon: Augmented Reality for Battlefield Soldiers (Abstract)

Jeffrey D. Hicks, University of Nebraska and 21 st Century Systems, Inc.

Richard A. Flanagan, 21 st Century Systems, Inc.

Plamen V. Petrov, 21 st Century Systems, Inc.

Alexander D. Stoyen, 21 st Century Systems, Inc.

pp. 156

PDF

Progressive Autonomy: A Method for Gradually Introducing Autonomy into Space Missions (Abstract)

Walt Truszkowski, NASA Goddard Space Flight Center

Christopher Rouff, SAIC

pp. 164

PDF

Architecture Issues

Extending Software Change Impact Analysis into COTS Components (PDF)

Shawn A. Bohner, Virginia Tech

pp. 175

Elemental Design Patterns: A Formal Semantics for Composition of OO Software Architecture (Abstract)

Jason McC. Smith, University of North Carolina at Chapel Hill

David Stotts, University of North Carolina at Chapel Hill

pp. 183

PDF

A Process for Software Architecture Evaluation Using Metrics (Abstract)

Roseanne Tesoriero Tvedt, Fraunhofer Center Maryland for Experimental Software Engineering and Washington College

Mikael Lindvall, Fraunhofer Center Maryland for Experimental Software Engineering

Patricia Costa, Fraunhofer Center Maryland for Experimental Software Engineering

pp. 191

PDF

Tools and Run-Time Support

Towards a User-Friendly Design and Verification Environment (Abstract)

Antonio Cerone, University of Queensland

pp. 199

PDF

A Simple Multi-Tasking Simulator (Abstract)

Adriaan de Beer, University of Queensland

Colin Fidge, University of Queensland

pp. 209

PDF

Author Index

Author Index (PDF)

pp. 217