En ingeniería de software un método formal es un camino a la construcción y análisis de modelos matemáticos que permitan una automatización del desarrollo de sistemas informáticos. Los métodos formales se caracterizan por emplear técnicas y herramientas matemáticas para lograr una facilitación a la hora de encarar la construcción o el análisis de un modelo matemático de un sistema.

rdfs:comment
  • En ingeniería de software un método formal es un camino a la construcción y análisis de modelos matemáticos que permitan una automatización del desarrollo de sistemas informáticos. Los métodos formales se caracterizan por emplear técnicas y herramientas matemáticas para lograr una facilitación a la hora de encarar la construcción o el análisis de un modelo matemático de un sistema. (es)
Is Conocido Por of
foaf:isPrimaryTopicOf
rdfs:label
  • Método formal (es)
Is foaf:primaryTopic of
dcterms:subject
prov:wasDerivedFrom
Is dbpedia-owl:wikiPageDisambiguates of
dbpedia-owl:wikiPageExternalLink
dbpedia-owl:wikiPageID
  • 3210683 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 8996 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 23 (xsd:integer)
Is dbpedia-owl:wikiPageRedirects of
dbpedia-owl:wikiPageRevisionID
  • 77367047 (xsd:integer)
prop-latam:wikiPageUsesTemplate
dbpedia-owl:wikiPageWikiLink [22 values]
Is dbpedia-owl:wikiPageWikiLink of