Toggle navigation
Faceted Browser
Sparql Endpoint
Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
LODmilla Browser
Formats
RDF:
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
CSV
JSON-LD
About:
http://fr.dbpedia.org/resource/Catégorie:Méthode_formelle
An Entity of Type :
Concept
, from Named Graph :
http://fr.dbpedia.org
, within Data Space :
fr.dbpedia.org
Property
Value
dbo:
mainArticleForCategory
dbpedia-fr
:Méthode_formelle_(informatique)
dbo:
wikiPageID
939170
(xsd:integer)
dbo:
wikiPageRevisionID
119843568
(xsd:integer)
prop-fr:
wikiPageUsesTemplate
dbpedia-fr
:Modèle:Article_principal
dbpedia-fr
:Modèle:Catégorie_informatique
rdf:
type
skos
:Concept
rdfs:
label
Méthode formelle
(fr)
Méthode formelle
(fr)
rdfs:
seeAlso
https://commons.wikimedia.org/wiki/Category:Formal_methods
owl:
sameAs
dbc
:Formal_methods
dbpedia-commons
:Category:Formal_methods
wikidata
:Q8466124
dbpedia-ar
:تصنيف:طرق_شكلية
http://ba.dbpedia.org/resource/Категория:Формаль_ысулдар
dbpedia-be
:Катэгорыя:Фармальныя_метады
http://bs.dbpedia.org/resource/Kategorija:Formalni_metodi
dbpedia-el
:Κατηγορία:Τυπικές_μέθοδοι
dbpedia-eo
:Kategorio:Formalaj_manieroj
dbpedia-es
:Categoría:Métodos_formales
dbpedia-eu
:Kategoria:Metodo_formalak
dbpedia-fa
:رده:روشهای_صوری
http://hy.dbpedia.org/resource/Կատեգորիա:Ֆորմալ_մեթոդներ
dbpedia-id
:Kategori:Metode_formal
dbpedia-it
:Categoria:Metodi_formali
dbpedia-ja
:Category:形式手法
dbpedia-ko
:분류:정형_기법
http://lt.dbpedia.org/resource/Kategorija:Formalūs_metodai
dbpedia-nn
:Kategori:Formelle_metodar
dbpedia-pt
:Categoria:Métodos_formais
dbpedia-ro
:Categorie:Metode_formale
dbpedia-ru
:Категория:Формальные_методы
dbpedia-sl
:Kategorija:Formalne_metode
dbpedia-tr
:Kategori:Biçimsel_yöntemler
dbpedia-uk
:Категорія:Формальні_методи
dbpedia-vi
:Thể_loại:Phương_pháp_hình_thức
dbpedia-zh
:Category:形式方法
skos:
broader
category-fr
:Développement_logiciel
category-fr
:Informatique_théorique
category-fr
:Logique
category-fr
:Sûreté_informatique
skos:
prefLabel
Méthode formelle
(fr)
Méthode formelle
(fr)
prov:
wasDerivedFrom
wikipedia-fr
:Catégorie:Méthode_formelle?oldid=119843568&ns=14
is
dbo:
wikiPageWikiLink
of
dbpedia-fr
:Ω-automate
dbpedia-fr
:Algèbre_de_processus
dbpedia-fr
:Analyse_statique_de_programmes
dbpedia-fr
:Analyse_structurée
dbpedia-fr
:Automate_fini
dbpedia-fr
:Automate_fini_alternant
dbpedia-fr
:Automate_fini_déterministe
dbpedia-fr
:Automate_fini_non_déterministe
dbpedia-fr
:Automate_probabiliste
dbpedia-fr
:Automate_sur_les_mots_infinis
dbpedia-fr
:Automate_séquentiel
dbpedia-fr
:Automate_à_piles_intégrées
dbpedia-fr
:B-Toolkit
dbpedia-fr
:Bisimulation
dbpedia-fr
:CO-OPN
dbpedia-fr
:CertiKOS
dbpedia-fr
:Communicating_sequential_processes
dbpedia-fr
:Coverity_Prevent
dbpedia-fr
:Diagramme_de_décision_binaire
dbpedia-fr
:Dérivée_de_Brzozowski
dbpedia-fr
:E-LOTOS
dbpedia-fr
:Epsilon_transition
dbpedia-fr
:Grammaire_indexée
dbpedia-fr
:Interprétation_abstraite
dbpedia-fr
:Invariant
dbpedia-fr
:Invariant_de_boucle
dbpedia-fr
:Java_Modeling_Language
dbpedia-fr
:KeY_(logiciel)
dbpedia-fr
:Langage_indexé
dbpedia-fr
:Language_Of_Temporal_Ordering_Specification
dbpedia-fr
:Logique_de_Hoare
dbpedia-fr
:Logique_de_séparation
dbpedia-fr
:Logique_temporelle
dbpedia-fr
:Machine_à_états_abstraits
dbpedia-fr
:Modèle_(informatique)
dbpedia-fr
:Modélisation_d'entreprise
dbpedia-fr
:Méthode_B
dbpedia-fr
:Méthode_de_Brzozowski_et_McCluskey
dbpedia-fr
:Méthode_formelle_(informatique)
dbpedia-fr
:Méthode_formelle_appliquée_à_l'électronique
dbpedia-fr
:Notation_Z
dbpedia-fr
:Noyau_de_système_d'exploitation_formellement_prouvé
dbpedia-fr
:Pi-calcul
dbpedia-fr
:PolySpace
dbpedia-fr
:Programmation_par_contrat
dbpedia-fr
:Préordre_de_simulation
dbpedia-fr
:Romeo_(logiciel)
dbpedia-fr
:Règle_de_résolution
dbpedia-fr
:Réseau_de_Petri
dbpedia-fr
:Réseau_de_Petri_P-temporel
dbpedia-fr
:Réseau_de_Petri_P-temporisé
dbpedia-fr
:Réseau_de_Petri_T-temporel
dbpedia-fr
:Réseau_de_Petri_temporel
dbpedia-fr
:Réseau_de_Petri_temporisé
dbpedia-fr
:Réseaux_de_Kahn
dbpedia-fr
:Specification_and_Description_Language
dbpedia-fr
:Spécification_(norme_technique)
dbpedia-fr
:Stratégie_d'évaluation_(informatique)
dbpedia-fr
:Structure_oméga-automatique
dbpedia-fr
:Système_asynchrone
dbpedia-fr
:Système_critique
dbpedia-fr
:Système_de_transition_d'états
dbpedia-fr
:Sémantique_algébrique_(informatique)
dbpedia-fr
:Sémantique_axiomatique
dbpedia-fr
:Sémantique_des_langages_de_programmation
dbpedia-fr
:Sémantique_dénotationnelle
dbpedia-fr
:Sémantique_opérationnelle
dbpedia-fr
:Sûreté_(propriété_de_programme)
dbpedia-fr
:TLA+
dbpedia-fr
:Théorie_des_types
dbpedia-fr
:Transducteur_fini
dbpedia-fr
:Transduction_rationnelle
dbpedia-fr
:Type_abstrait
dbpedia-fr
:Vienna_Development_Method
dbpedia-fr
:Vivacité_(informatique)
dbpedia-fr
:Vérification_de_modèles
dbpedia-fr
:Vérification_formelle
dbpedia-fr
:Évaluation_paresseuse
is
dct:
subject
of
dbpedia-fr
:Ω-automate
dbpedia-fr
:Algèbre_de_processus
dbpedia-fr
:Analyse_statique_de_programmes
dbpedia-fr
:Analyse_structurée
dbpedia-fr
:Automate_fini
dbpedia-fr
:Automate_fini_alternant
dbpedia-fr
:Automate_fini_déterministe
dbpedia-fr
:Automate_fini_non_déterministe
dbpedia-fr
:Automate_probabiliste
dbpedia-fr
:Automate_sur_les_mots_infinis
dbpedia-fr
:Automate_séquentiel
dbpedia-fr
:Automate_à_piles_intégrées
dbpedia-fr
:B-Toolkit
dbpedia-fr
:Bisimulation
dbpedia-fr
:CO-OPN
dbpedia-fr
:CertiKOS
dbpedia-fr
:Communicating_sequential_processes
dbpedia-fr
:Coverity_Prevent
dbpedia-fr
:Diagramme_de_décision_binaire
dbpedia-fr
:Dérivée_de_Brzozowski
dbpedia-fr
:E-LOTOS
dbpedia-fr
:Epsilon_transition
dbpedia-fr
:Grammaire_indexée
dbpedia-fr
:Interprétation_abstraite
dbpedia-fr
:Invariant
dbpedia-fr
:Invariant_de_boucle
dbpedia-fr
:Java_Modeling_Language
dbpedia-fr
:KeY_(logiciel)
dbpedia-fr
:Langage_indexé
dbpedia-fr
:Language_Of_Temporal_Ordering_Specification
dbpedia-fr
:Logique_de_Hoare
dbpedia-fr
:Logique_de_séparation
dbpedia-fr
:Logique_temporelle
dbpedia-fr
:Machine_à_états_abstraits
dbpedia-fr
:Modèle_(informatique)
dbpedia-fr
:Modélisation_d'entreprise
dbpedia-fr
:Méthode_B
dbpedia-fr
:Méthode_de_Brzozowski_et_McCluskey
dbpedia-fr
:Méthode_formelle_(informatique)
dbpedia-fr
:Méthode_formelle_appliquée_à_l'électronique
dbpedia-fr
:Notation_Z
dbpedia-fr
:Noyau_de_système_d'exploitation_formellement_prouvé
dbpedia-fr
:Pi-calcul
dbpedia-fr
:PolySpace
dbpedia-fr
:Programmation_par_contrat
dbpedia-fr
:Préordre_de_simulation
dbpedia-fr
:Romeo_(logiciel)
dbpedia-fr
:Règle_de_résolution
dbpedia-fr
:Réseau_de_Petri
dbpedia-fr
:Réseau_de_Petri_P-temporel
dbpedia-fr
:Réseau_de_Petri_P-temporisé
dbpedia-fr
:Réseau_de_Petri_T-temporel
dbpedia-fr
:Réseau_de_Petri_temporel
dbpedia-fr
:Réseau_de_Petri_temporisé
dbpedia-fr
:Réseaux_de_Kahn
dbpedia-fr
:Specification_and_Description_Language
dbpedia-fr
:Spécification_(norme_technique)
dbpedia-fr
:Stratégie_d'évaluation_(informatique)
dbpedia-fr
:Structure_oméga-automatique
dbpedia-fr
:Système_asynchrone
dbpedia-fr
:Système_critique
dbpedia-fr
:Système_de_transition_d'états
dbpedia-fr
:Sémantique_algébrique_(informatique)
dbpedia-fr
:Sémantique_axiomatique
dbpedia-fr
:Sémantique_des_langages_de_programmation
dbpedia-fr
:Sémantique_dénotationnelle
dbpedia-fr
:Sémantique_opérationnelle
dbpedia-fr
:Sûreté_(propriété_de_programme)
dbpedia-fr
:TLA+
dbpedia-fr
:Théorie_des_types
dbpedia-fr
:Transducteur_fini
dbpedia-fr
:Transduction_rationnelle
dbpedia-fr
:Type_abstrait
dbpedia-fr
:Vienna_Development_Method
dbpedia-fr
:Vivacité_(informatique)
dbpedia-fr
:Vérification_de_modèles
dbpedia-fr
:Vérification_formelle
dbpedia-fr
:Évaluation_paresseuse
is
skos:
broader
of
category-fr
:Personnalité_en_méthodes_formelles
category-fr
:Vérification_de_modèles
category-fr
:Assistant_de_preuve
category-fr
:Logique_modale
category-fr
:Modèle_de_sécurité_informatique
category-fr
:Syllogisme
is
oa:
hasTarget
of
tag-fr
:WdtFrResource