| 1 | -- | 3 | Isabelle Perseil, Jean-Michel Bruel, Agusti Canals, Robert de Simone, Sébastien Gérard, Elie Najm. Introduction to special issue: papers from UML&FM 2009 |
| 5 | -- | 11 | Isabelle Perseil, Laurent Pautet. Formal methods integration in software engineering |
| 13 | -- | 20 | Volker Stolz. An integrated multi-view model evolution framework |
| 21 | -- | 28 | Ileana Ober, Louis Féraud, Christian Percebois. Dealing with variability within a family of domain-specific languages: comparative analysis of different techniques |
| 29 | -- | 37 | André L. N. Muniz, Aline Maria Santos Andrade, George Lima. Integrating UML and UPPAAL for designing, specifying and verifying component-based real-time systems |
| 39 | -- | 46 | Toshiyuki Miyamoto, Hiroyuki Kurahata, Taku Fujii, Ryoji Hosokawa. Synthesis of state machine diagrams from communication diagrams using Petri nets |
| 47 | -- | 54 | Régine Laleau, Farida Semmak, Abderrahman Matoussi, Dorian Petit, Ahmed Hammad, Bruno Tatibouët. A first attempt to combine SysML requirements diagrams and B |
| 55 | -- | 63 | Bernardo F. B. Braga, João Paulo A. Almeida, Giancarlo Guizzardi, Alessander Botti Benevides. Transforming OntoUML into Alloy: towards conceptual model validation using a lightweight formal method |
| 65 | -- | 71 | Pablo Peñil, J. Medina, Hector Posadas, Eugenio Villar. Generating heterogeneous executable specifications in SystemC from UML/MARTE models |
| 73 | -- | 81 | Marina Egea, Vlad Rusu. Formal executable semantics for conformance in the MDE framework |
| 83 | -- | 90 | Helle Hvid Hansen, Jeroen Ketema, Bas Luttik, Mohammad Reza Mousavi, Jaco van de Pol. Towards model checking executable UML specifications in mCRL2 |
| 91 | -- | 98 | Luís Soares Barbosa, Sun Meng. Bringing class diagrams to life |
| 99 | -- | 106 | Frédéric Mallet, Julien DeAntoni, Charles André, Robert de Simone. The clock constraint specification language for building timed causality models - Application to synchronous data flow graphs |
| 107 | -- | 114 | Ermeson Andrade, Paulo Romero Martins Maciel, Tiago Falcão, Bruno Costa e Silva Nogueira, Carlos Araújo, Gustavo Rau de Almeida Callou. Performance and energy consumption estimation for commercial off-the-shelf component system design |
| 115 | -- | 123 | Christiano Braga, Edward Hermann Haeusler. Lightweight analysis of access control models with description logic |
| 125 | -- | 133 | Pierre de Saqui-Sannes, Thierry Villemur, Benjamin Fontan, Sara Mota, Mohamed Salah Bouassida, N. Chridi, Isabelle Chrisment, Laurent Vigneron. Formal verification of secure group communication protocols modelled in UML |
| 135 | -- | 136 | Stefan Gruner. FM+AM 09: workshop on formal methods and agile methods - Editorial preface and foreword |
| 137 | -- | 143 | Shaoying Liu. An approach to applying SOFL for agile process and its application in developing a test support tool |
| 145 | -- | 153 | Adrian Johnstone, Peter D. Mosses, Elizabeth Scott. An agile approach to language modelling and development |
| 155 | -- | 162 | Fritz Solms, Dawid Loubser. URDAD as a semi-formal approach to analysis and design |
| 163 | -- | 169 | Ernesto Cid Brasil de Matos, Thiago C. Sousa. From formal requirements to automated web testing and prototyping |