1. Artefacts in software engineering: a fundamental positioning

   • Daniel Méndez Fernández
   • Wolfgang Böhm
   • Thorsten Weyer

   Expert’s Voice 22 January 2019 Pages: 2777 - 2786

   

2. Using structural decomposition and refinements for deep modeling of software architectures

   • Georg Hinkel

   Regular Paper 26 October 2018 Pages: 2787 - 2819

   

3. A Multi-Paradigm Modelling approach to live modelling

   • Yentl Van Tendeloo
   • Simon Van Mierlo
   • Hans Vangheluwe

   Regular Paper 30 October 2018 Pages: 2821 - 2842

   

4. Modeling foundations for executable model-based testing of self-healing cyber-physical systems

   • Tao Ma
   • Shaukat Ali
   • Tao Yue

   Regular Paper 27 November 2018 Pages: 2843 - 2873

   

5. Certifying delta-oriented programs

   • Vítor Rodrigues
   • Simone Donetti
   • Ferruccio Damiani

   Regular Paper 18 December 2018 Pages: 2875 - 2906

   

6. ParDSL: a domain-specific language framework for supporting deployment of parallel algorithms

   • Bedir Tekinerdogan
   • Ethem Arkin

   Regular Paper Open access 17 December 2018 Pages: 2907 - 2935

   

7. Automatic verification of behavior preservation at the transformation level for relational model transformation

   • Johannes Dyck
   • Holger Giese
   • Leen Lambers

   Regular Paper Open access 22 December 2018 Pages: 2937 - 2972

   

8. Profiling the publish/subscribe paradigm for automated analysis using colored Petri nets

   • Abel Gómez
   • Ricardo J. Rodríguez
   • Valentín Valero

   Regular Paper Open access 22 January 2019 Pages: 2973 - 3003

   

9. A unifying framework for homogeneous model composition

   • Jörg Kienzle
   • Gunter Mussbacher
   • Julien Deantoni

   Regular Paper 03 January 2019 Pages: 3005 - 3023

   

10. Student experience with software modeling tools

    • Luciane T. W. Agner
    • Timothy C. Lethbridge
    • Inali W. Soares

    Regular Paper 05 January 2019 Pages: 3025 - 3047

    

11. Models@run.time: a guided tour of the state of the art and research challenges

    • Nelly Bencomo
    • Sebastian Götz
    • Hui Song

    Regular Paper 09 January 2019 Pages: 3049 - 3082

    

12. Empirical study on the effectiveness and efficiency of model-driven architecture techniques

    • Shin-Shing Shin

    Regular Paper 08 January 2019 Pages: 3083 - 3096

    

13. RoboChart: modelling and verification of the functional behaviour of robotic applications

    • Alvaro Miyazawa
    • Pedro Ribeiro
    • Jim Woodcock

    Regular Paper Open access 23 January 2019 Pages: 3097 - 3149

    

14. An extensible approach to implicit incremental model analyses

    • Georg Hinkel
    • Robert Heinrich
    • Ralf Reussner

    Regular Paper 29 January 2019 Pages: 3151 - 3187