BENDRAOU Reda

Кандидат наук
Подразделение : MoVe
Окончание контракта : 07.09.2007
https://lip6.fr/Reda.Bendraou

Научны(е)й руководител(и)ь : Marie-Pierre GERVAIS

Со-руководитель : BLANC Xavier

UML4SPM: Un Langage de Modélisation de Procédés De Développement Logiciel Exécutable Et Orienté Modèle

Même si la fiabilité des applications logicielles a souvent été évaluée par les traditionnelles approches de Vérification et de Validation (V et V), il n'en est pas moins établi que le choix des acteurs ainsi que du procédé de développement suivi lors de leur réalisation y contribue fortement. Les entreprises ont très vite compris cet enjeu et leur intérêt à vouloir capitaliser leur savoir-faire sous forme de Modèles de Procédés n'a cessé de s'accroître. L'objectif sous-jacent étant bien sûr de pérenniser une connaissance précieuse et répétitive de leur Procédés de Développement Logiciel, mais aussi de s'en servir à des fins de compréhension, d'analyse et d'exécution. Depuis bientôt trois décennies, on assiste à une prolifération de ce que l'on appelle communément les Langages de Modélisation de Procédés (LMPs). Néanmoins, aucun d'entre eux n'a réussi à s'imposer comme le Langage pour la modélisation de procédés de développement logiciel. Leur complexité, leur applicabilité à des domaines dédiés ou leur manque d'expressivité sont parmi les freins qui ont pénalisé leur adoption. Ajouter à cela, un besoin critique, rarement satisfait, qui est celui de pouvoir simuler ces Modèles de Procédés, de les exécuter et de gérer leur répartition sur plusieurs sites distants et hétérogènes. Le but de cette thèse est de proposer un Langage de Modélisation de Procédés de Développement Logiciel selon une approche normative visant à répondre aux nouvelles attentes de la communauté logicielle. Ce dernier devra satisfaire un certain nombre d'exigences que nous avons identifiées avec comme priorités premières, une simplicité d'utilisation et de compréhension ainsi qu'une prédisposition des modèles instance de ce langage à être simulés et exécutés.

Защита диссертаций : 06.09.2007

Члены жюри :

Jean-Marc JEZEQUEL, Professeur à l'Université Rennes 1 [Rapporteur]
Pierre-Alain MULLER, MdC. HDR à l'Université de Mulhouse [Rapporteur]
Colin ATKINSON, Professeur à l'Université de Mannheim, Allemagne
Bernard COULETTE, Professeur à l'Université de Toulouse
Fabrice KORDON, Professeur à l'Université Paris VI
Marie-Pierre GERVAIS, Professeur à l'Université Paris X
Xavier BLANC, Maître de Conférences Paris VI

Окончание контракта : 07.09.2007

5 Кандидаты наук 2012 - 2016

Публикации 2004-2020

Mentions légales
Карта сайта