Skip to main content


Software and Systems Modeling

Software and Systems Modeling 3/2020

Ausgabe 3/2020

Inhaltsverzeichnis ( 13 Artikel )

04.04.2020 | Editorial | Ausgabe 3/2020

Modeling dynamic structures

Jeff Gray, Bernhard Rumpe

17.12.2019 | Guest Editorial | Ausgabe 3/2020

Special section of BPMDS’2017: enabling business transformation by business process modeling, development and support

Selmin Nurcan, Rainer Schmidt

10.07.2019 | Special Section Paper | Ausgabe 3/2020

From analytical purposes to data visualizations: a decision process guided by a conceptual framework and eye tracking

Jens Gulden, Andrea Burattin, Amine A. Andaloussi, Barbara Weber

13.07.2019 | Special Section Paper | Ausgabe 3/2020

Enhancing secure business process design with security process patterns

Nikolaos Argyropoulos, Haralambos Mouratidis, Andrew Fish

26.09.2019 | Guest Editorial | Ausgabe 3/2020

Editorial to the theme section on model-based engineering of smart systems

John Fitzgerald, Fuyuki Ishikawa, Peter Gorm Larsen

20.09.2019 | Theme Section Paper | Ausgabe 3/2020

Early-stage analysis of cyber-physical production systems through collaborative modelling

Mihai Neghina, Constantin-Bala Zamfirescu, Ken Pierce

20.09.2019 | Theme Section Paper | Ausgabe 3/2020

A framework for FMI-based co-simulation of human–machine interfaces

Maurizio Palmieri, Cinzia Bernardeschi, Paolo Masci

20.09.2019 | Theme Section Paper | Ausgabe 3/2020

Towards high-level fuzzy control specifications for building automation systems

Juan C. Vidal, Paulo Carreira, Vasco Amaral, Joao Aguiam, João Sousa

12.09.2019 | Regular Paper | Ausgabe 3/2020

Benchmarking bidirectional transformations: theory, implementation, application, and assessment

Anthony Anjorin, Thomas Buchmann, Bernhard Westfechtel, Zinovy Diskin, Hsiang-Shang Ko, Romina Eramo, Georg Hinkel, Leila Samimi-Dehkordi, Albert Zündorf

01.11.2019 | Regular Paper | Ausgabe 3/2020 Open Access

Systematic review of matching techniques used in model-driven methodologies

Ferenc Attila Somogyi, Mark Asztalos

03.01.2020 | Regular Paper | Ausgabe 3/2020

Transitive-closure-based model checking (TCMC) in Alloy

Sabria Farheen, Nancy A. Day, Amirhossein Vakili, Ali Abbassi

01.11.2019 | Regular Paper | Ausgabe 3/2020

Ark: a constraint-based method for architectural synthesis of smart systems

Milena Guessi, Flavio Oquendo, Elisa Yumi Nakagawa

12.12.2019 | Regular Paper | Ausgabe 3/2020

Using empirical studies to mitigate symbol overload in iStar extensions

Enyo Gonçalves, Camilo Almendra, Miguel Goulão, João Araújo, Jaelson Castro

Aktuelle Ausgaben

Premium Partner