1. Introduction to special issue: papers from UML&FM’2009

   • Isabelle Perseil
   • Jean-Michel Bruel
   • Elie Najm

   Original Paper 29 December 2009 Pages: 1 - 3

2. Formal methods integration in software engineering

   • Isabelle Perseil
   • Laurent Pautet

   Original Paper 03 February 2010 Pages: 5 - 11

3. An integrated multi-view model evolution framework

   • Volker Stolz

   Original Paper 22 December 2009 Pages: 13 - 20

4. Dealing with variability within a family of domain-specific languages: comparative analysis of different techniques

   • Ileana Ober
   • Louis Féraud
   • Christian Percebois

   Original Paper 05 January 2010 Pages: 21 - 28

5. Integrating UML and UPPAAL for designing, specifying and verifying component-based real-time systems

   • André L. N. Muniz
   • Aline M. S. Andrade
   • George Lima

   Original Paper 22 December 2009 Pages: 29 - 37

6. Synthesis of state machine diagrams from communication diagrams using Petri nets

   • Toshiyuki Miyamoto
   • Hiroyuki Kurahata
   • Ryoji Hosokawa

   Original Paper 31 December 2009 Pages: 39 - 46

7. A first attempt to combine SysML requirements diagrams and B

   • Régine Laleau
   • Farida Semmak
   • Bruno Tatibouet

   Original Paper 25 December 2009 Pages: 47 - 54

8. Transforming OntoUML into Alloy: towards conceptual model validation using a lightweight formal method

   • Bernardo F. B. Braga
   • João Paulo Andrade Almeida
   • Alessander B. Benevides

   Original Paper 02 February 2010 Pages: 55 - 63

9. Generating heterogeneous executable specifications in SystemC from UML/MARTE models

   • P. Peñil
   • J. Medina
   • E. Villar

   Original Paper 22 December 2009 Pages: 65 - 71

10. Formal executable semantics for conformance in the MDE framework

    • Marina Egea
    • Vlad Rusu

    Original Paper 20 December 2009 Pages: 73 - 81

11. Towards model checking executable UML specifications in mCRL2

    • Helle Hvid Hansen
    • Jeroen Ketema
    • Jaco van de Pol

    Original Paper Open access 07 February 2010 Pages: 83 - 90

12. Bringing class diagrams to life

    • Luis S. Barbosa
    • Sun Meng

    Original Paper 24 December 2009 Pages: 91 - 98

13. The clock constraint specification language for building timed causality models

    • Frédéric Mallet
    • Julien DeAntoni
    • Robert de Simone

    Original Paper 22 December 2009 Pages: 99 - 106

14. Performance and energy consumption estimation for commercial off-the-shelf component system design

    • Ermeson Andrade
    • Paulo Maciel
    • Gustavo Callou

    Original Paper 30 December 2009 Pages: 107 - 114

15. Lightweight analysis of access control models with description logic

    • Christiano Braga
    • Edward Hermann Hæusler

    Original Paper 24 December 2009 Pages: 115 - 123

16. Formal verification of secure group communication protocols modelled in UML

    • P. de Saqui-Sannes
    • T. Villemur
    • L. Vigneron

    Original Paper 28 January 2010 Pages: 125 - 133

17. FM+AM’09: workshop on formal methods and agile methods

    • Stefan Gruner

    Original Article 23 December 2009 Pages: 135 - 136

18. An approach to applying SOFL for agile process and its application in developing a test support tool

    • Shaoying Liu

    Original Paper 22 December 2009 Pages: 137 - 143

19. An agile approach to language modelling and development

    • Adrian Johnstone
    • Peter D. Mosses
    • Elizabeth Scott

    Original Paper 01 January 2010 Pages: 145 - 153

20. URDAD as a semi-formal approach to analysis and design

    • Fritz Solms
    • Dawid Loubser

    Original Paper 01 January 2010 Pages: 155 - 162

21. From formal requirements to automated web testing and prototyping

    • Ernesto Cid Brasil de Matos
    • Thiago C. Sousa

    Original Paper 09 January 2010 Pages: 163 - 169