Résultats 1 à 5

Dates de soutenance :


Etablissements :

Valider et fermer
  • Nantes, Ecole des Mines (1)
  • Nice (1)
  • Paris 6 (1)
  • Paris, CNAM (1)
  • Toulouse 2 (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (5)

    Disciplines :

    Fullscreen

    Ecoles Doctorales :

    Valider et fermer
    • École doctorale Informatique, télécommunications et électronique de Paris (1)
    • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (1)
    • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (1)
    • École doctorale Sciences et technologies de l'information et mathématiques (Nantes) (1)

    Ecoles Doctorales :

    Fullscreen

    Langues :

    Valider et fermer
    • français (4)
    • anglais (1)

    Langues :

    Fullscreen

    Directeurs de thèse :

    Valider et fermer
    • Charrel Pierre - Jean (1)
    • Florin Gérard (1)
    • Riveill Michel (1)
    • Südholt Mario (1)
    • Zarour Nacereddine (1)
    • Ziane Mikal (1)

    Directeurs de thèse :

    Fullscreen

    Domaines :

    Valider et fermer
    • Informatique (5)

      Domaines :

      Fullscreen

      ...Mots clésProgrammation par aspect, programmation par composants, analyse formelle, composition des...

      Accéder en ligne

      ..., comme la résolution de con its inter as-pects par la dé nition de l ordre de composition des aspects...

      Accéder en ligne

      ...utilisons le terme interférence pour désigner les problèmesde composition des aspects. Le fait d...

      Accéder en ligne
      Informatique

      Soutenue le 09-12-2016
      thèse soutenue

      ...construire les modèles par la composition des aspects modulaires.Le prototype que nous allons présenter dans...

      Accéder en ligne

      Résultats 1 à 5