| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A change-aware per-file analysis to compile configurable systems with #ifdefs
|
Braz, Larissa
|
|
2018
|
54 |
C |
p. 427-450
|
artikel
|
| 2 |
Achieving model quality through model validation, verification and exploration
|
Gogolla, Martin
|
|
2018
|
54 |
C |
p. 474-511
|
artikel
|
| 3 |
An Event-B-based approach to hybrid systems engineering and its application to a hemodialysis machine case study
|
Buga, Andreea
|
|
2018
|
54 |
C |
p. 297-315
|
artikel
|
| 4 |
A scalable model based approach for data model evolution: Application to space missions data models
|
Oubelli, Lynda Ait
|
|
2018
|
54 |
C |
p. 358-385
|
artikel
|
| 5 |
Attributed and n-ary relations in OWL for knowledge modeling
|
Chebba, Asmaa
|
|
2018
|
54 |
C |
p. 183-198
|
artikel
|
| 6 |
Automatic production of end user documentation for DSLs
|
Le Moulec, Gwendal
|
|
2018
|
54 |
C |
p. 337-357
|
artikel
|
| 7 |
Automatized integration of a contextual model into a process with data variability
|
Simonin, Jacques
|
|
2018
|
54 |
C |
p. 156-182
|
artikel
|
| 8 |
Case studies on automated verification with slope boundaries for block diagrams
|
Dernehl, Christian
|
|
2018
|
54 |
C |
p. 528-543
|
artikel
|
| 9 |
CIaaS - computational intelligence as a service with Athena
|
Oliveira, Pedro
|
|
2018
|
54 |
C |
p. 95-118
|
artikel
|
| 10 |
Coding Ants: Optimization of GPU code using ant colony optimization
|
Papenhausen, Eric
|
|
2018
|
54 |
C |
p. 119-138
|
artikel
|
| 11 |
Concern-oriented language development (COLD): Fostering reuse in language engineering
|
Combemale, Benoit
|
|
2018
|
54 |
C |
p. 139-155
|
artikel
|
| 12 |
Design and implementation of DeepDSL: A DSL for deep learning
|
Zhao, Tian
|
|
2018
|
54 |
C |
p. 39-70
|
artikel
|
| 13 |
Editorial Board
|
|
|
2018
|
54 |
C |
p. ii
|
artikel
|
| 14 |
FLANDM: a development framework of domain-specific languages for data mining democratisation
|
de la Vega, Alfonso
|
|
2018
|
54 |
C |
p. 316-336
|
artikel
|
| 15 |
Frame conditions in the automatic validation and verification of UML/OCL models: A symbolic formulation of modifies only statements
|
Przigoda, Nils
|
|
2018
|
54 |
C |
p. 512-527
|
artikel
|
| 16 |
Improving formal analysis of state machines with particular emphasis on and-cross transitions
|
Adesina, Opeyemi O.
|
|
2018
|
54 |
C |
p. 544-585
|
artikel
|
| 17 |
On domain driven design using annotation-based domain specific language
|
Le, Duc Minh
|
|
2018
|
54 |
C |
p. 199-235
|
artikel
|
| 18 |
On transparent value-sensitive run-time monitoring for information flow policies
|
Imanimehr, Fatemeh
|
|
2018
|
54 |
C |
p. 273-296
|
artikel
|
| 19 |
Personalized recommender systems for product-line configuration processes
|
Pereira, Juliana Alves
|
|
2018
|
54 |
C |
p. 451-471
|
artikel
|
| 20 |
QoSMOS: QoS metrics management tool suite
|
Ouared, Abdelkader
|
|
2018
|
54 |
C |
p. 236-251
|
artikel
|
| 21 |
REDOSPLAT: A readable domain-specific language for timetabling requirements definition
|
Ribić, Samir
|
|
2018
|
54 |
C |
p. 252-272
|
artikel
|
| 22 |
SAwUML – UML-based, contractual software architectures and their formal analysis using SPIN
|
Ozkaya, Mert
|
|
2018
|
54 |
C |
p. 71-94
|
artikel
|
| 23 |
SDAC: A model for analysis of the execution semantics of data processing framework in cloud
|
Zhou, Wenbo
|
|
2018
|
54 |
C |
p. 406-426
|
artikel
|
| 24 |
Software language engineering in the large: towards composing and deriving languages
|
Hölldobler, Katrin
|
|
2018
|
54 |
C |
p. 386-405
|
artikel
|
| 25 |
Special issue on quality in Model-Driven Engineering
|
Amaral, Vasco
|
|
2018
|
54 |
C |
p. 472-473
|
artikel
|
| 26 |
Supercombinator set acquired from context-free grammar samples
|
Sičák, Michal
|
|
2018
|
54 |
C |
p. 1-19
|
artikel
|
| 27 |
Using the local context for the definition and implementation of visual languages
|
Costagliola, Gennaro
|
|
2018
|
54 |
C |
p. 20-38
|
artikel
|
Tijdschrift beschrijving