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

Formalised EMFTVM bytecode language for sound verification of model transformations

JOURNAL ARTICLE published October 2018 in Software & Systems Modeling

Authors: Zheng Cheng | Rosemary Monahan | James F. Power

https://doi.org/10.1007/s10270-016-0553-x Actions

Scope in model transformations

JOURNAL ARTICLE published October 2018 in Software & Systems Modeling

Authors: Māris Jukšs | Clark Verbrugge | Maged Elaasar | Hans Vangheluwe

https://doi.org/10.1007/s10270-016-0555-8 Actions

Design and automation of a COSMIC measurement procedure based on UML models

JOURNAL ARTICLE published January 2020 in Software and Systems Modeling

Authors: Gabriele De Vito | Filomena Ferrucci | Carmine Gravino

https://doi.org/10.1007/s10270-019-00731-2 Actions

Model driven architecture: Principles and practice

JOURNAL ARTICLE published 3 August 2004 in Software and Systems Modeling

Authors: Alan W. Brown

https://doi.org/10.1007/s10270-004-0061-2 Actions

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

https://doi.org/10.1007/s10270-016-0523-3 Actions

Exchanging information in cooperative software validation

JOURNAL ARTICLE published 19 March 2024 in Software and Systems Modeling

Authors: Jan Haltermann | Heike Wehrheim

https://doi.org/10.1007/s10270-024-01155-3 Actions

Synchronization of abstract and concrete syntax in domain-specific modeling languages

JOURNAL ARTICLE published September 2010 in Software & Systems Modeling

Authors: István Ráth | András Ökrös | Dániel Varró

https://doi.org/10.1007/s10270-009-0122-7 Actions

Modeling and verification of a telecommunication application using live sequence charts and the Play-Engine tool

JOURNAL ARTICLE published May 2008 in Software & Systems Modeling

Authors: Pierre Combes | David Harel | Hillel Kugler

https://doi.org/10.1007/s10270-007-0069-5 Actions

CEViNEdit: improving the process of creating cognitively effective graphical editors with GMF

JOURNAL ARTICLE published June 2021 in Software and Systems Modeling

Authors: David Granada | Juan M. Vara | Mercedes Merayo | Esperanza Marcos

https://doi.org/10.1007/s10270-020-00833-2 Actions

On the unification power of models

JOURNAL ARTICLE published May 2005 in Software & Systems Modeling

Authors: Jean Bézivin

https://doi.org/10.1007/s10270-005-0079-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

Classification and trend analysis of UML books (1997–2009)

JOURNAL ARTICLE published May 2012 in Software & Systems Modeling

Authors: Vahid Garousi

https://doi.org/10.1007/s10270-011-0189-9 Actions

“No shit” or “Oh, shit!”: responses to observations on the use of UML in professional practice

JOURNAL ARTICLE published October 2014 in Software & Systems Modeling

Authors: Marian Petre

https://doi.org/10.1007/s10270-014-0430-4 Actions

Flexmi: a generic and modular textual syntax for domain-specific modelling

JOURNAL ARTICLE published August 2023 in Software and Systems Modeling

Research funded by Innovate UK (113213)

Authors: Dimitris Kolovos | Alfonso de la Vega

https://doi.org/10.1007/s10270-022-01064-3 Actions

Teaching model-driven engineering from a relational database perspective

JOURNAL ARTICLE published May 2017 in Software & Systems Modeling

Authors: Don Batory | Maider Azanza

https://doi.org/10.1007/s10270-015-0488-7 Actions

Wodel-Test: a model-based framework for language-independent mutation testing

JOURNAL ARTICLE published June 2021 in Software and Systems Modeling

Research funded by Comunidad de Madrid (S2018/TCS-4314) | Ministerio de Ciencia e Innovación (RTI2018-093608-B-C31,RTI2018-095255-B-I00) | Ministerio de Ciencia e Innovación (TIN2015-65845-C3-1-R)

Authors: Pablo Gómez-Abajo | Esther Guerra | Juan de Lara | Mercedes G. Merayo

https://doi.org/10.1007/s10270-020-00827-0 Actions

A situational method for semi-automated Enterprise Architecture Documentation

JOURNAL ARTICLE published May 2016 in Software & Systems Modeling

Authors: Matthias Farwick | Christian M. Schweda | Ruth Breu | Inge Hanschke

https://doi.org/10.1007/s10270-014-0407-3 Actions

Automatic data collection for enterprise architecture models

JOURNAL ARTICLE published May 2014 in Software & Systems Modeling

Authors: Hannes Holm | Markus Buschle | Robert Lagerström | Mathias Ekstedt

https://doi.org/10.1007/s10270-012-0252-1 Actions

Suggesting model transformation repairs for rule-based languages using a contract-based testing approach

JOURNAL ARTICLE published February 2022 in Software and Systems Modeling

Research funded by European Regional Development Fund (49/520608.9/18,GR18112) | European Regional Development Fund (IB18034) | Ministerio de Ciencia, Innovación y Universidades (RTI2018-098652-B-I00)

Authors: Roberto Rodriguez-Echeverria | Fernando Macías | Adrian Rutle | José M. Conejero

https://doi.org/10.1007/s10270-021-00891-0 Actions
Feedback: support@crossref.org