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
Cet article est réservé aux abonnés.
Il vous reste 95 % à découvrir.
Déjà abonné ? Se connecter
DOI (Digital Object Identifier)
Présentation
Article inclus dans l'offre
"Technologies logicielles Architectures des systèmes"
(236 articles)
Actualisée et enrichie d’articles validés par nos comités scientifiques.
Quiz, médias, tableaux, formules, vidéos, etc.
Opérationnels et didactiques, pour garantir l'acquisition des compétences transverses.
Un ensemble de services exclusifs en complément des ressources.
Cet article est réservé aux abonnés.
Il vous reste 95 % à découvrir.
Déjà abonné ? Se connecter
Article inclus dans l'offre
"Technologies logicielles Architectures des systèmes"
(236 articles)
Actualisée et enrichie d’articles validés par nos comités scientifiques.
Quiz, médias, tableaux, formules, vidéos, etc.
Opérationnels et didactiques, pour garantir l'acquisition des compétences transverses.
Un ensemble de services exclusifs en complément des ressources.
Cet article est réservé aux abonnés.
Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Article inclus dans l'offre
"Technologies logicielles Architectures des systèmes"
(236 articles)
Actualisée et enrichie d’articles validés par nos comités scientifiques.
Quiz, médias, tableaux, formules, vidéos, etc.
Opérationnels et didactiques, pour garantir l'acquisition des compétences transverses.
Un ensemble de services exclusifs en complément des ressources.