Skip to Main content Skip to Navigation
New interface


...
tel-02418676v1  Theses
Manuel Leduc. On modularity and performance of External Domain-Specific Language implementations
Software Engineering [cs.SE]. Université de rennes 1, 2019. English
...
tel-03143040v1  Theses
Nicolas Szlifierski. Contrôle sûr de chaînes d'obfuscation logicielle
Langage de programmation [cs.PL]. Ecole nationale supérieure Mines-Télécom Atlantique, 2020. Français. ⟨NNT : 2020IMTA0223⟩
...
tel-01427009v2  Theses
Thomas Degueule. Composition and Interoperability for External Domain-Specific Language Engineering
Software Engineering [cs.SE]. Université de Rennes 1 [UR1], 2016. English
...
tel-01260937v3  Theses
Paola Vallejo. Réutilisation de composants logiciels pour l'outillage de DSML dans le contexte des MPSoC
Langage de programmation [cs.PL]. Université de Bretagne occidentale - Brest, 2015. Français. ⟨NNT : 2015BRES0101⟩
...
tel-01327057v1  Theses
Hasina Lalaina Rakotonirainy. Exploration sémantique des modèles socio-environnementaux
Informatique [cs]. Université de Fianarantsoa; UMR GREEN - CIRAD, 2016. Français
...
tel-00726510v1  Theses
Ali Assaf. A Common Aspect Languages Interpreter
Software Engineering [cs.SE]. Université de Nantes, 2011. English
...
tel-02354530v1  Habilitation à diriger des recherches
Arnaud Blouin. Contribution to the Engineering of User Interfaces
Software Engineering [cs.SE]. Université de Rennes 1 [UR1], 2019
...
tel-01238817v1  Habilitation à diriger des recherches
Benoit Combemale. Towards Language-Oriented Modeling
Software Engineering [cs.SE]. Université de Rennes 1, 2015
...
tel-01087628v1  Habilitation à diriger des recherches
Olivier Beaudoux. Vers une programmation des systèmes interactifs centrée sur la spécification de modèles exécutables
Informatique [cs]. Université d'Angers, 2014
...
tel-00516709v1  Theses
Hehua Zhang. Domain-specific modeling and verification language EDOLA
Software Engineering [cs.SE]. Tsinghua university, 2009. Chinese
...
tel-00135748v1  Theses
Nicolas Salatge. Conception et mise en oeuvre d'une plate-forme pour la sûreté de fonctionnement des services Web
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Toulouse - INPT, 2006. Français. ⟨NNT : ⟩
...
tel-01060921v1  Theses
Charles Prud'Homme. Contrôle de la propagation et de la recherche dans un solveur de contraintes
Intelligence artificielle [cs.AI]. Ecole des Mines de Nantes, 2014. Français. ⟨NNT : 2014EMNA0194⟩
...
tel-00866483v1  Theses
Samir Sebahi. Monitoring business process compliance : a view based approach
Other [cs.OH]. Université Claude Bernard - Lyon I, 2012. English. ⟨NNT : 2012LYO10032⟩