| 2006 | 30th Annual IEEE / NASA Software Engineering Workshop (SEW-30 2006), 25-28 April 2006, Loyola College Graduate Center, Columbia, MD, USA |
| 2006 | A Comparative Study of Monitoring Tools for Pattern-Centric Behavior. Benjamin Tyler, Jason O. Hallstrom, Neelam Soundarajan |
| 2006 | A Reverse-Engineering Approach to Understanding B Specifications with UML Diagrams. Akram Idani, Yves Ledru, Didier Bert |
| 2006 | A Verified Formal Model of a VC Generator. R. D. Arthan |
| 2006 | An Eclipse Plug-in for the Java PathFinder Runtime Verification System. Francesca Arcelli Fontana, Claudia Raibulet, Ivano Rigo, Luigi Ubezio |
| 2006 | An Empirical Study on the Relationship between Defective Requirements and Test Failures. Robert W. Ferguson, Giuseppe Lami |
| 2006 | An Operational Semantics of an Event-Driven System-Level Simulator. Xiaoqing Peng, Huibiao Zhu, Jifeng He, Naiyong Jin |
| 2006 | An Optimized Grid-Based, OGC Standards-Compliant Collaborative Software System for Serving NASA Geospatial Data. Aijun Chen, Liping Di, Yaxing Wei, Yuqi Bai, Yang Liu |
| 2006 | Analyzing and Systematizing Current Traceability Schemas. Angelina Espinoza, Pedro Pablo Alarcón, Juan Garbajosa |
| 2006 | Cross-Platform Development: Software that Lasts. Judith Bishop, R. Nigel Horspool |
| 2006 | Detecting Deadlock, Double-Free and Other Abuses in a Million Lines of Linux Kernel Source. Peter T. Breuer, Simon Pickin, María M. Larrondo-Petrie |
| 2006 | Evaluating and Balancing Reliability and Performance Properties of Software Architecture Using Formal Modeling Techniques. Jianli Xu |
| 2006 | First Steps in the Verified Software Grand Challenge. Jim Woodcock |
| 2006 | Formal Verification of Abstract System and Protocol Specifications. Axel Schneider, Thomas Bluhm, Tobias Renner, Ulrich Heinkel, Joachim Knäblein, Reynaldo Zavala |
| 2006 | Formal Z Specifications of Several Flat Role-Based Access Control Models. Ali E. Abdallah, Etienne J. Khayat |
| 2006 | Goal-Driven Software Development. Ingo Schnabel, Markus Pizka |
| 2006 | Integrating Probability with Time and Shared-Variable Concurrency. Huibiao Zhu, Shengchao Qin, Jifeng He, Jonathan P. Bowen |
| 2006 | Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker. Pavel Parízek, Frantisek Plásil, Jan Kofron |
| 2006 | Pseudo-Exhaustive Testing for Software. D. Richard Kuhn, Vadim Okun |
| 2006 | Qualitative Modeling for Requirements Engineering. Tim Menzies, Julian Richardson |
| 2006 | Retrenching the Purse: Finite Exception Logs, and Validating the Small. Richard Banach, Michael Poppleton, Susan Stepney |
| 2006 | SPDW: A Software Development Process Performance Data Warehousing Environment. Karin Becker, Duncan Dubugras A. Ruiz, Virginia S. Cunha, Taisa C. Novello, Franco Vieira e Souza |
| 2006 | Service Engineering: Linking Business and IT. Tiziana Margaria, Bernhard Steffen |
| 2006 | Software Project Management Tools: Making a Practical Decision Using AHP. Norita B. Ahmad, Phillip A. Laplante |
| 2006 | Targeting Prediction: Engineering a Distributed Event Processor for an Autonomic Biometric System. Roy Sterritt, Edward Hanna, Patricia O'Hagan, Grainne Garrity |
| 2006 | The 'Grand Challenge' in Informatics: Engineering Software-Intensive Systems. Manfred Broy |
| 2006 | The Role of Empirical Study in Software Engineering. Victor R. Basili |
| 2006 | Towards Open-World Software: Issue and Challenges. Luciano Baresi, Elisabetta Di Nitto, Carlo Ghezzi |
| 2006 | Understanding Change Requests to Predict Software Impact. Christopher Ackermann, Mikael Lindvall |
| 2006 | Understanding Open Source Software through Software Archaeology: The Case of Nethack. Melissa M. Simmons, Pamela Vercellone-Smith, Phillip A. Laplante |
| 2006 | Unified Software Method: An Engineering Approach to Software Engineering. Stéphane Mercier, Michel Lavoie, Roger Champagne |
| 2006 | Using Jaza to Animate RoZ Specifications of UML Class Diagrams. Yves Ledru |
| 2006 | Using Simulation to Validate Style-Specific Architectural Refactoring Patterns. Zoë R. Stephenson, John A. McDermid, Jason Choy |
| 2006 | Using Views to Specify a Synchronization Aspect for Object-Oriented Languages. R. E. Kurt Stirewalt, Laura K. Dillon, Reimer Behrends |
| 2006 | What Have We Not Learned about Teaching Programming? David Gries |