Articulation entre activités formelles et activités semi-formelles dans le développement de logiciels / Imen Sayar ; sous la direction de Jeanine Souquières

Date :

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Catalogue Worldcat

Logiciels -- Développement

Langages formels

Ingénierie des exigences

Design patterns

Classification Dewey : 005.12

Souquières, Jeanine (Directeur de thèse / thesis advisor)

Chevrier, Vincent (Président du jury de soutenance / praeses)

Heisel, Maritta (Rapporteur de la thèse / thesis reporter)

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

Ledru, Yves (Membre du jury / opponent)

Tahar Bhiri, Mohamed (Membre du jury / opponent)

Université de Lorraine (Organisme de soutenance / degree-grantor)

École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (Ecole doctorale associée à la thèse / doctoral school)

Laboratoire lorrain de recherche en informatique et ses applications (Laboratoire associé à la thèse / thesis associated laboratory)