Présentation
Auteur(s)
-
Patrick BELLOT :
-
Jean-Philippe COTTIN :
-
Jean-François MONIN :
Lire cet article issu d'une ressource documentaire complète, actualisée et validée par des comités scientifiques.
Lire l’articleINTRODUCTION
1 Généralités
1.1 Bref historique
1.2 Niveaux d'utilisation des méthodes formelles
2 Méthodes formelles et cycle de vie du logiciel
3 Bases mathématiques
3.1 Logique du premier ordre
3.2 Théorie des ensembles
3.3 Notions sur les systèmes de types
4 Méthodes ensemblistes
4.1 Méthode VDM
4.2 Méthode Z
4.3 Méthode B
5 Types abstraits algébriques
6 Domaine des protocoles
6.1 Estelle
6.2 Logique temporelle
6.3 Approche synchrone
7 Logiques d'ordre supérieur, logiques constructives
7.1 Ordre supérieur
7.2 Introduction du typage
7.3 Modes d'utilisation des logiques typées
8 Conclusion
Références bibliographiques
L'expertise technique et scientifique de référence
DOI (Digital Object Identifier)
Cet article fait partie de l’offre
Technologies logicielles Architectures des systèmes
(240 articles en ce moment)
Cette offre vous donne accès à :
Une base complète d’articles
Actualisée et enrichie d’articles validés par nos comités scientifiques
Des services
Un ensemble d'outils exclusifs en complément des ressources
Un Parcours Pratique
Opérationnel et didactique, pour garantir l'acquisition des compétences transverses
Doc & Quiz
Des articles interactifs avec des quiz, pour une lecture constructive
Présentation
L'expertise technique et scientifique de référence
Cet article fait partie de l’offre
Technologies logicielles Architectures des systèmes
(240 articles en ce moment)
Cette offre vous donne accès à :
Une base complète d’articles
Actualisée et enrichie d’articles validés par nos comités scientifiques
Des services
Un ensemble d'outils exclusifs en complément des ressources
Un Parcours Pratique
Opérationnel et didactique, pour garantir l'acquisition des compétences transverses
Doc & Quiz
Des articles interactifs avec des quiz, pour une lecture constructive
L'expertise technique et scientifique de référence
Cet article fait partie de l’offre
Technologies logicielles Architectures des systèmes
(240 articles en ce moment)
Cette offre vous donne accès à :
Une base complète d’articles
Actualisée et enrichie d’articles validés par nos comités scientifiques
Des services
Un ensemble d'outils exclusifs en complément des ressources
Un Parcours Pratique
Opérationnel et didactique, pour garantir l'acquisition des compétences transverses
Doc & Quiz
Des articles interactifs avec des quiz, pour une lecture constructive
