| | | Module PE : Programmation evoluée : fondements et applications |
La qualité des logiciels dépend en grande partie des outils utilisés pour leur construction, notamment les langages de spécification et de programmation ainsi que les méthodes de validation et de vérification. Plus ces outils sont rigoureusement définis, plus la qualité des logiciels qui en découlent est grande.
Ce module illustre quelques notions fondamentales (langage, logique, modèle, algèbre, déduction, preuve etc.) que les chercheurs en informatique sont souvent amenés à utiliser pour une meilleure modélisation de leur problème et en montre quelques applications.
| | | Module PE : Programmation evoluée : fondements et applications |