Constraint programming

A la fin de cette unité d’enseignement, l’étudiant est capable de :

• AA1.1. Confronté à un problème informatique, il identifie les concepts, algorithmes et structures de données applicables pour le résoudre; et il en tire parti pour décomposer le problème en sous-problèmes et élaborer des méthodes de résolution informatique de ces derniers.
• AA1.3. Confronté aux résultats obtenus par le raisonnement et la mise en oeuvre des outils et concepts qu’il a mobilisés, il prend le recul nécessaire pour en vérifier la pertinence, en ce qui concerne les fonctionnalités et la qualité de la solution recherchée. Dans ce contexte, il développera des tests et des vérifications pertinents qui peuvent garantir la qualité de la solution développée.
• AA2.4. Dans la phase d’implémentation de la solution, il démontre sa maîtrise des principes, techniques et outils de développement à sa disposition. Il crée un prototype du logiciel à concevoir pour vérifier que le logiciel correspond bien aux attentes du client. Il crée un environnement et une batterie de tests pour s’assurer que la solution développée répond aux fonctionnalités du cahier des charges. En appliquant les techniques de validation et de vérification de programme, il identifie, localise les bugs (bogues) et y remédie.
• AA5.4. Il sait se servir d’un ouvrage de référence ou d’un manuel relatif à l’emploi d’un langage informatique ou d’un logiciel, tant en anglais qu’en français. Il comprend un exposé technique fait en anglais.
• AA5.5. Au cours du développement d’une application informatique, il en assure la traçabilité et la documentation dans un langage concis et précis : cahier des charges, structure du logiciel et des données qui y sont liées, mode opératoire. Il fait de même quand il s'agit de rédiger un rapport de synthèse décrivant et argumentant les choix (design et technologie) opérés dans le développement d’un projet.

• AA1.démontrer la maîtrise d’un solide corpus de connaissances en informatique, lui permettant de résoudre les problèmes qui relèvent de sa discipline
• AA2.1. Analyser le problème à résoudre ou les besoins fonctionnels à rencontrer et formuler le cahier des charges correspondant.
• AA2.2. Modéliser le problème et concevoir une ou plusieurs solutions techniques originales répondant à ce cahier des charges.
• AA2.4. Implémenter et tester la solution retenue.
• AA3.2. Proposer une modélisation et/ou un dispositif expérimental permettant de simuler et de tester des hypothèses relatives au problème étudié dans toute sa complexité.
• AA6.5. S’autoévaluer et développer de manière autonome les connaissances nécessaires pour rester compétent dans son domaine.

• appréhender un ensemble de techniques informatiques permettant de résoudre un problème de satisfaction de contraintes;
• développer et étendre un solveur de programmation par contraintes
• résoudre une application simple mettant en oeuvre les techniques étudiés;
• expliquer les fondements des modèles et des langages de programmation par contraintes;
• identifier des classes d'applications où la programmation par contraintes peut être utilisée à bon escient;
• modéliser un problème simple sous forme de contraintes et exprimer ce modèle dans un langage de programmation par contraintes y compris l'expression de stratégies de recherche.

• maîtriser rapidement un nouveau langage de programmation;
• utiliser des documents techniques pour approfondir leur connaissance d'un sujet.