B-COoL : un métalangage pour la spécification des opérateurs de coordination des langages
/ Matias Vara Larsen ; sous la direction de Frédéric Mallet et Julien DeAntoni. Thèse
de doctorat : Informatique : Nice : 2016
Information trouvée : Président du jury
Génération automatique de tests à partir de modèles SysML pour la validation fonctionnelle
de systèmes embarqués / Jonathan Lasalle; sous la direction de Fabrice Bouquet, 2013
(thèse)
Justification Factory : de l'élicitation d'exigences de justification jusqu'à leur
production en continu / Clément Duffau ; sous la direction de Mireille Blay-Fornarino
et de Thomas Polacsek. Thèse de doctorat : Informatique : Côte d'Azur : 2018
Information trouvée : rapporteur de thèse, membre du jury
Modeling and verification of functional and non functional requirements of ambient,
self adaptative systems / Manzoor Ahmad ; sous la direction de Jean-Michel Bruel et
de Nicolas Belloir, 2013. Thèse de doctorat : Informatique : Toulouse 2 : 2013
Information trouvée : directeur de thèse
Préserver la séparation des préoccupations durant l’intégration de domaines hétérogènes
dans les systèmes logiciels / Ivan Logre ; sous la direction de Michel Riveill. Thèse
de doctorat : Informatique : Côte d'Azur : 2017
Information trouvée : rapporteur de thèse, membre du jury
rapporteur de thèse, membre du jury
Le point d'accès peut être employé dans un point d'accès sujet
Le point d'accès ne peut s'employer qu'en élément initial