Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 5 of 1256 results
Sort by: relevance publication year

Editorial for the Speccial Issue UML 2001 Conference

JOURNAL ARTICLE published 1 December 2002 in Software and Systems Modeling

Authors: Not Available Not Available

Model-based testing of software for automation systems using heuristics and coverage criterion

JOURNAL ARTICLE published April 2019 in Software & Systems Modeling

Authors: Rodrigo José Sarmento Peixoto | Leandro Dias da Silva | Angelo Perkusich

Theme section on model-driven requirements engineering

JOURNAL ARTICLE published December 2022 in Software and Systems Modeling

Authors: Ana Moreira | Gunter Mussbacher | João Araújo | Pablo Sánchez

Petri and how he saw the world

JOURNAL ARTICLE published May 2015 in Software & Systems Modeling

Authors: Einar Smith

Automatic maintenance of association invariants

JOURNAL ARTICLE published July 2008 in Software & Systems Modeling

Authors: James Welch | David Faitelson | Jim Davies

Guest editorial to the theme issue on traceability in model-driven engineering

JOURNAL ARTICLE published September 2010 in Software & Systems Modeling

Authors: Richard F. Paige | Goran K. Olsen | Jon Oldevik | Tor Neple

Metric propositional neighborhood logics on natural numbers

JOURNAL ARTICLE published May 2013 in Software & Systems Modeling

Authors: Davide Bresolin | Dario Della Monica | Valentin Goranko | Angelo Montanari | Guido Sciavicco

Reproducible execution of POSIX programs with DiOS

JOURNAL ARTICLE published April 2021 in Software and Systems Modeling

Research funded by Grantová Agentura Ceské Republiky (18-02177S)

Authors: Petr Ročkai | Zuzana Baranová | Jan Mrázek | Katarína Kejstová | Jiříí Barnat

A personal retrospective on language workbenches

JOURNAL ARTICLE published June 2023 in Software and Systems Modeling

Authors: Mark van den Brand

OCL 1.4/5 vs. 2.0 Expressions Formal semantics and expressiveness

JOURNAL ARTICLE published March 2004 in Software & Systems Modeling

Authors: María Victoria Cengarle | Alexander Knapp

Improving timing analysis effectiveness for scenario-based specifications by combining SAT and LP techniques

JOURNAL ARTICLE published August 2022 in Software and Systems Modeling

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

Authors: Longlong Lu | Minxue Pan | Tian Zhang | Xuandong Li

Using structural decomposition and refinements for deep modeling of software architectures

JOURNAL ARTICLE published October 2019 in Software & Systems Modeling

Authors: Georg Hinkel

Semi-automatic service value network modeling approach based on external public data

JOURNAL ARTICLE published April 2023 in Software and Systems Modeling

Research funded by Natural Science Foundation of Heilongjiang Province (QC2018081) | National Natural Science Foundation of China (61772155,61832004) | National Natural Science Foundation of China (61832014) | National Key Research and Development Program of China (2018YFB1402500)

Authors: Jingying Wang | Chao Ma | Huixin Xu | Zhiying Tu | Xiaofei Xu | Hanchuan Xu | Zhongjie Wang

What can we learn from enterprise architecture models? An experiment comparing models and documents for capability development

JOURNAL ARTICLE published May 2018 in Software & Systems Modeling

Authors: Ulrik Franke | Mika Cohen | Johan Sigholm

Guest editorial for the special section on MODELS 2021

JOURNAL ARTICLE published October 2023 in Software and Systems Modeling

Authors: Shiva Nejati | Dániel Varró

Integrating business process simulation and information system simulation for performance prediction

JOURNAL ARTICLE published February 2017 in Software & Systems Modeling

Authors: Robert Heinrich | Philipp Merkle | Jörg Henss | Barbara Paech

Unique identification of elements in evolving software models

JOURNAL ARTICLE published May 2014 in Software & Systems Modeling

Authors: Sven Wenzel

Understanding and improving UML package merge

JOURNAL ARTICLE published October 2008 in Software & Systems Modeling

Authors: J. Dingel | Z. Diskin | A. Zito

A functional size measurement method for object-oriented conceptual schemas: design and evaluation issues

JOURNAL ARTICLE published April 2006 in Software & Systems Modeling

Authors: Silvia Abrahão | Geert Poels | Oscar Pastor

Performance modeling and analysis of message-oriented event-driven systems

JOURNAL ARTICLE published October 2013 in Software & Systems Modeling

Authors: Kai Sachs | Samuel Kounev | Alejandro Buchmann