Found: 13
Select item for more details and to access through your institution.
Agile model-based system development.
- Published in:
- 2018
- By:
- Publication type:
- Editorial
The Train Benchmark: cross-technology performance evaluation of continuous model queries.
- Published in:
- Software & Systems Modeling, 2018, v. 17, n. 4, p. 1365, doi. 10.1007/s10270-016-0571-8
- By:
- Publication type:
- Article
Efficient parallel reasoning on fuzzy goal models for run time requirements verification.
- Published in:
- Software & Systems Modeling, 2018, v. 17, n. 4, p. 1339, doi. 10.1007/s10270-016-0562-9
- By:
- Publication type:
- Article
An approach to clone detection in sequence diagrams and its application to security analysis.
- Published in:
- Software & Systems Modeling, 2018, v. 17, n. 4, p. 1287, doi. 10.1007/s10270-016-0557-6
- By:
- Publication type:
- Article
On the automated translational execution of the action language for foundational UML.
- Published in:
- Software & Systems Modeling, 2018, v. 17, n. 4, p. 1311, doi. 10.1007/s10270-016-0556-7
- By:
- Publication type:
- Article
Holistic security requirements analysis for socio-technical systems.
- Published in:
- Software & Systems Modeling, 2018, v. 17, n. 4, p. 1253, doi. 10.1007/s10270-016-0560-y
- By:
- Publication type:
- Article
VMTL: a language for end-user model transformation.
- Published in:
- Software & Systems Modeling, 2018, v. 17, n. 4, p. 1139, doi. 10.1007/s10270-016-0546-9
- By:
- Publication type:
- Article
Scope in model transformations.
- Published in:
- Software & Systems Modeling, 2018, v. 17, n. 4, p. 1227, doi. 10.1007/s10270-016-0555-8
- By:
- Publication type:
- Article
Formalised EMFTVM bytecode language for sound verification of model transformations.
- Published in:
- Software & Systems Modeling, 2018, v. 17, n. 4, p. 1197, doi. 10.1007/s10270-016-0553-x
- By:
- Publication type:
- Article
A model-driven development approach for context-aware systems.
- Published in:
- Software & Systems Modeling, 2018, v. 17, n. 4, p. 1169, doi. 10.1007/s10270-016-0550-0
- By:
- Publication type:
- Article
On submodels and submetamodels with their relation.
- Published in:
- Software & Systems Modeling, 2018, v. 17, n. 4, p. 1105, doi. 10.1007/s10270-016-0540-2
- By:
- Publication type:
- Article
Reusing metamodels and notation with Diagram Definition.
- Published in:
- Software & Systems Modeling, 2018, v. 17, n. 4, p. 1079, doi. 10.1007/s10270-016-0537-x
- By:
- Publication type:
- Article
Encoding process discovery problems in SMT.
- Published in:
- Software & Systems Modeling, 2018, v. 17, n. 4, p. 1055, doi. 10.1007/s10270-016-0536-y
- By:
- Publication type:
- Article