关注
Adrian Rutle
Adrian Rutle
Western Norway University of Applied Sciences
在 rutle.no 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
A formal approach to the specification and transformation of constraints in MDE
A Rutle, A Rossini, Y Lamo, U Wolter
The Journal of Logic and Algebraic Programming 81 (4), 422-457, 2012
842012
Diagram predicate framework: a formal approach to MDE
A Rutle
The University of Bergen, 2010
772010
A GraphQL approach to healthcare information exchange with HL7 FHIR
SK Mukhiya, F Rabbi, VKI Pun, A Rutle, Y Lamo
Procedia Computer Science 160, 338-345, 2019
552019
A formalisation of deep metamodelling
A Rossini, J de Lara, E Guerra, A Rutle, U Wolter
Formal Aspects of Computing 26, 1115-1152, 2014
552014
A formalisation of the copy-modify-merge approach to version control in MDE
A Rossini, A Rutle, Y Lamo, U Wolter
The Journal of Logic and Algebraic Programming 79 (7), 636-658, 2010
482010
Change-preserving model repair
G Taentzer, M Ohrndorf, Y Lamo, A Rutle
Fundamental Approaches to Software Engineering: 20th International …, 2017
472017
MultEcore: Combining the best of fixed-level and multilevel metamodelling
F Macias Gomez de Villar, A Rutle, V Stolz
CEUR Workshop Proceedings, 2016
472016
A diagrammatic formalisation of MOF-based modelling languages
A Rutle, A Rossini, Y Lamo, U Wolter
Objects, Components, Models and Patterns: 47th International Conference …, 2009
462009
An approach to flexible multilevel modelling
F Macías, A Rutle, V Stolz, R Rodriguez-Echeverria, U Wolter
Gesellschaft für Informatik eV, 2018
412018
Dpf workbench: A diagrammatic multi-layer domain specific (meta-) modelling environment
Y Lamo, X Wang, F Mantz, W MacCaull, A Rutle
Computer and Information Science 2012, 37-52, 2012
402012
A metamodelling approach to behavioural modelling
A Rutle, W MacCaull, H Wang, Y Lamo
Proceedings of the Fourth Workshop on Behaviour Modelling-Foundations and …, 2012
362012
A diagrammatic approach to model transformations
A Rutle, U Wolter, Y Lamo
Proceedings of the 2008 Euro American Conference on Telematics and …, 2008
352008
A category-theoretical approach to the formalisation of version control in MDE
A Rutle, A Rossini, Y Lamo, U Wolter
Fundamental Approaches to Software Engineering: 12th International …, 2009
342009
DPF workbench: a multi-level language workbench for MDE
Y Lamo, X Wang, F Mantz, Ø Bech, A Sandven, A Rutle
Proceedings of the Estonian Academy of Sciences 62 (1), 3, 2013
292013
Multilevel coupled model transformations for precise and reusable definition of model behaviour
F Macías, U Wolter, A Rutle, F Durán, R Rodriguez-Echeverria
Journal of Logical and Algebraic Methods in Programming 106, 167-195, 2019
272019
Multimodel correspondence through inter-model constraints
P Stünkel, H König, Y Lamo, A Rutle
Companion Proceedings of the 2nd International Conference on the Art …, 2018
262018
Personalized and automatic model repairing using reinforcement learning
A Barriga, A Rutle, R Heldal
2019 ACM/IEEE 22nd International Conference on Model Driven Engineering …, 2019
252019
Model repair with quality-based reinforcement learning
L Iovino, A Barriga Rodriguez, A Rutle, R Heldal
AITO—Association Internationale pour les Technologies Objets, 2020
242020
GraphQL federation: A model-based approach
P Stünkel, O von Bargen, A Rutle, Y Lamo
Association Internationale pour les Technologies Objets, 2020
212020
Formal modelling and incremental verification of the MQTT IoT protocol
A Rodríguez, LM Kristensen, A Rutle
Transactions on Petri Nets and Other Models of Concurrency XIV, 126-145, 2019
212019
系统目前无法执行此操作,请稍后再试。
文章 1–20