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

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

https://doi.org/10.1007/s10270-019-00730-3 Actions

Supporting timing analysis of vehicular embedded systems through the refinement of timing constraints

JOURNAL ARTICLE published February 2019 in Software & Systems Modeling

Authors: Saad Mubeen | Thomas Nolte | Mikael Sjödin | John Lundbäck | Kurt-Lennart Lundbäck

https://doi.org/10.1007/s10270-017-0579-8 Actions

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

https://doi.org/10.1007/s10270-021-00868-z Actions

Toward a framework for self-adaptive workflows in cyber-physical systems

JOURNAL ARTICLE published April 2019 in Software & Systems Modeling

Research funded by European Social Fund (100268299)

Authors: Ronny Seiger | Steffen Huber | Peter Heisig | Uwe Aßmann

https://doi.org/10.1007/s10270-017-0639-0 Actions

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

https://doi.org/10.1007/s10270-009-0145-0 Actions

Fairness, assumptions, and guarantees for extended bounded response LTL+P synthesis

JOURNAL ARTICLE published April 2024 in Software and Systems Modeling

Authors: Alessandro Cimatti | Luca Geatti | Nicola Gigante | Angelo Montanari | Stefano Tonetta

https://doi.org/10.1007/s10270-023-01122-4 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

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

Efficient regression testing of distributed real-time reactive systems in the context of model-driven development

JOURNAL ARTICLE published October 2023 in Software and Systems Modeling

Authors: Majid Babaei | Juergen Dingel

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

MORGAN: a modeling recommender system based on graph kernel

JOURNAL ARTICLE published October 2023 in Software and Systems Modeling

Authors: Claudio Di Sipio | Juri Di Rocco | Davide Di Ruscio | Phuong T. Nguyen

https://doi.org/10.1007/s10270-023-01102-8 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

Towards a model-driven approach for multiexperience AI-based user interfaces

JOURNAL ARTICLE published August 2021 in Software and Systems Modeling

Authors: Elena Planas | Gwendal Daniel | Marco Brambilla | Jordi Cabot

https://doi.org/10.1007/s10270-021-00904-y 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

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

Formalization of UML state machines using temporal logic

JOURNAL ARTICLE published March 2004 in Software & Systems Modeling

Authors: Carlos Rossi | Manuel Enciso | Inmaculada P. de Guzmán

https://doi.org/10.1007/s10270-003-0029-7 Actions
Feedback: support@crossref.org