Deep specification and proof preservation for the CoqTL transformation language
Article in Software and Systems Modeling (May 2022)
The most recent citing publications are shown below. View all 5 publications that cite this research output on Dimensions.
Automated Reuse of Model Transformations through Typing Requirements Models
Article in ACM Transactions on Software Engineering and Methodology (September 2019)
A verified catalogue of OCL optimisations
Article in Software and Systems Modeling (July 2019)