Accéder directement au contenu

Frédéric Tuong

3
Documents
Identifiants chercheurs

Présentation

Publications

burkhart-wolff
longuet

Towards a Tool for Featherweight OCL: A Case Study On Semantic Reflection

 Delphine Longuet , Frédéric Tuong , Burkhart Wolff
Proceedings of the 14th International Workshop on OCL and Textual Modelling co-located with 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), Sep 2014, Valencia, Spain
Communication dans un congrès hal-01214466v1

On the Semantics of Object-Oriented Data Structures and Path Expressions

 Achim D. Brucker , Delphine Longuet , Frédéric Tuong , Burkhart Wolff
Proceedings of the MODELS 2013 OCL Workshop co-located with the 16th International ACM/IEEE Conference on Model Driven Engineering Languages and Systems (MODELS 2013), Sep 2013, Miami, United States
Communication dans un congrès hal-01214460v1
Image document

HOL-TestGen Version 1.8 USER GUIDE

 Achim D. Brucker , Lukas Brügger , Abderrahmane Feliachi , Chantal Keller , Matthias P. Krieger
[Technical Report] Univeristé Paris-Saclay; LRI - CNRS, University Paris-Sud. 2016
Rapport hal-01765526v1