This HTML5 document contains 15 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

PrefixNamespace IRI
category-eshttp://es.dbpedia.org/resource/Categoría:
dcthttp://purl.org/dc/terms/
wikipedia-eshttp://es.wikipedia.org/wiki/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n12http://www.springer.com/computer/theoretical+computer+science/book/
dbpedia-eshttp://es.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n8http://rdf.freebase.com/ns/m.
n11http://es.wikipedia.org/wiki/Análisis_de_software?oldid=129350563&ns=
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbrhttp://dbpedia.org/resource/
Subject Item
dbpedia-es:Analisis_de_programas
dbo:wikiPageRedirects
dbpedia-es:Análisis_de_software
Subject Item
dbpedia-es:Análisis_de_programas
dbo:wikiPageRedirects
dbpedia-es:Análisis_de_software
Subject Item
dbpedia-es:Análisis_de_software
rdfs:label
Análisis de software
rdfs:comment
En ciencias de la computación, análisis de software es el proceso automatizado de analizar el comportamiento del software. Existen dos tipos principales de análisis, el análisis estático de software y el análisis dinámico de software. Estas técnicas de análisis intentan encontrar y mejorar en un software cuestiones de correctitud, optimización y seguridad. Algunas de las técnicas usadas para llevar a cabo estos análisis son: * Análisis de control del flujo y * * * Verificación de tipos y efectos * Rebanamiento estático * Model checking
owl:sameAs
n8:015gvv
dct:subject
category-es:Análisis_de_software
foaf:isPrimaryTopicOf
wikipedia-es:Análisis_de_software
dbo:wikiPageID
5559295
dbo:wikiPageRevisionID
129350563
dbo:wikiPageExternalLink
n12:978-3-540-65410-0
dbo:wikiPageLength
1388
prov:wasDerivedFrom
n11:0
dbo:abstract
En ciencias de la computación, análisis de software es el proceso automatizado de analizar el comportamiento del software. Existen dos tipos principales de análisis, el análisis estático de software y el análisis dinámico de software. Estas técnicas de análisis intentan encontrar y mejorar en un software cuestiones de correctitud, optimización y seguridad. Algunas de las técnicas usadas para llevar a cabo estos análisis son: * Análisis de control del flujo y * * * Verificación de tipos y efectos * Rebanamiento estático * Model checking Otros campos similares son el profiling y la verificación formal de software.
Subject Item
wikipedia-es:Análisis_de_software
foaf:primaryTopic
dbpedia-es:Análisis_de_software
Subject Item
dbr:Program_analysis
owl:sameAs
dbpedia-es:Análisis_de_software