Connaître et 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.
Contenu
Bref rappel des outils mathématiques utilisés dans la spécification formelle des systèmes: théorie des ensembles, logique des prédicats du premier ordre, logiques temporelles, réseaux de Petri. Langages formels de spécification de systèmes : CSP, VDM, Z, Telos, Larch, OBJ. Modélisation et spécification formelle des systèmes. Études de cas et puissance d'expression. Transformation de spécifications. Analyse des propriétés des spécifications.
Ce site Web utilise des fichiers témoins (cookies) essentiels à son bon fonctionnement.
Vous pouvez paramétrer l'utilisation de témoins facultatifs nous permettant d'optimiser votre expérience à travers le site. Voir la Politique de confidentialité
Paramètres des témoins
Pour obtenir plus d’information sur la nature et l’utilisation des témoins, voir la Politique de confidentialité.
Témoins essentiels
Ces témoins sont nécessaires au bon fonctionnement du site Web. Ils permettent de maintenir
l’accès à certaines sections sécurisées et de conserver des critères de recherche, par exemple.
Ces témoins ne peuvent être désactivés.
Témoins analytiques
Ces témoins nous aident à comprendre votre utilisation de notre site Web et nous permettent d'améliorer l’expérience qu'il propose.
Témoins publicitaires
Ces témoins sont utilisés pour vous proposer des publicités pertinentes en fonction de votre navigation sur notre site. Ces publicités peuvent être émises par l'Université de Sherbrooke ou d'autres entités.
