Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:00857464n
Noun Concept
Categories: Méthode formelle, Logique formelle
FR
méthode formelle  méthodes formelles  methode formelle
FR
En informatique, les méthodes formelles sont des techniques permettant de raisonner rigoureusement, à l'aide de logique mathématique, sur un programme informatique ou du matériel électronique numérique, afin de démontrer leur validité par rapport à une certaine spécification. Wikipedia
French:
informatique
Definitions
Relations
Sources
FR
En informatique, les méthodes formelles sont des techniques permettant de raisonner rigoureusement, à l'aide de logique mathématique, sur un programme informatique ou du matériel électronique numérique, afin de démontrer leur validité par rapport à une certaine spécification. Wikipedia
nouvelle logiciel pour informatique Wikidata
IS A
méthode
HAS KIND
sémantique opérationnelle
sémantique axiomatique
sémantique dénotationnelle
algèbre de processus
BASED ON
logique
mathématiques
Wikipedia
FR
méthode formelle (informatique)
Wikidata
FR
méthode formelle
Wikipedia Redirections
FR
Methode formelle (informatique), Méthode formelle, méthodes formelles
Wikidata Alias
FR
methode formelle, méthodes formelles
Wikipedia Translations
FR
méthode formelle, méthodes formelles

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License