Desenvolvimento de sistemas TINA utilizando a linguagem de especificação formal SDL com geração automatica de codigo Java
Autor: | Guimarães, Rafael Paoliello |
---|---|
Přispěvatelé: | Borelli, Walter da Cunha, 1950, Universidade Estadual de Campinas. Faculdade de Engenharia Elétrica e de Computação, UNIVERSIDADE ESTADUAL DE CAMPINAS |
Rok vydání: | 2021 |
Předmět: | |
Zdroj: | Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) Universidade Estadual de Campinas (UNICAMP) instacron:UNICAMP |
DOI: | 10.47749/t/unicamp.2001.222750 |
Popis: | Orientador : Walter da Cunha Borelli Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação Mestrado |
Databáze: | OpenAIRE |
Externí odkaz: |