Author:
Rodríguez Alejandro,Durán Francisco,Rutle Adrian,Kristensen Lars Michael
Publisher
AITO - Association Internationale pour les Technologies Objets
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A process calculus SMrCaIT for IoT;Journal of Software: Evolution and Process;2023-07-19
2. Composition of multilevel domain-specific modelling languages;Journal of Logical and Algebraic Methods in Programming;2023-01
3. Optimizing Maude Programs via Program Specialization;Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems;2023
4. Symbolic Specialization of Rewriting Logic Theories with Presto;Theory and Practice of Logic Programming;2022-02-11
5. Rewriting Logic and Maude for the Formalization and Analysis of DSMLs, and the Prototyping of MDSE Tools.;The Journal of Object Technology;2022