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

Unifying classes and processes

JOURNAL ARTICLE published July 2005 in Software & Systems Modeling

Authors: Ana Cavalcanti | Augusto Sampaio | Jim Woodcock

https://doi.org/10.1007/s10270-005-0085-2 Actions

Graphical composite modeling and simulation for multi-aircraft collision avoidance

JOURNAL ARTICLE published June 2021 in Software and Systems Modeling

Research funded by National Natural Science Foundation of China (61903368)

Authors: Feng Zhu | Jun Tang

https://doi.org/10.1007/s10270-020-00830-5 Actions

ParDSL: a domain-specific language framework for supporting deployment of parallel algorithms

JOURNAL ARTICLE published October 2019 in Software & Systems Modeling

Authors: Bedir Tekinerdogan | Ethem Arkin

https://doi.org/10.1007/s10270-018-00705-w Actions

Toward a methodology for case modeling

JOURNAL ARTICLE published November 2020 in Software and Systems Modeling

Authors: Marcin Hewelt | Luise Pufahl | Sankalita Mandal | Felix Wolff | Mathias Weske

https://doi.org/10.1007/s10270-019-00766-5 Actions

Automated generation of consistent, diverse and structurally realistic graph models

JOURNAL ARTICLE published October 2021 in Software and Systems Modeling

Authors: Oszkár Semeráth | Aren A. Babikian | Boqi Chen | Chuning Li | Kristóf Marussy | Gábor Szárnyas | Dániel Varró

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

Model-driven generative development of measurement software

JOURNAL ARTICLE published October 2011 in Software & Systems Modeling

Authors: Martin Monperrus | Jean-Marc Jézéquel | Benoit Baudry | Joël Champeau | Brigitte Hoeltzener

https://doi.org/10.1007/s10270-010-0165-9 Actions

Enhancing the OPEN Process Framework with service-oriented method fragments

JOURNAL ARTICLE published February 2014 in Software & Systems Modeling

Authors: Mahdi Fahmideh Gholami | Mohsen Sharifi | Pooyan Jamshidi

https://doi.org/10.1007/s10270-011-0222-z Actions

Enhancing secure business process design with security process patterns

JOURNAL ARTICLE published May 2020 in Software and Systems Modeling

Authors: Nikolaos Argyropoulos | Haralambos Mouratidis | Andrew Fish

https://doi.org/10.1007/s10270-019-00743-y Actions

More matters on (meta-)modelling: remarks on Thomas Kühne’s “matters”

JOURNAL ARTICLE published 22 November 2006 in Software & Systems Modeling

Authors: Wolfgang Hesse

https://doi.org/10.1007/s10270-006-0033-9 Actions

Model-based simulation of legal policies: framework, tool support, and validation

JOURNAL ARTICLE published July 2018 in Software & Systems Modeling

Research funded by Fonds National de la Recherche Luxenbourg (FNR) (FNR/P10/03,FNR9242479)

Authors: Ghanem Soltana | Nicolas Sannier | Mehrdad Sabetzadeh | Lionel C. Briand

https://doi.org/10.1007/s10270-016-0542-0 Actions

Rigorous design of cyber-physical systems

JOURNAL ARTICLE published June 2019 in Software & Systems Modeling

Authors: Simon Bliudze | Sébastien Furic | Joseph Sifakis | Antoine Viel

https://doi.org/10.1007/s10270-017-0642-5 Actions

Template-based model generation

JOURNAL ARTICLE published June 2019 in Software & Systems Modeling

Research funded by Jiangsu Province Research Foundation (BK20141322,BK20150589) | National Natural Science Foundation of China (61300009,61472180) | National Natural Science Foundation of China (61502228,61672046)

Authors: Xiao He | Tian Zhang | Minxue Pan | Zhiyi Ma | Chang-Jun Hu

https://doi.org/10.1007/s10270-017-0634-5 Actions

Predictions-on-chip: model-based training and automated deployment of machine learning models at runtime

JOURNAL ARTICLE published June 2021 in Software and Systems Modeling

Authors: Sebastian Pilarski | Martin Staniszewski | Matthew Bryan | Frederic Villeneuve | Dániel Varró

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

Redesign of UML class diagrams: a formal approach

JOURNAL ARTICLE published April 2009 in Software & Systems Modeling

Authors: Piotr Kosiuczenko

https://doi.org/10.1007/s10270-007-0068-6 Actions

Comparing and classifying model transformation reuse approaches across metamodels

JOURNAL ARTICLE published March 2020 in Software and Systems Modeling

Authors: Jean-Michel Bruel | Benoit Combemale | Esther Guerra | Jean-Marc Jézéquel | Jörg Kienzle | Juan de Lara | Gunter Mussbacher | Eugene Syriani | Hans Vangheluwe

https://doi.org/10.1007/s10270-019-00762-9 Actions

Specification of invariability in OCL

JOURNAL ARTICLE published May 2013 in Software & Systems Modeling

Authors: Piotr Kosiuczenko

https://doi.org/10.1007/s10270-011-0215-y Actions

VPM: A visual, precise and multilevel metamodeling framework for describing mathematical domains and UML (The Mathematics of Metamodeling is Metamodeling Mathematics)

JOURNAL ARTICLE published October 2003 in Software & Systems Modeling

Authors: Dániel Varró | András Pataricza

https://doi.org/10.1007/s10270-003-0028-8 Actions

On the formal interpretation and behavioural consistency checking of SysML blocks

JOURNAL ARTICLE published October 2017 in Software & Systems Modeling

Authors: Jaco Jacobs | Andrew Simpson

https://doi.org/10.1007/s10270-015-0511-z Actions

A graph grammar-based formal validation of object-process diagrams

JOURNAL ARTICLE published May 2012 in Software & Systems Modeling

Authors: Arieh Bibliowicz | Dov Dori

https://doi.org/10.1007/s10270-011-0201-4 Actions

A model-based architecture for interactive run-time monitoring

JOURNAL ARTICLE published July 2020 in Software and Systems Modeling

Authors: Nicolas Hili | Mojtaba Bagherzadeh | Karim Jahed | Juergen Dingel

https://doi.org/10.1007/s10270-020-00780-y Actions
Feedback: support@crossref.org