Ausgabe 5/2019
Inhalt (14 Artikel)
Expert’s Voice
Artefacts in software engineering: a fundamental positioning
Daniel Méndez Fernández, Wolfgang Böhm, Andreas Vogelsang, Jakob Mund, Manfred Broy, Marco Kuhrmann, Thorsten Weyer
Regular Paper
Using structural decomposition and refinements for deep modeling of software architectures
Georg Hinkel
Regular Paper
A Multi-Paradigm Modelling approach to live modelling
Yentl Van Tendeloo, Simon Van Mierlo, Hans Vangheluwe
Regular Paper
Modeling foundations for executable model-based testing of self-healing cyber-physical systems
Tao Ma, Shaukat Ali, Tao Yue
Open Access
Regular Paper
ParDSL: a domain-specific language framework for supporting deployment of parallel algorithms
Bedir Tekinerdogan, Ethem Arkin
Open Access
Regular Paper
Automatic verification of behavior preservation at the transformation level for relational model transformation
Johannes Dyck, Holger Giese, Leen Lambers
Open Access
Regular Paper
Profiling the publish/subscribe paradigm for automated analysis using colored Petri nets
Abel Gómez, Ricardo J. Rodríguez, María-Emilia Cambronero, Valentín Valero
Regular Paper
A unifying framework for homogeneous model composition
Jörg Kienzle, Gunter Mussbacher, Benoit Combemale, Julien Deantoni
Regular Paper
Student experience with software modeling tools
Luciane T. W. Agner, Timothy C. Lethbridge, Inali W. Soares
Regular Paper
Models@run.time: a guided tour of the state of the art and research challenges
Nelly Bencomo, Sebastian Götz, Hui Song
Regular Paper
Empirical study on the effectiveness and efficiency of model-driven architecture techniques
Shin-Shing Shin
Open Access
Regular Paper
RoboChart: modelling and verification of the functional behaviour of robotic applications
Alvaro Miyazawa, Pedro Ribeiro, Wei Li, Ana Cavalcanti, Jon Timmis, Jim Woodcock
Regular Paper
An extensible approach to implicit incremental model analyses
Georg Hinkel, Robert Heinrich, Ralf Reussner