Found: 34
Select item for more details and to access through your institution.
SoSyM significantly reduces its backlog.
- Published in:
- 2019
- By:
- Publication type:
- Editorial
Editorial to the theme section on model-based testing.
- Published in:
- 2019
- By:
- Publication type:
- Editorial
Testing concurrent user behavior of synchronous web applications with Petri nets.
- Published in:
- Software & Systems Modeling, 2019, v. 18, n. 2, p. 913, doi. 10.1007/s10270-018-0655-8
- By:
- Publication type:
- Article
Special Section of BPMDS'2016: Business Processes in a Connected World.
- Published in:
- 2019
- By:
- Publication type:
- Editorial
A method for testing and validating executable statechart models.
- Published in:
- Software & Systems Modeling, 2019, v. 18, n. 2, p. 837, doi. 10.1007/s10270-018-0676-3
- By:
- Publication type:
- Article
Connecting databases with process mining: a meta model and toolset.
- Published in:
- Software & Systems Modeling, 2019, v. 18, n. 2, p. 1209, doi. 10.1007/s10270-018-0664-7
- By:
- Publication type:
- Article
Guest editorial to the special section on ECMFA and ICMT at STAF 2016.
- Published in:
- 2019
- By:
- Publication type:
- Editorial
Model-based testing of software for automation systems using heuristics and coverage criterion.
- Published in:
- Software & Systems Modeling, 2019, v. 18, n. 2, p. 797, doi. 10.1007/s10270-018-0690-5
- By:
- Publication type:
- Article
Semi-automatic derivation of RESTful choreographies from business process choreographies.
- Published in:
- Software & Systems Modeling, 2019, v. 18, n. 2, p. 1195, doi. 10.1007/s10270-017-0653-2
- By:
- Publication type:
- Article
Searching textual and model-based process descriptions based on a unified data format.
- Published in:
- Software & Systems Modeling, 2019, v. 18, n. 2, p. 1179, doi. 10.1007/s10270-017-0649-y
- By:
- Publication type:
- Article
Selecting a process variant modeling approach: guidelines and application.
- Published in:
- Software & Systems Modeling, 2019, v. 18, n. 2, p. 1155, doi. 10.1007/s10270-017-0648-z
- By:
- Publication type:
- Article
Property-based testing of web services by deriving properties from business-rule models.
- Published in:
- Software & Systems Modeling, 2019, v. 18, n. 2, p. 889, doi. 10.1007/s10270-017-0647-0
- By:
- Publication type:
- Article
A local and global tour on MOMoT.
- Published in:
- Software & Systems Modeling, 2019, v. 18, n. 2, p. 1017, doi. 10.1007/s10270-017-0644-3
- By:
- Publication type:
- Article
Managing time-awareness in modularized processes.
- Published in:
- Software & Systems Modeling, 2019, v. 18, n. 2, p. 1135, doi. 10.1007/s10270-017-0643-4
- By:
- Publication type:
- Article
Toward a framework for self-adaptive workflows in cyber-physical systems.
- Published in:
- Software & Systems Modeling, 2019, v. 18, n. 2, p. 1117, doi. 10.1007/s10270-017-0639-0
- By:
- Publication type:
- Article
Supporting inheritance hierarchy changes in model-based regression test selection.
- Published in:
- Software & Systems Modeling, 2019, v. 18, n. 2, p. 937, doi. 10.1007/s10270-017-0636-3
- By:
- Publication type:
- Article
Temporal property patterns for model-based testing from UML/OCL.
- Published in:
- Software & Systems Modeling, 2019, v. 18, n. 2, p. 865, doi. 10.1007/s10270-017-0635-4
- By:
- Publication type:
- Article
An example is worth a thousand words: Creating graphical modelling environments by example.
- Published in:
- Software & Systems Modeling, 2019, v. 18, n. 2, p. 961, doi. 10.1007/s10270-017-0632-7
- By:
- Publication type:
- Article
Consistency requirements in business process modeling: a thorough overview.
- Published in:
- Software & Systems Modeling, 2019, v. 18, n. 2, p. 1097, doi. 10.1007/s10270-017-0629-2
- By:
- Publication type:
- Article
Model clone detection for rule-based model transformation languages.
- Published in:
- Software & Systems Modeling, 2019, v. 18, n. 2, p. 995, doi. 10.1007/s10270-017-0625-6
- By:
- Publication type:
- Article
FlexiSketch: a lightweight sketching and metamodeling approach for end-users.
- Published in:
- Software & Systems Modeling, 2019, v. 18, n. 2, p. 1513, doi. 10.1007/s10270-017-0623-8
- By:
- Publication type:
- Article
From use case maps to executable test procedures: a scenario-based approach.
- Published in:
- Software & Systems Modeling, 2019, v. 18, n. 2, p. 1543, doi. 10.1007/s10270-017-0620-y
- By:
- Publication type:
- Article
Theoretical foundations and implementation of business process diagrams' complexity management technique based on highlights.
- Published in:
- Software & Systems Modeling, 2019, v. 18, n. 2, p. 1079, doi. 10.1007/s10270-017-0618-5
- By:
- Publication type:
- Article
Formal modeling of biomedical signal acquisition systems: source of evidence for certification.
- Published in:
- Software & Systems Modeling, 2019, v. 18, n. 2, p. 1467, doi. 10.1007/s10270-017-0616-7
- By:
- Publication type:
- Article
Applying design patterns in the search-based optimization of software product line architectures.
- Published in:
- Software & Systems Modeling, 2019, v. 18, n. 2, p. 1487, doi. 10.1007/s10270-017-0614-9
- By:
- Publication type:
- Article
Toward testing from finite state machines with symbolic inputs and outputs.
- Published in:
- Software & Systems Modeling, 2019, v. 18, n. 2, p. 825, doi. 10.1007/s10270-017-0613-x
- By:
- Publication type:
- Article
3LConOnt: a three-level ontology for context modelling in context-aware computing.
- Published in:
- Software & Systems Modeling, 2019, v. 18, n. 2, p. 1345, doi. 10.1007/s10270-017-0611-z
- By:
- Publication type:
- Article
Stress-testing remote model querying APIs for relational and graph-based stores.
- Published in:
- Software & Systems Modeling, 2019, v. 18, n. 2, p. 1047, doi. 10.1007/s10270-017-0606-9
- By:
- Publication type:
- Article
SMTIBEA: a hybrid multi-objective optimization algorithm for configuring large constrained software product lines.
- Published in:
- Software & Systems Modeling, 2019, v. 18, n. 2, p. 1447, doi. 10.1007/s10270-017-0610-0
- By:
- Publication type:
- Article
Uncertainty-Wise Cyber-Physical System test modeling.
- Published in:
- Software & Systems Modeling, 2019, v. 18, n. 2, p. 1379, doi. 10.1007/s10270-017-0609-6
- By:
- Publication type:
- Article
End-to-end model-transformation comprehension through fine-grained traceability information.
- Published in:
- Software & Systems Modeling, 2019, v. 18, n. 2, p. 1305, doi. 10.1007/s10270-017-0602-0
- By:
- Publication type:
- Article
Assessing the impact of meta-model evolution: a measure and its automotive application.
- Published in:
- Software & Systems Modeling, 2019, v. 18, n. 2, p. 1419, doi. 10.1007/s10270-017-0601-1
- By:
- Publication type:
- Article
The next evolution of MDE: a seamless integration of machine learning into domain modeling.
- Published in:
- Software & Systems Modeling, 2019, v. 18, n. 2, p. 1285, doi. 10.1007/s10270-017-0600-2
- By:
- Publication type:
- Article
Managing design-time uncertainty.
- Published in:
- Software & Systems Modeling, 2019, v. 18, n. 2, p. 1249, doi. 10.1007/s10270-017-0594-9
- By:
- Publication type:
- Article