28. SEW 2003: Greenbelt, Maryland, USA

28th Annual IEEE / NASA Software Engineering Workshop (SEW-28 2003), 3-4 December 2003, Greenbelt, Maryland, USA. IEEE Computer Society 2004, ISBN 0-7695-2064-2 BibTeX

Processes and Inspections

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

Requirements Issues

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

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
Electronic Edition (link) BibTeX
Christopher Rouff, Walter Truszkowski, James L. Rash, Michael G. Hinchey:
Formal Approaches to Intelligent Swarms. 51
Electronic Edition (link) BibTeX
Ashish Tiwari, Purnendu Sinha, Umabharathi Ramachandran:
On the Run-time Verification of Autonomy Software. 58
Electronic Edition (link) BibTeX
Ann Q. Gates, Oscar Mondragon, Mary Payne, Steve Roach:
Instrumentation of Intermediate Code for Runtime Verification. 66
Electronic Edition (link) BibTeX

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
Electronic Edition (link) BibTeX
Dustin Geletko, Tim Menzies:
Model-Based Software Testing via Incremental Treatment Learning. 82
Electronic Edition (link) BibTeX
Sanjai Rayadurgam, Mats Per Erik Heimdahl:
Generating MC/DC Adequate Test Sequences Through Model Checking. 91
Electronic Edition (link) BibTeX
David M. Raffo, Wayne W. Wakeland:
Assessing IV&V Benefits Using Simulation. 97
Electronic Edition (link) BibTeX

Real-Time and Safety-Critical Systems

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

Architecture, Impact Analysis, and Software Sensitivity

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

Faults and Failures

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

GUIs and Security

David P. Gilliam, John D. Powell, Eric Haugh, Matt Bishop:
Addressing Software Security and Mitigations in the Life Cycle. 201
Electronic Edition (link) BibTeX

Verification and Validation

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