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