Skip to main content


Software and Systems Modeling

Software and Systems Modeling 5/2019

Ausgabe 5/2019

Inhaltsverzeichnis ( 14 Artikel )

22.01.2019 | Expert’s Voice | Ausgabe 5/2019

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

26.10.2018 | Regular Paper | Ausgabe 5/2019

Using structural decomposition and refinements for deep modeling of software architectures

Georg Hinkel

30.10.2018 | Regular Paper | Ausgabe 5/2019

A Multi-Paradigm Modelling approach to live modelling

Yentl Van Tendeloo, Simon Van Mierlo, Hans Vangheluwe

27.11.2018 | Regular Paper | Ausgabe 5/2019

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

Tao Ma, Shaukat Ali, Tao Yue

18.12.2018 | Regular Paper | Ausgabe 5/2019

Certifying delta-oriented programs

Vítor Rodrigues, Simone Donetti, Ferruccio Damiani

17.12.2018 | Regular Paper | Ausgabe 5/2019 Open Access

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

Bedir Tekinerdogan, Ethem Arkin

22.12.2018 | Regular Paper | Ausgabe 5/2019 Open Access

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

Johannes Dyck, Holger Giese, Leen Lambers

22.01.2019 | Regular Paper | Ausgabe 5/2019 Open Access

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

03.01.2019 | Regular Paper | Ausgabe 5/2019

A unifying framework for homogeneous model composition

Jörg Kienzle, Gunter Mussbacher, Benoit Combemale, Julien Deantoni

05.01.2019 | Regular Paper | Ausgabe 5/2019

Student experience with software modeling tools

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

09.01.2019 | Regular Paper | Ausgabe 5/2019

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

Nelly Bencomo, Sebastian Götz, Hui Song

08.01.2019 | Regular Paper | Ausgabe 5/2019

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

Shin-Shing Shin

23.01.2019 | Regular Paper | Ausgabe 5/2019 Open Access

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

Alvaro Miyazawa, Pedro Ribeiro, Wei Li, Ana Cavalcanti, Jon Timmis, Jim Woodcock

29.01.2019 | Regular Paper | Ausgabe 5/2019

An extensible approach to implicit incremental model analyses

Georg Hinkel, Robert Heinrich, Ralf Reussner

Aktuelle Ausgaben

Premium Partner