Spectra: a specification language for reactive systems

JOURNAL ARTICLE published October 2021 in Software and Systems Modeling

Research funded by H2020 European Research Council (638049)

Authors: Shahar Maoz | Jan Oliver Ringert

A UML Profile for the Design, Quality Assessment and Deployment of Data-intensive Applications

JOURNAL ARTICLE published December 2019 in Software and Systems Modeling

Research funded by European Commission (DICE Grant Agreement No. 644869) | Spanish Ministry of Economy and Competitiveness (CyCriSec-TIN2014-58457-R) | Aragonese Government (ref. T94, DIStributed COmputation (DISCO))

Authors: Diego Perez-Palacin | José Merseguer | José I. Requeno | M. Guerriero | Elisabetta Di Nitto | D. A. Tamburri

Module superimposition: a composition technique for rule-based model transformation languages

JOURNAL ARTICLE published June 2010 in Software & Systems Modeling

Authors: Dennis Wagelaar | Ragnhild Van Der Straeten | Dirk Deridder

Formal foundation of consistent EMF model transformations by algebraic graph transformation

JOURNAL ARTICLE published May 2012 in Software & Systems Modeling

Authors: Enrico Biermann | Claudia Ermel | Gabriele Taentzer

Exploring inconsistencies between modal transition systems

JOURNAL ARTICLE published February 2011 in Software & Systems Modeling

Authors: Mathieu Sassolas | Marsha Chechik | Sebastian Uchitel

Model-based engineering in the embedded systems domain: an industrial survey on the state-of-practice

JOURNAL ARTICLE published February 2018 in Software & Systems Modeling

Research funded by Österreichische Forschungsförderungsgesellschaft (838495) | VINNOVA (2012-04304)

Authors: Grischa Liebel | Nadja Marko | Matthias Tichy | Andrea Leitner | Jörgen Hansson

A survey of approaches for verifying model transformations

JOURNAL ARTICLE published May 2015 in Software & Systems Modeling

Authors: Lukman Ab. Rahim | Jon Whittle

Qualifying input test data for model transformations

JOURNAL ARTICLE published April 2009 in Software & Systems Modeling

Authors: Franck Fleurey | Benoit Baudry | Pierre-Alain Muller | Yves Le Traon

On the application of process management and process mining to Industry 4.0

JOURNAL ARTICLE published 25 April 2024 in Software and Systems Modeling

Research funded by MIUR - Ministero UniversitÀ e Ricerca (PNRR PE11, spoke 8 (CUP: B53C22004130001)) | MISE - Ministero Sviluppo Economico (Electrospindle 4.0 (id: F/160038/01-04/X41)Fustella 4.0 (CUP: C81B21000830008)) | MISE (Agile & Secure Digital Twins (A &S-DT))

Authors: Flavia Monti | Jerin George Mathew | Francesco Leotta | Agnes Koschmider | Massimo Mecella

Efficient model similarity estimation with robust hashing

JOURNAL ARTICLE published February 2022 in Software and Systems Modeling

Authors: Salvador Martínez | Sébastien Gérard | Jordi Cabot

Contract-based verification of discrete-time multi-rate Simulink models

JOURNAL ARTICLE published October 2016 in Software & Systems Modeling

Authors: Pontus Boström | Jonatan Wiik

A survey of traceability in requirements engineering and model-driven development

JOURNAL ARTICLE published September 2010 in Software & Systems Modeling

Authors: Stefan Winkler | Jens von Pilgrim

BPMN-E2: a BPMN extension for an enhanced workflow description

JOURNAL ARTICLE published August 2019 in Software & Systems Modeling

Authors: Mateo Ramos-Merino | Juan M. Santos-Gago | Luis M. Álvarez-Sabucedo | Victor M. Alonso-Roris | Javier Sanz-Valero

Empirical evaluation of CMMN models: a collaborative process case study

JOURNAL ARTICLE published November 2020 in Software and Systems Modeling

Research funded by European Commission (LIF14 ENV/GR/000858)

Authors: Ioannis Routis | Mara Nikolaidou | Dimosthenis Anagnostopoulos

Ontological Evaluation of the UML Using the Bunge-Wand-Weber Model

JOURNAL ARTICLE published 1 September 2002 in Software and Systems Modeling

Authors: Andreas L. Opdahl | Brian Henderson-Sellers

A case study on consistency management of business and IT process models in banking

JOURNAL ARTICLE published July 2014 in Software & Systems Modeling

Authors: Moisés Castelo Branco | Yingfei Xiong | Krzysztof Czarnecki | Jochen Küster | Hagen Völzer

Contract-based modeling and verification of timed safety requirements within SysML

JOURNAL ARTICLE published May 2017 in Software & Systems Modeling

Authors: Iulia Dragomir | Iulian Ober | Christian Percebois

Correction to: Evaluation of a machine learning classifier for metamodels

JOURNAL ARTICLE published December 2021 in Software and Systems Modeling

Authors: Phuong T. Nguyen | Juri Di Rocco | Ludovico Iovino | Davide Di Ruscio | Alfonso Pierantonio

Guest Editorial to the Special Issue on MoDELS 2006

JOURNAL ARTICLE published October 2008 in Software & Systems Modeling

Authors: Oscar Nierstrasz | Jon Whittle

Software engineering methods in other engineering disciplines

JOURNAL ARTICLE published May 2018 in Software & Systems Modeling

Authors: Jeff Gray | Bernhard Rumpe