Ausgabe 4/2018
Inhalt (13 Artikel)
Regular Paper
On submodels and submetamodels with their relation
Bernard Carré, Gilles Vanwormhoudt, Olivier Caron
Regular Paper
VMTL: a language for end-user model transformation
Vlad Acreţoaie, Harald Störrle, Daniel Strüber
Regular Paper
A model-driven development approach for context-aware systems
Imen Jaouadi, Raoudha Ben Djemaa, Hanêne Ben-Abdallah
Regular Paper
Formalised EMFTVM bytecode language for sound verification of model transformations
Zheng Cheng, Rosemary Monahan, James F. Power
Regular Paper
Scope in model transformations
Māris Jukšs, Clark Verbrugge, Maged Elaasar, Hans Vangheluwe
Regular Paper
Holistic security requirements analysis for socio-technical systems
Tong Li, Jennifer Horkoff, John Mylopoulos
Regular Paper
An approach to clone detection in sequence diagrams and its application to security analysis
Manar H. Alalfi, Elizabeth P. Antony, James R. Cordy
Open Access
Regular Paper
On the automated translational execution of the action language for foundational UML
Federico Ciccozzi
Regular Paper
Efficient parallel reasoning on fuzzy goal models for run time requirements verification
George Chatzikonstantinou, Kostas Kontogiannis
Open Access
Regular Paper
The Train Benchmark: cross-technology performance evaluation of continuous model queries
Gábor Szárnyas, Benedek Izsó, István Ráth, Dániel Varró