Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Alvaro Heiji Miyazawa"'
Autor:
Alvaro Heiji Miyazawa
Publikováno v:
Biblioteca Digital de Teses e Dissertações da USPUniversidade de São PauloUSP.
Especificações formais são úteis para descrever o que um sistema deve fazer sem definir como, e, em virtude da sua natureza formal e da possibilidade de abstração, é possível analisá-las sistematicamente. No entanto, o uso de especificaçõe
Autor:
Alvaro Heiji Miyazawa
Publikováno v:
Biblioteca Digital de Teses e Dissertações da USP
Universidade de São Paulo (USP)
instacron:USP
Universidade de São Paulo (USP)
instacron:USP
Especificações formais são úteis para descrever o que um sistema deve fazer sem definir como, e, em virtude da sua natureza formal e da possibilidade de abstração, é possível analisá-las sistematicamente. No entanto, o uso de especificaçõe
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::de0a881076722e1af101155471ef7350
https://doi.org/10.11606/d.45.2008.tde-02112008-224245
https://doi.org/10.11606/d.45.2008.tde-02112008-224245
