método formal
Sign in to savemathematical program specification intended to allow correctness proofs, including algorithmically
In the Vinony graph
Vinony's link graph records 604 inbound references to método formal, and connects out to algorithm, Backus–Naur form and Springer Science+Business Media.
It is catalogued under topics including Formal methods, Software development philosophies and Specification languages.
Vinony links it to 27 Wikipedia language editions.
Wikidata facts
Show 3 more facts
- Stack Exchange tag
- cs.stackexchange.com/tags/formal-methods
- topic's main category
- Category:Formal methods
- Commons category
- Formal methods
via Wikidata · CC0
Article · Español
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.
Abstract from DBpedia / Wikipedia · CC BY-SA