| 2002 | A Generic Component Framework for System Modeling. Hartmut Ehrig, Fernando Orejas, Benjamin Braatz, Markus Klein, Martti Piirainen |
| 2002 | A Toolbox for Automating Visual Software Engineering. Luciano Baresi, Mauro Pezzè |
| 2002 | AToM Juan de Lara, Hans Vangheluwe |
| 2002 | An Approach to Composition Motivated by wp. Michel Charpentier |
| 2002 | An Authoring Tool for Informal and Formal Requirements Specifications. Reiner Hähnle, Kristofer Johannisson, Aarne Ranta |
| 2002 | Architectural Types Revisited: Extensible And/Or Connections. Marco Bernardo, Francesco Franzè |
| 2002 | Automatic Generation of Use Cases from Workflows: A Petri Net Based Approach. Oscar López, Miguel A. Laguna, Francisco José García-Peñalvo |
| 2002 | Better Slicing of Programs with Jumps and Switches. Sumit Kumar, Susan Horwitz |
| 2002 | Compositional Verification of Secure Applet Interactions. Gilles Barthe, Dilian Gurov, Marieke Huisman |
| 2002 | Demonstration of an Operational Procedure for the Model-Based Testing of CTI Systems. Andreas Hagerer, Hardi Hungar, Tiziana Margaria, Oliver Niese, Bernhard Steffen, Hans-Dieter Ide |
| 2002 | Engineering Modelling Languages: A Precise Meta-Modelling Approach. Tony Clark, Andy Evans, Stuart Kent |
| 2002 | Enriching OCL Using Observational Mu-Calculus. Julian C. Bradfield, Juliana Küster Filipe, Perdita Stevens |
| 2002 | Formal Requirements Engineering Using Observer Models. Andreas Nonnengart, Georg Rock, Werner Stephan |
| 2002 | Formal Verification of UML Statecharts with Real-Time Extensions. Alexandre David, M. Oliver Möller, Wang Yi |
| 2002 | Formal-Driven Conceptualization and Prototyping of Hypermedia Applications. Antonio Navarro, Baltasar Fernández-Manjón, Alfredo Fernández-Valmayor, José Luis Sierra |
| 2002 | From EDOC Components to CCM Components: A Precise Mapping Specification. Mariano Belaunde, Mikael Peltier |
| 2002 | Fundamental Approaches to Software Engineering, 5th International Conference, FASE 2002, held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings Ralf-Detlef Kutsche, Herbert Weber |
| 2002 | Implementing Condition/Event Nets in the Circal Process Algebra. Antonio Cerone |
| 2002 | Integrated State Space Reduction for Model Checking Executable Object-Oriented Software System Designs. Fei Xie, James C. Browne |
| 2002 | Introducing Context-Based Constraints. Felix Bübl |
| 2002 | Mapping an ADL to a Component-Based Application Development Environment. Virginia C. Carneiro de Paula, Thaís Vasconcelos Batista |
| 2002 | Meta-modeling Techniques Meet Web Application Design Tools. Luciano Baresi, Franca Garzotto, Luca Mainetti, Paolo Paolini |
| 2002 | Model Generation by Moderated Regular Extrapolation. Andreas Hagerer, Hardi Hungar, Oliver Niese, Bernhard Steffen |
| 2002 | ObjectCheck: A Model Checking Tool for Executable Object-Oriented Software System Designs. Fei Xie, Vladimir Levin, James C. Browne |
| 2002 | The Coordination Development Environment. João Gouveia, Georgios Koutsoukos, Michel Wermelinger, Luís Andrade, José Luiz Fiadeiro |
| 2002 | The KeY System: Integrating Object-Oriented Design and Formal Methods. Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Peter H. Schmitt |