A model driven approach for the development and verification of service-oriented applications / Fadwa Rekik ; sous la direction de Sébastien Gérard

Date :

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : anglais / English

Catalogue Worldcat

UML (informatique)

Ingénierie dirigée par les modèles

Logiciels -- Vérification

SOA

Gérard, Sébastien (19..-.... ; informaticien) (Directeur de thèse / thesis advisor)

Pautet, Laurent (19..-....) (Président du jury de soutenance / praeses)

Bruel, Jean-Michel (1969-.... ; enseignant-chercheur en informatique) (Rapporteur de la thèse / thesis reporter)

Barais, Olivier (1980-....) (Rapporteur de la thèse / thesis reporter)

Blay-Fornarino, Mireille (Membre du jury / opponent)

Nurcan, Selmin (1961-....) (Membre du jury / opponent)

Bannour, Boutheina (1984-....) (Membre du jury / opponent)

Université Paris-Saclay (2015-2019) (Organisme de soutenance / degree-grantor)

École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (Ecole doctorale associée à la thèse / doctoral school)

Laboratoire d'Intégration des Systèmes et des Technologies (Gif-sur-Yvette, Essonne) (Laboratoire associé à la thèse / thesis associated laboratory)

Université Paris-Sud (1970-2019) (Autre partenaire associé à la thèse / thesis associated third party)