| 2007 | 31st Annual IEEE / NASA Software Engineering Workshop (SEW-31 2007), 6-8 March 2007, Loyola College, Columbia, MD, USA |
| 2007 | A Formal Model for the Building of State Machines: A Lightweight Approach. Fernando Valles-Barajas |
| 2007 | A Framework for Flexible and Executable Usability Patterns Standards. Scott Henninger |
| 2007 | A Generative Approach to Building a Framework for Hard Real-Time Applications. Irfan Hamid, Elie Najm, Jérôme Hugues |
| 2007 | A Layered Java Application Framework for Supplying Mathematical Computing Power to the Distributed Environment. Weidong Liao, Benjamin J. Koonse |
| 2007 | A New Way to Predict Software Reliability with Parameter Evaluation: Shuttle Applications. Norman F. Schneidewind |
| 2007 | A Reference Net Based Formalization of Concurrent Cognitive Decision Making. Johann Duscher, Amine El Malki |
| 2007 | A Refinement Based Framework for Computing Loop Behavior. Ali Mili |
| 2007 | A Software Safety Risk Taxonomy for Use in Retrospective Safety Cases. Janice Hill |
| 2007 | ASSL - Autonomic System Specification Language. Emil Vassev, Joey Paquet |
| 2007 | Abstracting Pointers for a Verifying Compiler. Gregory Kulczycki, Heather Keown, Murali Sitaraman, Bruce W. Weide |
| 2007 | Algebraic Approach to Operational Semantics and Observation-Oriented Semantics for a Timed Shared-Variable Language with Probability. Huibiao Zhu, Jifeng He, Jonathan P. Bowen |
| 2007 | An AOP-based Performance Evaluation Framework for UML Models. Dong Kwan Kim, Shawn A. Bohner |
| 2007 | An Alternative Method Employing Uses Cases for Early Effort Estimation. Gabriela Robiolo, Ricardo Orosco |
| 2007 | An Inconsistency Free Formalization of B/S Architecture. Qin Li, Huibiao Zhu, Jifeng He |
| 2007 | An Operational Approach to BPEL-like Programming. Huibiao Zhu, Jifeng He, Geguang Pu, Jing Li |
| 2007 | Architecting Network-Centric Software Systems: A Style-Based Beginning. Amine Chigani, James D. Arthur, Shawn A. Bohner |
| 2007 | Aspect-Oriented Requirements Modeling. Jingjun Zhang, Furong Li, Yang Zhang |
| 2007 | Determining the Applicability of Agile Practices to Mission and Life-Critical Systems. Ahmed Samy Sidky, James D. Arthur |
| 2007 | LTL Guided Planning: Revisiting Automatic Tool Composition in ETI. Tiziana Margaria, Bernhard Steffen |
| 2007 | Looking into Compensable Transactions. Jing Li, Huibiao Zhu, Geguang Pu, Jifeng He |
| 2007 | Mapping CMMI Project Management Process Areas to SCRUM Practices. Ana Sofia C. Marçal, Felipe Santana Furtado Soares, Arnaldo Dias Belchior |
| 2007 | Mise en Scene: Converting Scenarios to CSP Traces in Support of Requirements-Based Programming. John D. Carter, William B. Gardner |
| 2007 | Modeling and Verifying Web Services Choreography Using Process Algebra. Jing Li, Jifeng He, Huibiao Zhu, Geguang Pu |
| 2007 | Research on Aspect Connectors for Software Architecture Adaptation. Jingjun Zhang, Hui Li, Furong Li |
| 2007 | Testing Patterns. Neelam Soundarajan, Jason O. Hallstrom, Adem Delibas, Guoqiang Shu |
| 2007 | The EMISQ Method - Expert Based Evaluation of Internal Software Quality. Reinhold Plösch, Harald Gruber, Alexander Hentschel, Christian Körner, Gustav Pomberger, Stefan Schiffer, Matthias Saft, Stephan Storck |
| 2007 | The SAVE Tool and Process Applied to Ground Software Development at JHU/APL: An Experience Report on Technology Infusion. William C. Stratton, Deane E. Sibol, Mikael Lindvall, Patricia Costa |
| 2007 | Transformational Approaches to Model Driven Architecture - A Review. Chunying Zhao, Kang Zhang |
| 2007 | Using Model Checking to Validate Style-Specific Architectural Refactoring Patterns. Zoë R. Stephenson, John A. McDermid |
| 2007 | Verification in the Light and Large: Large-Scale Verification for Fast-Moving Open Source C Projects. Peter T. Breuer, Simon Pickin |
| 2007 | Virtualization the Enabler for the Autonomic Business Grid. Shukri Wakid, Roy Sterritt |