| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Advanced and efficient execution trace management for executable domain-specific modeling languages
|
Bousse, Erwan
|
|
2017
|
18 |
1 |
p. 385-421
|
artikel
|
| 2 |
A feature-based classification of formal verification techniques for software models
|
Gabmeyer, Sebastian
|
|
2017
|
18 |
1 |
p. 473-498
|
artikel
|
| 3 |
A framework to specify system requirements using natural interpretation of UML/MARTE diagrams
|
Khan, Aamir M.
|
|
2017
|
18 |
1 |
p. 11-37
|
artikel
|
| 4 |
A metrics suite for UML model stability
|
AbuHassan, Amjad
|
|
2016
|
18 |
1 |
p. 557-583
|
artikel
|
| 5 |
A model-driven approach for vulnerability evaluation of modern physical protection systems
|
Drago, Annarita
|
|
2016
|
18 |
1 |
p. 523-556
|
artikel
|
| 6 |
A systematic approach to constructing families of incremental topology control algorithms using graph transformation
|
Kluge, Roland
|
|
2017
|
18 |
1 |
p. 279-319
|
artikel
|
| 7 |
Change propagation and bidirectionality in internal transformation DSLs
|
Hinkel, Georg
|
|
2017
|
18 |
1 |
p. 249-278
|
artikel
|
| 8 |
DataMock: An Agile Approach for Building Data Models from User Interface Mockups
|
Rivero, José Matías
|
|
2017
|
18 |
1 |
p. 663-690
|
artikel
|
| 9 |
Editorial to theme issue on model-driven engineering of component-based software systems
|
Ciccozzi, Federico
|
|
2017
|
18 |
1 |
p. 7-10
|
artikel
|
| 10 |
Effective product-line testing using similarity-based product prioritization
|
Al-Hajjaji, Mustafa
|
|
2016
|
18 |
1 |
p. 499-521
|
artikel
|
| 11 |
Experimental evaluation of a novel equivalence class partition testing strategy
|
Hübner, Felix
|
|
2017
|
18 |
1 |
p. 423-443
|
artikel
|
| 12 |
F-Alloy: a relational model transformation language based on Alloy
|
Gammaitoni, Loïc
|
|
2017
|
18 |
1 |
p. 213-247
|
artikel
|
| 13 |
Fast test suite-driven model-based fault localisation with application to pinpointing defects in student programs
|
Birch, Geoff
|
|
2017
|
18 |
1 |
p. 445-471
|
artikel
|
| 14 |
Incremental execution of model-to-text transformations using property access traces
|
Ogunyomi, Babajide
|
|
2018
|
18 |
1 |
p. 367-383
|
artikel
|
| 15 |
Interactive web interfaces modeling, simulation and analysis using Colored Petri Nets
|
Brant-Ribeiro, Taffarel
|
|
2017
|
18 |
1 |
p. 721-737
|
artikel
|
| 16 |
Introduction to the STAF 2015 special section
|
Blanchette, Jasmin
|
|
2018
|
18 |
1 |
p. 191-193
|
artikel
|
| 17 |
Lessons learned from developing mbeddr: a case study in language engineering with MPS
|
Voelter, Markus
|
|
2017
|
18 |
1 |
p. 585-630
|
artikel
|
| 18 |
Multi-objective exploration of architectural designs by composition of model transformations
|
Rahmoun, Smail
|
|
2017
|
18 |
1 |
p. 107-127
|
artikel
|
| 19 |
Realizing strategic fit within the business architecture: the design of a Process-Goal Alignment modeling and analysis technique
|
Roelens, Ben
|
|
2017
|
18 |
1 |
p. 631-662
|
artikel
|
| 20 |
Reusable specification templates for defining dynamic semantics of DSLs
|
Tikhonova, Ulyana
|
|
2017
|
18 |
1 |
p. 691-720
|
artikel
|
| 21 |
SoSyM reflections: the 2018 “State of the Journal” report
|
Ergin, Huseyin
|
|
2019
|
18 |
1 |
p. 1-5
|
artikel
|
| 22 |
SQL-PL4OCL: an automatic code generator from OCL to SQL procedural language
|
Egea, Marina
|
|
2017
|
18 |
1 |
p. 769-791
|
artikel
|
| 23 |
Supporting timing analysis of vehicular embedded systems through the refinement of timing constraints
|
Mubeen, Saad
|
|
2017
|
18 |
1 |
p. 39-69
|
artikel
|
| 24 |
Synthesis and exploration of multi-level, multi-perspective architectures of automotive embedded systems
|
Ross, Jordan A.
|
|
2017
|
18 |
1 |
p. 739-767
|
artikel
|
| 25 |
Synthesis of verifiable concurrent Java components from formal models
|
Mariño, Julio
|
|
2017
|
18 |
1 |
p. 71-105
|
artikel
|
| 26 |
Toward live domain-specific languages
|
Rozen, Riemer van
|
|
2017
|
18 |
1 |
p. 195-212
|
artikel
|
| 27 |
Transactional execution of hierarchical reconfigurations in cyber-physical systems
|
Heinzemann, Christian
|
|
2017
|
18 |
1 |
p. 157-189
|
artikel
|
| 28 |
Translation of ATL to AGT and application to a code generator for Simulink
|
Richa, Elie
|
|
2017
|
18 |
1 |
p. 321-344
|
artikel
|
| 29 |
Type inference in flexible model-driven engineering using classification algorithms
|
Zolotas, Athanasios
|
|
2018
|
18 |
1 |
p. 345-366
|
artikel
|
| 30 |
Using internal domain-specific languages to inherit tool support and modularity for model transformations
|
Hinkel, Georg
|
|
2017
|
18 |
1 |
p. 129-155
|
artikel
|
Tijdschrift beschrijving