Tool Paper: A Lightweight Formal Encoding of a Constraint Language for DSMLs

Arnaud Dieumegard, Marc Pantel, Guillaume Babin, Martin Carton. Tool Paper: A Lightweight Formal Encoding of a Constraint Language for DSMLs. In Achim D. Brucker, Marina Egea, Martin Gogolla, Frédéric Tuong, editors, Proceedings of the 15th International Workshop on OCL and Textual Modeling co-located with 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), Ottawa, Canada, September 28, 2015. Volume 1512 of CEUR Workshop Proceedings, pages 89-104, CEUR-WS.org, 2015. [doi]

Authors

Arnaud Dieumegard

This author has not been identified. Look up 'Arnaud Dieumegard' in Google

Marc Pantel

This author has not been identified. Look up 'Marc Pantel' in Google

Guillaume Babin

This author has not been identified. Look up 'Guillaume Babin' in Google

Martin Carton

This author has not been identified. Look up 'Martin Carton' in Google