1 option au choix

Ce cours a pour objectif de donner les éléments de base en informatique permettant à tout étudiant d'une discipline en dehors de l'informatique de suivre dans de bonnes conditions le M1 de la mention Informatique et Systèmes.

Les flots sont au centre des techniques de modélisation et de résolution de nombreux problèmes aussi bien académiques que pratiques (réseaux de transports, problèmes de logistique,…), il est donc nécessaire que les étudiants puissent en maîtriser la portée. Des méthodes complémentaires (programmation dynamique et méthodes probabilistes) viendront compléter cette palette de techniques algorithmiques. 

Le génie logiciel est un ensemble de méthodes et techniques permettant de réaliser des logiciels << corrects >>. Les méthodes formelles ont pour objectif de démontrer par des techniques mathématiquement fondées et vérifiables par ordinateur que les composants logiciels concernés répondent à leur spécification. L'objectif central de ce cours est d'apporter à l'étudiant une compréhension des composants de base d'un système formel au travers de deux formalismes de spécifications particuliers : la méthode B et les types abstraits algébriques.

• Spécifications orientées modèles
  • Introduction
  • Etude de la méthode B (état, machines abstraites, invariant, substitutions généralisées)
  • Raffinement et implémentation, modularité
  • Autres langages de spécifications par modèles : Z, VDM
• Spécifications axiomatiques
  • Introduction
  • Systèmes formels
  • Spécifications algébriques (syntaxe, sémantique, calcul)
  • Induction structurelle
  • Structuration modulaire et raffinement