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