Mohammed Bekkouche
8 SlideShares 4 Seguidores 3 Seguindos
Personal Information
Organização/Local de trabalho
Nice Area, France France
Cargo
Docteur en Informatique, Université de Nice Sophia Antipolis
Setor
Technology / Software / Internet
Site
www.capv.toile-libre.org/
Sobre
Je suis un docteur en Informatique de l'Université Nice Sophia Antipolis. Mes intérêts de recherche se concentrent principalement sur le génie logiciel, en particulier le test, le bounded model checking et la localisation d'erreurs dans les programmes impératifs. Je suis aussi intéressé par la programmation par contraintes et les techniques utilisées pour le diagnostic des systèmes de contraintes incorrects. Durant ma thèse, je me suis focalisé sur la proposition et la validation d'une approche qui se fonde sur la programmation par contraintes pour assister le programmeur dans la tâche de localisation des erreurs pour traiter efficacement les programmes avec calculs numériqu
Detalhes do contato
Marcadores
constraints ; testing and debugging ; debugging ai localisation des erreurs programmation par contraintes debugging constraint programming program verification testing bugassist locfaults error localization minimal correction deviations minimal correction subsets minimal correction subset algorithme incrémental contraintes; test et débogage; débogage aides; d débogage de programmes vérification de programmes error localization.
Ver mais
Personal Information
Organização/Local de trabalho
Nice Area, France France
Cargo
Docteur en Informatique, Université de Nice Sophia Antipolis
Setor
Technology / Software / Internet
Site
www.capv.toile-libre.org/
Sobre
Je suis un docteur en Informatique de l'Université Nice Sophia Antipolis. Mes intérêts de recherche se concentrent principalement sur le génie logiciel, en particulier le test, le bounded model checking et la localisation d'erreurs dans les programmes impératifs. Je suis aussi intéressé par la programmation par contraintes et les techniques utilisées pour le diagnostic des systèmes de contraintes incorrects. Durant ma thèse, je me suis focalisé sur la proposition et la validation d'une approche qui se fonde sur la programmation par contraintes pour assister le programmeur dans la tâche de localisation des erreurs pour traiter efficacement les programmes avec calculs numériqu
Marcadores
constraints ; testing and debugging ; debugging ai localisation des erreurs programmation par contraintes debugging constraint programming program verification testing bugassist locfaults error localization minimal correction deviations minimal correction subsets minimal correction subset algorithme incrémental contraintes; test et débogage; débogage aides; d débogage de programmes vérification de programmes error localization.
Ver mais