Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Rennes 1 (4)
  • Toulouse, INPT (3)
  • Pau (2)
  • Besançon (1)
  • Brest (1)
  • Côte d'Azur (1)
  • Ecole centrale de Lille (1)
  • Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire (1)
  • Le Mans (1)
  • Montpellier (1)
  • Mulhouse (1)
  • Nice (1)
  • Paris 6 (1)
  • Paris Saclay (1)
  • Toulouse, ISAE (1)
  • Université Mohammed-V Agdal, Rabat, Maroc (1)
  • Université de Yaoundé I (1)
  • Université du Luxembourg (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (14)
  • Automatique, Génie informatique, Traitement du Signal et des Images (1)
  • Automatique, Ingénierie-Système, Nucléaire (1)
  • Génie informatique (1)
  • Réseaux, Télécommunications, Systèmes et Architecture (1)
  • Réseaux, télécom, système et architecture (1)
  • Sureté de Logiciel et Calcul à Haute Performance (1)
  • Sûreté de Logiciel et Calcul à Haute Performance (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (4)
  • École Doctorale Mathématiques, Informatique et Télécommunications (Toulouse) (3)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (2)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (2)
  • École doctorale sciences exactes et leurs applications (Pau, Pyrénées Atlantiques) (2)
  • I2S - Information, Structures, Systèmes (1)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne) (1)
  • École doctorale Sciences pour l'Ingénieur (Lille) (1)
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (1)
  • École doctorale pluridisciplinaire Jean-Henri Lambert, ED 494 (Mulhouse) (1)
  • École doctorale sciences et technologies de l'information et des matériaux (Nantes) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • anglais (11)
  • français (10)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Baudry Benoit (3)
  • Aït-Ameur Yamine (2)
  • Barbier Franck (2)
  • Chapurlat Vincent (2)
  • Crégut Xavier (2)
  • Jézéquel Jean-Marc (2)
  • Aboutajdine Driss (1)
  • Bon Philippe (1)
  • Broto Laurent (1)
  • Chevrel Philippe (1)
  • Choquet Christophe (1)
  • Collart-Dutilleul Simon (1)
  • Combemale Benoît (1)
  • De Antoni Julien (1)
  • Dony Christophe (1)
  • Gérard Sébastien (1)
  • Hagimont Daniel (1)
  • Hammad Ahmed (1)
  • Hassenforder Michel (1)
  • Hugues Jérôme (1)
  • Kordon Fabrice (1)
  • Laforcade Pierre (1)
  • Mallet Frédéric (1)
  • Mountassir Hassan (1)
  • Nana Tchamnda Laurent (1)
  • Navet Nicolas (1)
  • Oubahssi Lahcen (1)
  • Riveill Michel (1)
  • Tangha Claude (1)
  • Tatibouet Bruno (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (19)
  • Sciences de l'ingénieur (3)
  • Mathématiques (1)

Domaines :

Fullscreen
Sureté de Logiciel et Calcul à Haute Performance

Soutenue le 13-07-2016
thèse soutenue

...LATOMBESystematic use of Models of Concurrency in eXecutableDomain-Specific Modeling LanguagesJURYRichard PAIGE...

Accéder en ligne
Sûreté de Logiciel et Calcul à Haute Performance

Soutenue le 09-12-2014
thèse soutenue

...ones (software, hardware). This approach relies on theuse of Domain specific Modeling Languages (DSMLs...

Accéder en ligne

...of this thesis are scoped to exe-cutable domain-specific modeling languages (xDSMLs) where the...

Accéder en ligne

...Engineering (MDE) promotes the use of Domain Specific Modeling Languages (DSMLs)to model complex systems using...

Accéder en ligne
Réseaux, Télécommunications, Systèmes et Architecture

Soutenue le 12-11-2012
thèse soutenue

...supporting the coordinated use of DSMLs, also called theglobalization of modeling languages [34]. The members...

Accéder en ligne

...langages spécifiques à des domaines particuliers, appelés des DSMLs (Domain Specific Modeling Languages...

Accéder en ligne

...applying model verification and validation (V&V) activities. So domain specific modeling languages (DSMLs...

Accéder en ligne
Informatique

Soutenue le 10-12-2013
thèse soutenue
Informatique

Soutenue le 20-11-2015
thèse soutenue

...for Synthesizing Interpreted DSMLs”. In : Formal andPractical Aspects of Domain-Specific Languages...

Accéder en ligne

Résultats 1 à 10