Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Sousa, Thiago Carvalho de"'
Autor:
Santos-Filho, Francisco Soares, Sousa, Thiago Carvalho de, Branco, Hermes Manoel Galvâo Castelo
Publikováno v:
Research, Society and Development; Vol. 9 No. 10; e4039108834
Research, Society and Development; Vol. 9 Núm. 10; e4039108834
Research, Society and Development; v. 9 n. 10; e4039108834
Research, Society and Development
Universidade Federal de Itajubá (UNIFEI)
instacron:UNIFEI
Research, Society and Development; Vol. 9 Núm. 10; e4039108834
Research, Society and Development; v. 9 n. 10; e4039108834
Research, Society and Development
Universidade Federal de Itajubá (UNIFEI)
instacron:UNIFEI
The CF / 1988 enshrined the university autonomy, article 207, unfolding it in three indissoluble facets: (i) didactic-scientific; (ii) administrative; and (iii) financial and asset management. This article focuses on the latter, providing an overview
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3056::54fe6deface7a8f50fb7fc05c22cca7c
https://rsdjournal.org/index.php/rsd/article/view/8834
https://rsdjournal.org/index.php/rsd/article/view/8834
Autor:
Sousa, Thiago Carvalho de
Neste trabalho apresentamos uma implementação de revisão de crenças baseada em comparação de modelos (estados) em uma ferramenta de verificação automática de sistemas de estados finitos. Dada uma fórmula (na lógica CTL) inconsistente com o
Autor:
Sousa, Thiago Carvalho de
As melhores práticas de engenharia de software indicam que a atividade de verificação é fundamental para se alcançar o mínimo de qualidade na construção de um software. Nos processos de desenvolvimento baseados na UML, um dos seus focos princ