Artefacts in software engineering: a fundamental positioning Daniel Méndez FernándezWolfgang BöhmThorsten Weyer Expert’s Voice 22 January 2019 Pages: 2777 - 2786
Using structural decomposition and refinements for deep modeling of software architectures Georg Hinkel Regular Paper 26 October 2018 Pages: 2787 - 2819
A Multi-Paradigm Modelling approach to live modelling Yentl Van TendelooSimon Van MierloHans Vangheluwe Regular Paper 30 October 2018 Pages: 2821 - 2842
Modeling foundations for executable model-based testing of self-healing cyber-physical systems Tao MaShaukat AliTao Yue Regular Paper 27 November 2018 Pages: 2843 - 2873
Certifying delta-oriented programs Vítor RodriguesSimone DonettiFerruccio Damiani Regular Paper 18 December 2018 Pages: 2875 - 2906
ParDSL: a domain-specific language framework for supporting deployment of parallel algorithms Bedir TekinerdoganEthem Arkin Regular Paper Open access 17 December 2018 Pages: 2907 - 2935
Automatic verification of behavior preservation at the transformation level for relational model transformation Johannes DyckHolger GieseLeen Lambers Regular Paper Open access 22 December 2018 Pages: 2937 - 2972
Profiling the publish/subscribe paradigm for automated analysis using colored Petri nets Abel GómezRicardo J. RodríguezValentín Valero Regular Paper Open access 22 January 2019 Pages: 2973 - 3003
A unifying framework for homogeneous model composition Jörg KienzleGunter MussbacherJulien Deantoni Regular Paper 03 January 2019 Pages: 3005 - 3023
Student experience with software modeling tools Luciane T. W. AgnerTimothy C. LethbridgeInali W. Soares Regular Paper 05 January 2019 Pages: 3025 - 3047
Models@run.time: a guided tour of the state of the art and research challenges Nelly BencomoSebastian GötzHui Song Regular Paper 09 January 2019 Pages: 3049 - 3082
Empirical study on the effectiveness and efficiency of model-driven architecture techniques Shin-Shing Shin Regular Paper 08 January 2019 Pages: 3083 - 3096
RoboChart: modelling and verification of the functional behaviour of robotic applications Alvaro MiyazawaPedro RibeiroJim Woodcock Regular Paper Open access 23 January 2019 Pages: 3097 - 3149
An extensible approach to implicit incremental model analyses Georg HinkelRobert HeinrichRalf Reussner Regular Paper 29 January 2019 Pages: 3151 - 3187