| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A Multi-Paradigm Modelling approach to live modelling
|
Van Tendeloo, Yentl
|
|
2018
|
18 |
5 |
p. 2821-2842
|
artikel
|
| 2 |
An extensible approach to implicit incremental model analyses
|
Hinkel, Georg
|
|
2019
|
18 |
5 |
p. 3151-3187
|
artikel
|
| 3 |
Artefacts in software engineering: a fundamental positioning
|
Méndez Fernández, Daniel
|
|
2019
|
18 |
5 |
p. 2777-2786
|
artikel
|
| 4 |
A unifying framework for homogeneous model composition
|
Kienzle, Jörg
|
|
2019
|
18 |
5 |
p. 3005-3023
|
artikel
|
| 5 |
Automatic verification of behavior preservation at the transformation level for relational model transformation
|
Dyck, Johannes
|
|
2018
|
18 |
5 |
p. 2937-2972
|
artikel
|
| 6 |
Certifying delta-oriented programs
|
Rodrigues, Vítor
|
|
2019
|
18 |
5 |
p. 2875-2906
|
artikel
|
| 7 |
Empirical study on the effectiveness and efficiency of model-driven architecture techniques
|
Shin, Shin-Shing
|
|
2019
|
18 |
5 |
p. 3083-3096
|
artikel
|
| 8 |
Modeling foundations for executable model-based testing of self-healing cyber-physical systems
|
Ma, Tao
|
|
2018
|
18 |
5 |
p. 2843-2873
|
artikel
|
| 9 |
Models@run.time: a guided tour of the state of the art and research challenges
|
Bencomo, Nelly
|
|
2019
|
18 |
5 |
p. 3049-3082
|
artikel
|
| 10 |
ParDSL: a domain-specific language framework for supporting deployment of parallel algorithms
|
Tekinerdogan, Bedir
|
|
2018
|
18 |
5 |
p. 2907-2935
|
artikel
|
| 11 |
Profiling the publish/subscribe paradigm for automated analysis using colored Petri nets
|
Gómez, Abel
|
|
2019
|
18 |
5 |
p. 2973-3003
|
artikel
|
| 12 |
RoboChart: modelling and verification of the functional behaviour of robotic applications
|
Miyazawa, Alvaro
|
|
2019
|
18 |
5 |
p. 3097-3149
|
artikel
|
| 13 |
Student experience with software modeling tools
|
Agner, Luciane T. W.
|
|
2019
|
18 |
5 |
p. 3025-3047
|
artikel
|
| 14 |
Using structural decomposition and refinements for deep modeling of software architectures
|
Hinkel, Georg
|
|
2018
|
18 |
5 |
p. 2787-2819
|
artikel
|
Tijdschrift beschrijving