Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 10 of 1257 results
Sort by: relevance publication year
Showing results for ISSN matching 1619-1366

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

https://doi.org/10.1007/s10270-007-0074-8 Actions

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

https://doi.org/10.1007/s10270-024-01175-z Actions

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

https://doi.org/10.1007/s10270-015-0477-x Actions

Accelerating similarity-based model matching using dual hashing

JOURNAL ARTICLE published 29 April 2024 in Software and Systems Modeling

Research funded by National Key Research and Development Program of China (2021YFC3001304) | Natural Science Foundation of Beijing Municipality (4192036)

Authors: Xiao He | Yi Liu | Huihong He

https://doi.org/10.1007/s10270-024-01173-1 Actions

A relational approach to defining and implementing transformations between metamodels

JOURNAL ARTICLE published December 2003 in Software & Systems Modeling

Authors: David Akehurst | Stuart Kent | Octavian Patrascoiu

https://doi.org/10.1007/s10270-003-0032-z Actions

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

https://doi.org/10.1007/s10270-011-0199-7 Actions

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

https://doi.org/10.1007/s10270-009-0134-3 Actions

The uncertainty interaction problem in self-adaptive systems

JOURNAL ARTICLE published August 2022 in Software and Systems Modeling

Authors: Javier Cámara | Javier Troya | Antonio Vallecillo | Nelly Bencomo | Radu Calinescu | Betty H. C. Cheng | David Garlan | Bradley Schmerl

https://doi.org/10.1007/s10270-022-01037-6 Actions

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

JOURNAL ARTICLE published May 2020 in Software and Systems Modeling

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

https://doi.org/10.1007/s10270-019-00752-x Actions

Designing secure business processes with SecBPMN

JOURNAL ARTICLE published July 2017 in Software & Systems Modeling

Authors: Mattia Salnitri | Fabiano Dalpiaz | Paolo Giorgini

https://doi.org/10.1007/s10270-015-0499-4 Actions

A survey of approaches for verifying model transformations

JOURNAL ARTICLE published May 2015 in Software & Systems Modeling

Authors: Lukman Ab. Rahim | Jon Whittle

https://doi.org/10.1007/s10270-013-0358-0 Actions

Repository mining for changes in Simulink and Stateflow models

JOURNAL ARTICLE published October 2023 in Software and Systems Modeling

Authors: Monika Jaskolka | Vera Pantelic | Alan Wassyng | Richard F. Paige | Mark Lawford

https://doi.org/10.1007/s10270-023-01113-5 Actions

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

https://doi.org/10.1007/s10270-018-0669-2 Actions

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

https://doi.org/10.1007/s10270-020-00802-9 Actions

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

https://doi.org/10.1007/s10270-002-8209-4 Actions

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

https://doi.org/10.1007/s10270-013-0318-8 Actions

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

https://doi.org/10.1007/s10270-015-0481-1 Actions

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

https://doi.org/10.1007/s10270-021-00944-4 Actions

Guest Editorial to the Special Issue on MoDELS 2006

JOURNAL ARTICLE published October 2008 in Software & Systems Modeling

Authors: Oscar Nierstrasz | Jon Whittle

https://doi.org/10.1007/s10270-008-0100-5 Actions

Software engineering methods in other engineering disciplines

JOURNAL ARTICLE published May 2018 in Software & Systems Modeling

Authors: Jeff Gray | Bernhard Rumpe

https://doi.org/10.1007/s10270-018-0674-5 Actions
Feedback: support@crossref.org