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

Orientador : Walter da Cunha Borelli === Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação === Made available in DSpace on 2018-07-31T15:19:09Z (GMT). No. of bitstreams: 1 Guimaraes_RafaelPaoliello_M.pdf: 1024865 bytes, checksum: 71e403fc82a...

Full description

Bibliographic Details
Main Author:	Guimarães, Rafael Paoliello
Other Authors:	UNIVERSIDADE ESTADUAL DE CAMPINAS
Format:	Others
Language:	Portuguese
Published:	[s.n.] 2001
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
Online Access:	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.repositorio.unicamp.br/handle/REPOSIP/260150>. Acesso em: 31 jul. 2018. http://repositorio.unicamp.br/jspui/handle/REPOSIP/260150

Internet

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.repositorio.unicamp.br/handle/REPOSIP/260150>. Acesso em: 31 jul. 2018.
http://repositorio.unicamp.br/jspui/handle/REPOSIP/260150

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

Internet

Similar Items