| 2007 | A Clustering-Based Approach for Tracing Object-Oriented Design to Requirement. Xin Zhou, Hui Yu |
| 2007 | A Family of Distributed Deadlock Avoidance Protocols and Their Reachable State Spaces. César Sánchez, Henny B. Sipma, Zohar Manna |
| 2007 | A Prioritization Approach for Software Test Cases Based on Bayesian Networks. Siavash Mirarab, Ladan Tahvildari |
| 2007 | A Service Composition Construct to Support Iterative Development. Roy Grønmo, Michael C. Jaeger, Andreas Wombacher |
| 2007 | A Simulation-Oriented Formalization for a Psychological Theory. Paulo Salem da Silva, Ana Cristina Vieira de Melo |
| 2007 | Activity-Driven Synthesis of State Machines. Rolf Hennicker, Alexander Knapp |
| 2007 | An Approach to Software Evolution Based on Semantic Change. Romain Robbes, Michele Lanza, Mircea Lungu |
| 2007 | Contract-Driven Development. Bertrand Meyer |
| 2007 | Correlation Patterns in Service-Oriented Architectures. Alistair Barros, Gero Decker, Marlon Dumas, Franz Weber |
| 2007 | Declared Type Generalization Checker: An Eclipse Plug-In for Systematic Programming with More General Types. Markus Bach, Florian Forster, Friedrich Steimann |
| 2007 | Dynamic Characterization of Web Application Interfaces. Marc Fisher II, Sebastian G. Elbaum, Gregg Rothermel |
| 2007 | EQ-Mine: Predicting Short-Term Defects for Software Evolution. Jacek Ratzinger, Martin Pinzger, Harald C. Gall |
| 2007 | Enforcing Architecture and Deployment Constraints of Distributed Component-Based Software. Chouki Tibermacine, Didier Hoareau, Reda Kadri |
| 2007 | Ensuring Consistency Within Distributed Graph Transformation Systems. Ulrike Ranger, Thorsten Hermes |
| 2007 | Finding Environment Guarantees. Marsha Chechik, Mihaela Gheorghiu, Arie Gurfinkel |
| 2007 | Flexible and Extensible Notations for Modeling Languages. Jimin Gao, Mats Per Erik Heimdahl, Eric Van Wyk |
| 2007 | Fundamental Approaches to Software Engineering, 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings Matthew B. Dwyer, Antónia Lopes |
| 2007 | Information Preserving Bidirectional Model Transformations. Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Frank Hermann, Gabriele Taentzer |
| 2007 | Integrating Performance and Reliability Analysis in a Non-Functional MDA Framework. Vittorio Cortellessa, Antinisca Di Marco, Paola Inverardi |
| 2007 | Integration Testing in Software Product Line Engineering: A Model-Based Technique. Sacha Reis, Andreas Metzger, Klaus Pohl |
| 2007 | Joint Structural and Temporal Property Specification Using Timed Story Scenario Diagrams. Florian Klein, Holger Giese |
| 2007 | Maintaining Consistency in Layered Architectures of Mobile Ad-Hoc Networks. Julia Padberg, Kathrin Hoffmann, Hartmut Ehrig, Tony Modica, Enrico Biermann, Claudia Ermel |
| 2007 | Measuring and Characterizing Crosscutting in Aspect-Based Programs: Basic Metrics and Case Studies. Roberto E. Lopez-Herrejon, Sven Apel |
| 2007 | Practical Reasoning About Invocations and Implementations of Pure Methods. Ádám Darvas, K. Rustan M. Leino |
| 2007 | Precise Specification of Use Case Scenarios. Jon Whittle |
| 2007 | Preliminary Design of BML: A Behavioral Interface Specification Language for Java Bytecode. Lilian Burdy, Marieke Huisman, Mariela Pavlova |
| 2007 | Redundancy Based Test-Suite Reduction. Gordon Fraser, Franz Wotawa |
| 2007 | S2A: A Compiler for Multi-modal UML Sequence Diagrams. David Harel, Asaf Kleinbort, Shahar Maoz |
| 2007 | SDL Profiles - Formal Semantics and Tool Support. Rüdiger Grammes, Reinhard Gotzhein |
| 2007 | Scenario-Driven Dynamic Analysis of Distributed Architectures. George Edwards, Sam Malek, Nenad Medvidovic |
| 2007 | Software Product Families: Towards Compositionality. Jan Bosch |
| 2007 | Testing Scenario-Based Models. Hillel Kugler, Michael J. Stern, E. Jane Albert Hubbard |
| 2007 | Towards Normal Design for Safety-Critical Systems. Derek Mannering, Jon G. Hall, Lucia Rapanotti |