1. SoSyM reflections: the 2018 “State of the Journal” report

   • Huseyin Ergin
   • Jeff Gray
   • Martin Schindler

   Editorial 22 January 2019 Pages: 1 - 5

   

2. Editorial to theme issue on model-driven engineering of component-based software systems

   • Federico Ciccozzi
   • Jan Carlson
   • Massimo Tivoli

   Guest Editorial 14 March 2017 Pages: 7 - 10

3. A framework to specify system requirements using natural interpretation of UML/MARTE diagrams

   • Aamir M. Khan
   • Frédéric Mallet
   • Muhammad Rashid

   Theme Section Paper 10 March 2017 Pages: 11 - 37

   

4. Supporting timing analysis of vehicular embedded systems through the refinement of timing constraints

   • Saad Mubeen
   • Thomas Nolte
   • Kurt-Lennart Lundbäck

   Theme Section Paper Open access 31 January 2017 Pages: 39 - 69

   

5. Synthesis of verifiable concurrent Java components from formal models

   • Julio Mariño
   • Raúl N. N. Alborodo
   • Ángel Herranz

   Theme Section Paper 13 February 2017 Pages: 71 - 105

   

6. Multi-objective exploration of architectural designs by composition of model transformations

   • Smail Rahmoun
   • Asma Mehiaoui-Hamitou
   • Elie Soubiran

   Theme Section Paper 24 January 2017 Pages: 107 - 127

   

7. Using internal domain-specific languages to inherit tool support and modularity for model transformations

   • Georg Hinkel
   • Thomas Goldschmidt
   • Ralf Reussner

   Theme Section Paper 30 January 2017 Pages: 129 - 155

   

8. Transactional execution of hierarchical reconfigurations in cyber-physical systems

   • Christian Heinzemann
   • Steffen Becker
   • Andreas Volk

   Theme Section Paper 01 February 2017 Pages: 157 - 189

   

9. Introduction to the STAF 2015 special section

   • Jasmin Blanchette
   • Francis Bordeleau
   • Manuel Wimmer

   Guest Editorial 07 July 2018 Pages: 191 - 193

10. Toward live domain-specific languages

    • Riemer van Rozen
    • Tijs van der Storm

    Special Section Paper 14 August 2017 Pages: 195 - 212

    

11. F-Alloy: a relational model transformation language based on Alloy

    • Loïc Gammaitoni
    • Pierre Kelsen

    Special Section Paper 23 November 2017 Pages: 213 - 247

    

12. Change propagation and bidirectionality in internal transformation DSLs

    • Georg Hinkel
    • Erik Burger

    Special Section Paper 21 August 2017 Pages: 249 - 278

    

13. A systematic approach to constructing families of incremental topology control algorithms using graph transformation

    • Roland Kluge
    • Michael Stein
    • Max Mühlhäuser

    Special Section Paper 08 March 2017 Pages: 279 - 319

14. Translation of ATL to AGT and application to a code generator for Simulink

    • Elie Richa
    • Etienne Borde
    • Laurent Pautet

    Special Section Paper 20 July 2017 Pages: 321 - 344

    

15. Type inference in flexible model-driven engineering using classification algorithms

    • Athanasios Zolotas
    • Nicholas Matragkas
    • Richard F. Paige

    Special Section Paper Open access 23 January 2018 Pages: 345 - 366

    

16. Incremental execution of model-to-text transformations using property access traces

    • Babajide Ogunyomi
    • Louis M. Rose
    • Dimitrios S. Kolovos

    Special Section Paper 28 March 2018 Pages: 367 - 383

    

17. Advanced and efficient execution trace management for executable domain-specific modeling languages

    • Erwan Bousse
    • Tanja Mayerhofer
    • Benoit Baudry

    Special Section Paper Open access 16 May 2017 Pages: 385 - 421

    

18. Experimental evaluation of a novel equivalence class partition testing strategy

    • Felix Hübner
    • Wen-ling Huang
    • Jan Peleska

    Special Section Paper 27 March 2017 Pages: 423 - 443

    

19. Fast test suite-driven model-based fault localisation with application to pinpointing defects in student programs

    • Geoff Birch
    • Bernd Fischer
    • Michael Poppleton

    Special Section Paper Open access 27 July 2017 Pages: 445 - 471

    

20. A feature-based classification of formal verification techniques for software models

    • Sebastian Gabmeyer
    • Petra Kaufmann
    • Gerti Kappel

    Overview Paper 27 March 2017 Pages: 473 - 498

    

21. Effective product-line testing using similarity-based product prioritization

    • Mustafa Al-Hajjaji
    • Thomas Thüm
    • Gunter Saake

    Regular Paper 17 December 2016 Pages: 499 - 521

    

22. A model-driven approach for vulnerability evaluation of modern physical protection systems

    • Annarita Drago
    • Stefano Marrone
    • Valeria Vittorini

    Regular Paper 26 December 2016 Pages: 523 - 556

    

23. A metrics suite for UML model stability

    • Amjad AbuHassan
    • Mohammad Alshayeb

    Regular Paper 26 December 2016 Pages: 557 - 583

    

24. Lessons learned from developing mbeddr: a case study in language engineering with MPS

    • Markus Voelter
    • Bernd Kolb
    • Arie van Deursen

    Regular Paper 09 January 2017 Pages: 585 - 630

    

25. Realizing strategic fit within the business architecture: the design of a Process-Goal Alignment modeling and analysis technique

    • Ben Roelens
    • Wout Steenacker
    • Geert Poels

    Regular Paper 13 January 2017 Pages: 631 - 662

    

26. DataMock: An Agile Approach for Building Data Models from User Interface Mockups

    • José Matías Rivero
    • Julián Grigera
    • Gustavo Rossi

    Regular Paper 14 February 2017 Pages: 663 - 690

    

27. Reusable specification templates for defining dynamic semantics of DSLs

    • Ulyana Tikhonova

    Regular Paper Open access 21 March 2017 Pages: 691 - 720

    

28. Interactive web interfaces modeling, simulation and analysis using Colored Petri Nets

    • Taffarel Brant-Ribeiro
    • Rafael D. Araújo
    • Renan G. Cattelan

    Regular Paper 25 March 2017 Pages: 721 - 737

    

29. Synthesis and exploration of multi-level, multi-perspective architectures of automotive embedded systems

    • Jordan A. Ross
    • Alexandr Murashkin
    • Krzysztof Czarnecki

    Regular Paper 10 April 2017 Pages: 739 - 767

    

30. SQL-PL4OCL: an automatic code generator from OCL to SQL procedural language

    • Marina Egea
    • Carolina Dania

    Regular Paper 04 May 2017 Pages: 769 - 791