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

dc.creatorGuimarães, Rafael Paoliello
dc.date2001
dc.date2017-03-22T18:30:36Z
dc.date2017-07-13T19:46:31Z
dc.date2017-03-22T18:30:36Z
dc.date2017-07-13T19:46:31Z
dc.date.accessioned2018-03-29T03:53:11Z
dc.date.available2018-03-29T03:53:11Z
dc.identifier(Broch.)
dc.identifierGUIMARÃ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.
dc.identifierhttp://repositorio.unicamp.br/jspui/handle/REPOSIP/260150
dc.identifier.urihttp://repositorioslatinoamericanos.uchile.cl/handle/2250/1337710
dc.descriptionOrientador : Walter da Cunha Borelli
dc.descriptionDissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação
dc.descriptionMestrado
dc.format152p. : il.
dc.formatapplication/pdf
dc.languagePortuguês
dc.publisher[s.n.]
dc.subjectProcessamento eletrônico de dados - Processamento distribuído
dc.subjectSDL (Linguagem de programação de computador)
dc.subjectSoftware - Validação
dc.subjectSimulação (Computadores)
dc.subjectProgramação orientada a objetos (Computação)
dc.subjectJava (Linguagem de programação de computador)
dc.subjectGeradores de codigo
dc.titleDesenvolvimento de sistemas TINA utilizando a linguagem de especificação formal SDL com geração automatica de codigo Java
dc.typeTesis


Este ítem pertenece a la siguiente institución