- 1
- 1
- 1
Frédéric Tuong
3
Documents
Identifiants chercheurs
- frederic-tuong
- IdRef : 193200066
- 0009-0009-2462-6669
Présentation
Publications
- 3
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 3
- 3
- 3
- 1
- 1
Towards a Tool for Featherweight OCL: A Case Study On Semantic ReflectionProceedings 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 ExpressionsProceedings 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
|
|
HOL-TestGen Version 1.8 USER GUIDE[Technical Report] Univeristé Paris-Saclay; LRI - CNRS, University Paris-Sud. 2016
Rapport
hal-01765526v1
|