Uma abordagem declarativa para o desenvolvimento de sistemas críticos
The development of large, complex, and with multiple requirements computer systems, generally requires a greater ability from a programmer. Considering the limitations of human reasoning about large and high complexity problems, software coding tends to incorporate errors. On critical systems, such...
Autor principal: | Balbinot, Mateus Ricardo Paludo |
---|---|
Formato: | Trabalho de Conclusão de Curso (Graduação) |
Idioma: | Português |
Publicado em: |
Universidade Tecnológica Federal do Paraná
2020
|
Assuntos: | |
Acesso em linha: |
http://repositorio.utfpr.edu.br/jspui/handle/1/15475 |
Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|