Logique, Théorie des langages et introduction au génie logiciel, analyse et conception des systèmes d’information,
Savoir utiliser les notations formelles; lire et comprendre des spécifications formelles; choisir entre différentes méthodes formelles de spécification; utiliser des méthodes formelles pour spécifier des systèmes et analyser les propriétés d’un système sûr.
I Logique et spécification :
• La logique propositionnelle :
– Tour d’horizon
– Méthodes de démonstration
• La logique des prédicats du premier ordre :
– Tour d’horizon
– Démonstrations
II. Introduction aux méthodes formelles :
• Terminologie;
• Classification des méthodes de spécification;
• Les langages de spécification;
• Les applications industrielles
III La méthode B
• Introduction à la méthode B
• Formalisme de modélisation
• Spécification des opérations : substitutions
• Les machines abstraites
• Raffinement et implémentation
• l’atelier B, ProB
• Etude de cas
Consultez les ressources disponibles concernant ce module sur le moteur de recherche de la bibliothèque, ou accédez directement au cours de vos enseignants via la plateforme de téléenseignement de l’école « e-learn ».