| 2008 | Querying Software Interdependence Graphs. | Luiz Marcio Cysneiros, Karin Koogan Breitman, Claudia A. Lpez, Hernn Astudillo |
| 2008 | A Distributed Whiteboard Infrastructure for Information Fusion Simulations. | Marcus Brohede, Sten F. Andler |
| 2008 | InSeRt An Intent-Based Service Request API for Service Exposure in Next Generation Networks. | Niklas Blum, Simon Dutkowski, Thomas Magedanz |
| 2008 | Issues on Estimating Software Metrics in a Large Software Operation. | Rodrigo C. Barros, Duncan Dubugras A. Ruiz, Nelson N. Tenrio Jr., Mrcio P. Basgalupp, Karin Becker |
| 2008 | An Extended MDA Architecture for Ensuring Semantics-Preserving Transformations. | Paulo E. S. Barbosa, Franklin Ramalho, Jorge C. A. de Figueiredo, Antonio D. dos S. Junior |
| 2008 | Improving the Precision of Fowler's Definitions of Bad Smells. | Min Zhang, Nathan Baddoo, Paul Wernick, Tracy Hall |
| 2007 | An Operational Approach to BPEL-like Programming. | Huibiao Zhu, Jifeng He, Geguang Pu, Jing Li |
| 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 | Transformational Approaches to Model Driven Architecture - A Review. | Chunying Zhao, Kang Zhang |
| 2007 | Aspect-Oriented Requirements Modeling. | Jingjun Zhang, Furong Li, Yang Zhang |
| 2007 | Research on Aspect Connectors for Software Architecture Adaptation. | Jingjun Zhang, Hui Li, Furong Li |
| 2007 | Virtualization the Enabler for the Autonomic Business Grid. | Shukri Wakid, Roy Sterritt |
| 2007 | ASSL - Autonomic System Specification Language. | Emil Vassev, Joey Paquet |
| 2007 | A Formal Model for the Building of State Machines: A Lightweight Approach. | Fernando Valles-Barajas |
| 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 | Using Model Checking to Validate Style-Specific Architectural Refactoring Patterns. | Zo R. Stephenson, John A. McDermid |
| 2007 | Testing Patterns. | Neelam Soundarajan, Jason O. Hallstrom, Adem Delibas, Guoqiang Shu |
| 2007 | Determining the Applicability of Agile Practices to Mission and Life-Critical Systems. | Ahmed Samy Sidky, James D. Arthur |
| 2007 | A New Way to Predict Software Reliability with Parameter Evaluation: Shuttle Applications. | Norman F. Schneidewind |
| 2007 | An Alternative Method Employing Uses Cases for Early Effort Estimation. | Gabriela Robiolo, Ricardo Orosco |
| 2007 | The EMISQ Method - Expert Based Evaluation of Internal Software Quality. | Reinhold Plsch, Harald Gruber, Alexander Hentschel, Christian Krner, Gustav Pomberger, Stefan Schiffer, Matthias Saft, Stephan Storck |
| 2007 | A Refinement Based Framework for Computing Loop Behavior. | Ali Mili |
| 2007 | LTL Guided Planning: Revisiting Automatic Tool Composition in ETI. | Tiziana Margaria, Bernhard Steffen |
| 2007 | Mapping CMMI Project Management Process Areas to SCRUM Practices. | Ana Sofia C. Maral, Felipe Santana Furtado Soares, Arnaldo Dias Belchior |
| 2007 | Looking into Compensable Transactions. | Jing Li, Huibiao Zhu, Geguang Pu, Jifeng He |