Desenvolvimento de sistemas TINA utilizando a linguagem de especificação formal SDL com geração automatica de codigo Java

Tesis

Registration in:

(Broch.)

GUIMARÃES, Rafael Paoliello. Desenvolvimento de sistemas TINA utilizando a linguagem de especificação formal SDL com geração automatica de codigo Java. 2001. 152p. Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação, Campinas, SP. Disponível em: <http://www.rau-tu.unicamp.br/nou-rau/sbu/document/?code=vtls000236391>. Acesso em: 22 mar. 2017.

http://repositorio.unicamp.br/jspui/handle/REPOSIP/260150

http://repositorioslatinoamericanos.uchile.cl/handle/2250/1337710

Share

Author

Guimarães, Rafael Paoliello

Institutions

Universidade Estadual de Campinas (Brasil)

Abstract

Orientador : Walter da Cunha Borelli

Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação

Mestrado

Subjects

Processamento eletrônico de dados - Processamento distribuído

SDL (Linguagem de programação de computador)

Software - Validação

Simulação (Computadores)

Programação orientada a objetos (Computação)

Java (Linguagem de programação de computador)

Geradores de codigo

Show full item record