Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:00857464n
Noun Concept
Categories: Métodos formais
PT
métodos formais  Método formal
PT
Na ciência da computação e engenharia de software, métodos formais são técnicas baseadas em formalismos matemáticos para a especificação, desenvolvimento e verificação dos sistemas de softwares e hardwares. Wikipedia
Definitions
Relations
Sources
PT
Na ciência da computação e engenharia de software, métodos formais são técnicas baseadas em formalismos matemáticos para a especificação, desenvolvimento e verificação dos sistemas de softwares e hardwares. Wikipedia
IS A
método
HAS KIND
semântica operacional
semântica axiomática
semântica denotacional
cálculo de processos
BASED ON
lógica
matemática
Wikipedia
PT
métodos formais
Wikidata
PT
métodos formais
OmegaWiki
PT
métodos formais
Wikipedia Redirections
PT
método formal, Métodos Formais
Wikidata Alias
PT
Método formal
Wikipedia Translations
PT
método formal, métodos formais

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License