| 2005 | Global Software Processes Definition in a Distributed Environment. | Maringela Vanzin, Marcelo Blois Ribeiro, Rafael Prikladnicki, Ilmari Ceccato, Dante Carlos Antunes |
| 2005 | Safe and Reliable Use of Concurrency in Multi-Threaded Shared-Memory Systems. | R. E. Kurt Stirewalt, Reimer Behrends, Laura K. Dillon |
| 2005 | Towards a Tool for Rigorous, Automated Code Comprehension Using Symbolic Execution and Semantic Analysis. | Mark E. M. Stewart |
| 2005 | Predicting Risk as a Function of Risk Factors. | Norman F. Schneidewind |
| 2005 | Supporting Software Release Planning Decisions for Evolving Systems. | Moshood Omolade Saliu, Gnther Ruhe |
| 2005 | Decision Support for Software Release Planning - Methods, Tools, and Practical Experience. | Gnther Ruhe, Moshood Omolade Saliu, Pankaj Bhawnani, Joseph Momoh, An Ngo-The |
| 2005 | Towards a Hybrid Formal Method for Swarm-Based Exploration Missions. | Christopher A. Rouff, Michael G. Hinchey, James L. Rash, Walter Truszkowski |
| 2005 | Code Normal Forms. | Markus Pizka |
| 2005 | Case Studies for Software Engineers. | Dewayne E. Perry, Susan Elliott Sim, Steve M. Easterbrook |
| 2005 | A Qualitative Evaluation of a Software Development and Re-Engineering Project. | Thomas Panas, Rdiger Lincke, Jonas Lundberg, Welf Lwe |
| 2005 | Bayesian Networks applied to Software IV&V. | Ganesh J. Pai, Joanne Bechta Dugan, Khalid Lateef |
| 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 | Design for Verification with Dynamic Assertions. | Peter C. Mehlitz, John Penix |
| 2005 | Second-Order Semantic Web. | Tiziana Margaria, Bernhard Steffen |
| 2005 | An Objectives-Driven Process for Selecting Methods to Support Requirements Engineering Activities. | Lester O. Lobo, James D. Arthur |
| 2005 | Uncertainty: A Meta-Property of Software. | Phillip A. Laplante, Colin J. Neill |
| 2005 | Software Development for Real-Time Safety-Critical Applications. | Andrew J. Kornecki, Janusz Zalewski |
| 2005 | Process-Based Experiment for Design Tool Assessment in Real-Time Safety-Critical Software Development. | Andrew J. Kornecki, Janusz Zalewski |
| 2005 | A Generative Style-driven Framework for Software Architecture Design. | Jun Kong, Kang Zhang, Jing Dong, Guang-Lei Song |
| 2005 | A Risk Assessment Model of Embedded Software Systems. | Rattikorn Hewett, Remzi Seker |
| 2005 | Designing Software Product Lines with UML. | Hassan Gomaa |
| 2005 | System Availability Analysis Considering Hardware/Software Failure Severities. | Swapna S. Gokhale, John R. Crigler, William H. Farr, Dolores R. Wallace |
| 2005 | Requirements Capture for Cougaar Model-Driven Architecture System. | Boby George, H. Lally Singh, Shawn A. Bohner, Denis Gracanin |
| 2005 | Bridging the Gap between Systems Design. | David Garlan, William K. Reinholtz, Bradley R. Schmerl, Nicholas D. Sherman, Tony Tseng |
| 2005 | Architecture On Demand for Any Domain Using Stable Software Patterns. | Mohamed E. Fayad |