29. SEW 2005: Greenbelt, Maryland, USA

29th Annual IEEE / NASA Software Engineering Workshop (SEW-29 2005), 6-7 April 2005, Greenbelt, Maryland, USA. IEEE Computer Society 2006, ISBN 0-7695-2306-4 BibTeX

Software Release

Susan K. Donohue, Joanne Bechta Dugan, Charles L. Brown:
Is My Software "Good Enough" to Release? - A Probabilistic Assessment. 5-13
Electronic Edition (link) BibTeX
Moshood Omolade Saliu, Günther Ruhe:
Supporting Software Release Planning Decisions for Evolving Systems. 14-26
Electronic Edition (link) BibTeX

Development Issues

Pornpit Wongthongtham, Elizabeth Chang, C. Cheah, Tharam S. Dillon:
Software Engineering Sub-Ontology for Specific Software Development. 27-33
Electronic Edition (link) BibTeX
David Garlan, William K. Reinholtz, Bradley R. Schmerl, Nicholas D. Sherman, Tony Tseng:
Bridging the Gap between Systems Design. 34-46
Electronic Edition (link) BibTeX

Analysis and Evaluation

Swapna S. Gokhale, John R. Crigler, William H. Farr, Dolores R. Wallace:
System Availability Analysis Considering Hardware/Software Failure Severities. 47-56
Electronic Edition (link) BibTeX
Mariângela Vanzin, Marcelo Blois Ribeiro, Rafael Prikladnicki, Ilmari Ceccato, Dante Carlos Antunes:
Global Software Processes Definition in a Distributed Environment. 57-65
Electronic Edition (link) BibTeX
Thomas Panas, Rüdiger Lincke, Jonas Lundberg, Welf Löwe:
A Qualitative Evaluation of a Software Development and Re-Engineering Project. 66-75
Electronic Edition (link) BibTeX
Michael S. Moore, Jeremy C. Price, Ben Abbott, John Liebetreu, Richard Reinhart, Thomas Kacpura:
Modeling and Analysis of Space Based Transceivers. 76-88
Electronic Edition (link) BibTeX

Code and Programming

Mark E. M. Stewart:
Towards a Tool for Rigorous, Automated Code Comprehension Using Symbolic Execution and Semantic Analysis. 89-96
Electronic Edition (link) BibTeX
Markus Pizka:
Code Normal Forms. 97-108
Electronic Edition (link) BibTeX

Requirements Issues

Boby George, H. Lally Singh, Shawn A. Bohner, Denis Gracanin:
Requirements Capture for Cougaar Model-Driven Architecture System. 109-117
Electronic Edition (link) BibTeX
Lester O. Lobo, James D. Arthur:
An Objectives-Driven Process for Selecting Methods to Support Requirements Engineering Activities. 118-130
Electronic Edition (link) BibTeX

Risk and Safety

Norman F. Schneidewind:
Predicting Risk as a Function of Risk Factors. 131-141
Electronic Edition (link) BibTeX
Rattikorn Hewett, Remzi Seker:
A Risk Assessment Model of Embedded Software Systems. 142-149
Electronic Edition (link) BibTeX
Yangyang Yu, Barry W. Johnson:
The Quantitative Safety Assessment for Safety-Critical Software. 150-162
Electronic Edition (link) BibTeX

Architecture Issues

Rabih Bashroush, T. John Brown, Ivor T. A. Spence, Peter Kilpatrick:
ADLARS: An Architecture Description Language for Software Product Lines. 163-173
Electronic Edition (link) BibTeX
Jun Kong, Kang Zhang, Jing Dong, Guang-Lei Song:
A Generative Style-driven Framework for Software Architecture Design. 173-182
Electronic Edition (link) BibTeX
Mahmoud O. Elish, David C. Rine:
Indicators of Structural Stability of Object-Oriented Designs: A Case Study. 183-192
Electronic Edition (link) BibTeX

Real Time and Concurrency Issues

Andrew J. Kornecki, Janusz Zalewski:
Process-Based Experiment for Design Tool Assessment in Real-Time Safety-Critical Software Development. 193-200
Electronic Edition (link) BibTeX
R. E. Kurt Stirewalt, Reimer Behrends, Laura K. Dillon:
Safe and Reliable Use of Concurrency in Multi-Threaded Shared-Memory Systems. 201-210
Electronic Edition (link) BibTeX
Ugo Buy, Mihai Lehene, Houshang Darabi:
Latency-Based Supervisors for Enforcing Deadlines in Time Petri Nets. 211-218
Electronic Edition (link) BibTeX

Information and Reasoning Issues

Tiziana Margaria, Bernhard Steffen:
Second-Order Semantic Web. 219-227
Electronic Edition (link) BibTeX
Phillip A. Laplante, Colin J. Neill:
Uncertainty: A Meta-Property of Software. 228-233
Electronic Edition (link) BibTeX
Sten F. Andler, Lars Niklasson, Björn Olsson, Anne Persson, Leo J. de Vin, Benkt Wangler, Tom Ziemke, Tomas Planstedt:
Information Fusion from Databases, Sensors and Simulations: A Collaborative Research Program. 234-244
Electronic Edition (link) BibTeX

Formal Approaches

Phan C. Vinh, Jonathan P. Bowen:
A Provable Algorithm for Reconfiguration in Embedded Reconfigurable Computing. 245-252
Electronic Edition (link) BibTeX
Christopher A. Rouff, Michael G. Hinchey, James L. Rash, Walter Truszkowski:
Towards a Hybrid Formal Method for Swarm-Based Exploration Missions. 253-264
Electronic Edition (link) BibTeX

Defects and Analysis

Stefan Wagner:
Towards Software Quality Economics for Defect-Detection Techniques. 265-274
Electronic Edition (link) BibTeX
Bettina Anders, Jörg Fellmann, Mikael Lindvall, Ioana Rus:
Experimenting with Software Architecture Flexibility Using an Implementation of the Tactical Separation Assisted Flight Environment. 275-284
Electronic Edition (link) BibTeX

Verification Issues

Peter C. Mehlitz, John Penix:
Design for Verification with Dynamic Assertions. 285-292
Electronic Edition (link) BibTeX
Ganesh J. Pai, Joanne Bechta Dugan, Khalid Lateef:
Bayesian Networks applied to Software IV&V. 293-304
Electronic Edition (link) BibTeX

Testing and Validation

David Coppit, Jennifer M. Haddox-Schatz:
On the Use of Specification-Based Assertions as Test Oracles. 305-314
Electronic Edition (link) BibTeX
Paolo Donzelli, Daniel Hirschbach, Victor R. Basili:
Using Visualization to Understand Dependability: A Tool Support for Requirements Analysis. 315-324
Electronic Edition (link) BibTeX
Lisa M. Boden, Robert Busser, Mark R. Blackburn, Aaron Nauman:
Extending Simulink Models With Natural Relations To Improve Automated Model-Based Testing. 325-332
Electronic Edition (link) BibTeX