Article principal : Méthode formelle (informatique).
Sous-catégories
Cette catégorie comprend les 6 sous-catégories suivantes.
Pages dans la catégorie « Méthode formelle »
Cette catégorie contient les 78 pages suivantes.
*
A
L
M
R
S
- Sémantique algébrique (informatique)
- Sémantique axiomatique
- Sémantique dénotationnelle
- Sémantique des langages de programmation
- Sémantique opérationnelle
- Spécification (norme technique)
- Specification and Description Language
- Stratégie d'évaluation (informatique)
- Structure oméga-automatique
- Sûreté (propriété de programme)
- Système asynchrone
- Système critique
- Système de transition d'états