Types HAL | OUV | Ouvrage (y compris édition critique et traduction) |
COUV | Chapitre d'ouvrage | |
DOUV | Direction d'ouvrage, Proceedings, Dossier | |
ART | Article [avec commité de lecture = non] | |
OTHER | Autre publication | |
LECTURE | Cours |
# | Type | Année | Titre | doi | Notice HAL |
---|---|---|---|---|---|
1 | COUV | 2016 | Android Executable Modeling: Beyond Android Programming | 10.4018/978-1-4666-9916-8.ch014 | hal-01907083 |
2 | COUV | 2013 | Adaptive Software based on Correct-by-Construction Metamodels | hal-00840748 | |
3 | COUV | 2010 | Chapter 11, Model Driven Reverse Engineering of COBOL | hal-00530366 | |
4 | DOUV | 2010 | Actes des deuxièmes journées nationales du Groupement de Recherche CNRS du Génie de la Programmation et du Logiciel | inria-00512764 | |
5 | DOUV | 2010 | Langages et Modèles à Objets | hal-00536035 |