Théorie de Test des programmes à contraintes

Univ Europeenne - EAN : 9783841793249

Nadjib Lazaar

Skip to the end of the images gallery

Skip to the beginning of the images gallery

Édition papier

EAN : 9783841793249

Paru le : 12 mars 2012

59,00 € 55,92 €

Disponible

Pour connaître votre prix et commander, identifiez-vous

Notre engagement qualité

Livraison gratuite
en France sans minimum
de commande
Manquants maintenus
en commande
automatiquement
Un interlocuteur
unique pour toutes
vos commandes
Toutes les licences
numériques du marché
au tarif éditeur
Assistance téléphonique
personalisée sur le
numérique
Service client
Du Lundi au vendredi
de 9h à 18h

Détails

EAN13 : 9783841793249
Réf. fournisseur : 5243751
Editeur : Univ Europeenne
Date Parution : 12 mars 2012
Disponibilite : Disponible
Barème de remise : NS
Nombre de pages : 172
Format : H:220 mm L:150 mm
Poids : 262gr
Interdit de retour : Retour interdit

Résumé

Résumé : Le développement des langages de modélisation des programmes à contraintes a eu un grand impact dans le monde industriel comme OPL de IBM Ilog, Comet de Dynadec, Sicstus Prolog ou Gecode qui proposent des solutions robustes aux problèmes du monde réel. De plus, ces langages commencent à être utilisés dans des applications critiques comme la gestion et le contrôle du trafic aérien, le e-commerce et le développement de programmes critiques. D'autre part, il est connu que tout processus de développement logiciel effectué dans un cadre industriel inclut impérativement une phase de test, de vérification formelle et/ou de validation. Par ailleurs, ces langages ne connaissent pas d'innovations majeures en termes de vérification et de mise au point. Ceci ouvre la voie à des recherches orientées vers les aspects génie logiciel dédiés à la PPC (programmation par contraintes). Le travail majeur de cette thèse pose les jalons d'une théorie du test des programmes à contraintes ainsi qu'un cadre conceptuel pour la mise-au-point de ce type de programmes avec une méthodologie de localisation et de correction automatique.
Biographie : Né le 03-09-84 à Tlemcen, Nadjib Lazaar est titulaire d'un doctorat de l'université de Rennes1 en informatique, Master recherche Rennes1-univ, ingéniorat d'état Es-Senia Oran-univ. Actuellement, il effectue un postdoc à Microsoft-INRIA joint lab. Ses axes de recherche s'inscrivent en PPC, SAT, test logiciel et apprentissage automatique.