About: Métodos formales

Property	Value
dbo:wikiPageID	5559355 (xsd:integer)
dbo:wikiPageRevisionID	65727203 (xsd:integer)
rdf:type	skos:Concept
rdfs:label	Métodos formales (es) Métodos formales (es)
skos:broader	category-es:Calidad_de_software category-es:Informática_teórica
skos:prefLabel	Métodos formales (es) Métodos formales (es)
prov:wasDerivedFrom	wikipedia-es:Categoría:Métodos_formales?oldid=65727203&ns=14
is dct:subject of	dbpedia-es:Semántica_axiomática dbpedia-es:Aserción_(informática) dbpedia-es:Verificación_y_validación_de_los_modelos_de_simulación_por_ordenador dbpedia-es:Máquina_de_Turing dbpedia-es:Precondición dbpedia-es:Lógica_computacional dbpedia-es:Language_Of_Temporal_Ordering_Specification dbpedia-es:Especificación_formal dbpedia-es:Whiley_(lenguaje_de_programación) dbpedia-es:Semántica_de_transformación_de_predicados dbpedia-es:Problema_de_satisfacibilidad_booleana dbpedia-es:Postcondición dbpedia-es:Demostración_automática_de_teoremas dbpedia-es:Teoría_de_tipos_homotópica dbpedia-es:Prueba_asistida_por_ordenador dbpedia-es:Método_formal dbpedia-es:Verificación_formal dbpedia-es:Sistema_formal dbpedia-es:Principio_de_sustitución_de_Liskov dbpedia-es:Invariante_(informática) dbpedia-es:Teorías_de_satisfacibilidad_módulo dbpedia-es:Proceso_Unificado_de_Rational dbpedia-es:Teoría_de_conjuntos dbpedia-es:Proceso_para_el_desarrollo_de_software dbpedia-es:Coeficiente_de_adecuación dbpedia-es:Pruebas_formales_de_software
is skos:broader of	category-es:Análisis_de_software category-es:Lenguaje_Z category-es:Máquinas_de_Turing category-es:Verificación_de_modelos category-es:Modelos_computacionales category-es:Tipos_abstractos_de_datos