| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A local and global tour on MOMoT
|
Bill, Robert
|
|
2017
|
18 |
2 |
p. 1017-1046
|
artikel
|
| 2 |
A method for testing and validating executable statechart models
|
Mens, Tom
|
|
2018
|
18 |
2 |
p. 837-863
|
artikel
|
| 3 |
An example is worth a thousand words: Creating graphical modelling environments by example
|
López-Fernández, Jesús J.
|
|
2017
|
18 |
2 |
p. 961-993
|
artikel
|
| 4 |
Applying design patterns in the search-based optimization of software product line architectures
|
Guizzo, Giovani
|
|
2017
|
18 |
2 |
p. 1487-1512
|
artikel
|
| 5 |
Assessing the impact of meta-model evolution: a measure and its automotive application
|
Durisic, Darko
|
|
2017
|
18 |
2 |
p. 1419-1445
|
artikel
|
| 6 |
Connecting databases with process mining: a meta model and toolset
|
González López de Murillas, Eduardo
|
|
2018
|
18 |
2 |
p. 1209-1247
|
artikel
|
| 7 |
Consistency requirements in business process modeling: a thorough overview
|
Awadid, Afef
|
|
2017
|
18 |
2 |
p. 1097-1115
|
artikel
|
| 8 |
Editorial to the theme section on model-based testing
|
Papadakis, Mike
|
|
2018
|
18 |
2 |
p. 795-796
|
artikel
|
| 9 |
End-to-end model-transformation comprehension through fine-grained traceability information
|
Guana, Victor
|
|
2017
|
18 |
2 |
p. 1305-1344
|
artikel
|
| 10 |
FlexiSketch: a lightweight sketching and metamodeling approach for end-users
|
Wüest, Dustin
|
|
2017
|
18 |
2 |
p. 1513-1541
|
artikel
|
| 11 |
Formal modeling of biomedical signal acquisition systems: source of evidence for certification
|
Sobrinho, Alvaro
|
|
2017
|
18 |
2 |
p. 1467-1485
|
artikel
|
| 12 |
From use case maps to executable test procedures: a scenario-based approach
|
Kesserwan, Nader
|
|
2017
|
18 |
2 |
p. 1543-1570
|
artikel
|
| 13 |
Guest editorial to the special section on ECMFA and ICMT at STAF 2016
|
Gorp, Pieter Van
|
|
2018
|
18 |
2 |
p. 959-960
|
artikel
|
| 14 |
3LConOnt: a three-level ontology for context modelling in context-aware computing
|
Cabrera, Oscar
|
|
2017
|
18 |
2 |
p. 1345-1378
|
artikel
|
| 15 |
Managing design-time uncertainty
|
Famelis, Michalis
|
|
2017
|
18 |
2 |
p. 1249-1284
|
artikel
|
| 16 |
Managing time-awareness in modularized processes
|
Posenato, Roberto
|
|
2018
|
18 |
2 |
p. 1135-1154
|
artikel
|
| 17 |
Model-based testing of software for automation systems using heuristics and coverage criterion
|
Peixoto, Rodrigo José Sarmento
|
|
2018
|
18 |
2 |
p. 797-823
|
artikel
|
| 18 |
Model clone detection for rule-based model transformation languages
|
Strüber, Daniel
|
|
2017
|
18 |
2 |
p. 995-1016
|
artikel
|
| 19 |
Property-based testing of web services by deriving properties from business-rule models
|
Aichernig, Bernhard K.
|
|
2017
|
18 |
2 |
p. 889-911
|
artikel
|
| 20 |
Searching textual and model-based process descriptions based on a unified data format
|
Leopold, Henrik
|
|
2017
|
18 |
2 |
p. 1179-1194
|
artikel
|
| 21 |
Selecting a process variant modeling approach: guidelines and application
|
Aysolmaz, Banu
|
|
2017
|
18 |
2 |
p. 1155-1178
|
artikel
|
| 22 |
Semi-automatic derivation of RESTful choreographies from business process choreographies
|
Nikaj, Adriatik
|
|
2017
|
18 |
2 |
p. 1195-1208
|
artikel
|
| 23 |
SMTIBEA: a hybrid multi-objective optimization algorithm for configuring large constrained software product lines
|
Guo, Jianmei
|
|
2017
|
18 |
2 |
p. 1447-1466
|
artikel
|
| 24 |
SoSyM significantly reduces its backlog
|
Ergin, Huseyin
|
|
2019
|
18 |
2 |
p. 793-794
|
artikel
|
| 25 |
Special Section of BPMDS’2016: Business Processes in a Connected World
|
Schmidt, Rainer
|
|
2018
|
18 |
2 |
p. 1077-1078
|
artikel
|
| 26 |
Stress-testing remote model querying APIs for relational and graph-based stores
|
Garcia-Dominguez, Antonio
|
|
2017
|
18 |
2 |
p. 1047-1075
|
artikel
|
| 27 |
Supporting inheritance hierarchy changes in model-based regression test selection
|
Al-Refai, Mohammed
|
|
2017
|
18 |
2 |
p. 937-958
|
artikel
|
| 28 |
Temporal property patterns for model-based testing from UML/OCL
|
Dadeau, Frédéric
|
|
2017
|
18 |
2 |
p. 865-888
|
artikel
|
| 29 |
Testing concurrent user behavior of synchronous web applications with Petri nets
|
Offutt, Jeff
|
|
2018
|
18 |
2 |
p. 913-936
|
artikel
|
| 30 |
The next evolution of MDE: a seamless integration of machine learning into domain modeling
|
Hartmann, Thomas
|
|
2017
|
18 |
2 |
p. 1285-1304
|
artikel
|
| 31 |
Theoretical foundations and implementation of business process diagrams’ complexity management technique based on highlights
|
Jošt, Gregor
|
|
2017
|
18 |
2 |
p. 1079-1095
|
artikel
|
| 32 |
Toward a framework for self-adaptive workflows in cyber-physical systems
|
Seiger, Ronny
|
|
2017
|
18 |
2 |
p. 1117-1134
|
artikel
|
| 33 |
Toward testing from finite state machines with symbolic inputs and outputs
|
Petrenko, Alexandre
|
|
2017
|
18 |
2 |
p. 825-835
|
artikel
|
| 34 |
Uncertainty-Wise Cyber-Physical System test modeling
|
Zhang, Man
|
|
2017
|
18 |
2 |
p. 1379-1418
|
artikel
|
Tijdschrift beschrijving