| 2006 | 29th Annual IEEE / NASA Software Engineering Workshop (SEW-29 2005), 6-7 April 2005, Greenbelt, Maryland, USA |
| 2005 | A Generative Style-driven Framework for Software Architecture Design. Jun Kong, Kang Zhang, Jing Dong, Guang-Lei Song |
| 2005 | A Provable Algorithm for Reconfiguration in Embedded Reconfigurable Computing. Phan Cong Vinh, Jonathan P. Bowen |
| 2005 | A Qualitative Evaluation of a Software Development and Re-Engineering Project. Thomas Panas, Rüdiger Lincke, Jonas Lundberg, Welf Löwe |
| 2005 | A Risk Assessment Model of Embedded Software Systems. Rattikorn Hewett, Remzi Seker |
| 2005 | ADLARS: An Architecture Description Language for Software Product Lines. Rabih Bashroush, T. John Brown, Ivor T. A. Spence, Peter Kilpatrick |
| 2005 | An Objectives-Driven Process for Selecting Methods to Support Requirements Engineering Activities. Lester O. Lobo, James D. Arthur |
| 2005 | Bayesian Networks applied to Software IV&V. Ganesh J. Pai, Joanne Bechta Dugan, Khalid Lateef |
| 2005 | Bridging the Gap between Systems Design. David Garlan, William K. Reinholtz, Bradley R. Schmerl, Nicholas D. Sherman, Tony Tseng |
| 2005 | Code Normal Forms. Markus Pizka |
| 2005 | Design for Verification with Dynamic Assertions. Peter C. Mehlitz, John Penix |
| 2005 | Experimenting with Software Architecture Flexibility Using an Implementation of the Tactical Separation Assisted Flight Environment. Bettina Anders, Jörg Fellmann, Mikael Lindvall, Ioana Rus |
| 2005 | Extending Simulink Models With Natural Relations To Improve Automated Model-Based Testing. Lisa M. Boden, Robert Busser, Mark R. Blackburn, Aaron Nauman |
| 2005 | Global Software Processes Definition in a Distributed Environment. Mariângela Vanzin, Marcelo Blois Ribeiro, Rafael Prikladnicki, Ilmari Ceccato, Dante Carlos Antunes |
| 2005 | Indicators of Structural Stability of Object-Oriented Designs: A Case Study. Mahmoud O. Elish, David C. Rine |
| 2005 | Information Fusion from Databases, Sensors and Simulations: A Collaborative Research Program. Sten F. Andler, Lars Niklasson, Björn Olsson, Anne Persson, Leo J. De Vin, Benkt Wangler, Tom Ziemke, Tomas Planstedt |
| 2005 | Is My Software "Good Enough" to Release? - A Probabilistic Assessment. Susan K. Donohue, Joanne Bechta Dugan, Charles L. Brown |
| 2005 | Latency-Based Supervisors for Enforcing Deadlines in Time Petri Nets. Ugo A. Buy, Mihai Lehene, Houshang Darabi |
| 2005 | Modeling and Analysis of Space Based Transceivers. Michael S. Moore, Jeremy C. Price, Ben Abbott, John Liebetreu, Richard C. Reinhart, Thomas J. Kacpura |
| 2005 | On the Use of Specification-Based Assertions as Test Oracles. David Coppit, Jennifer M. Haddox-Schatz |
| 2005 | Predicting Risk as a Function of Risk Factors. Norman F. Schneidewind |
| 2005 | Process-Based Experiment for Design Tool Assessment in Real-Time Safety-Critical Software Development. Andrew J. Kornecki, Janusz Zalewski |
| 2005 | Requirements Capture for Cougaar Model-Driven Architecture System. Boby George, H. Lally Singh, Shawn A. Bohner, Denis Gracanin |
| 2005 | Safe and Reliable Use of Concurrency in Multi-Threaded Shared-Memory Systems. R. E. Kurt Stirewalt, Reimer Behrends, Laura K. Dillon |
| 2005 | Second-Order Semantic Web. Tiziana Margaria, Bernhard Steffen |
| 2005 | Software Engineering Sub-Ontology for Specific Software Development. Pornpit Wongthongtham, Elizabeth Chang, Chan Cheah, Tharam S. Dillon |
| 2005 | Supporting Software Release Planning Decisions for Evolving Systems. Moshood Omolade Saliu, Günther Ruhe |
| 2005 | System Availability Analysis Considering Hardware/Software Failure Severities. Swapna S. Gokhale, John R. Crigler, William H. Farr, Dolores R. Wallace |
| 2005 | The Quantitative Safety Assessment for Safety-Critical Software. Yangyang Yu, Barry W. Johnson |
| 2005 | Towards Software Quality Economics for Defect-Detection Techniques. Stefan Wagner |
| 2005 | Towards a Hybrid Formal Method for Swarm-Based Exploration Missions. Christopher A. Rouff, Michael G. Hinchey, James L. Rash, Walter Truszkowski |
| 2005 | Towards a Tool for Rigorous, Automated Code Comprehension Using Symbolic Execution and Semantic Analysis. Mark E. M. Stewart |
| 2005 | Uncertainty: A Meta-Property of Software. Phillip A. Laplante, Colin J. Neill |
| 2005 | Using Visualization to Understand Dependability: A Tool Support for Requirements Analysis. Paolo Donzelli, Daniel Hirschbach, Victor R. Basili |