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

Description

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: 71e403fc82a4651fb1f0d61fa6da36be (MD5)
Previous issue date: 2001 / Mestrado

Links & Downloads

1. (Broch.)
2. 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.
3. http://repositorio.unicamp.br/jspui/handle/REPOSIP/260150

Tags

Software - Validação

Simulação (Computadores)

Geradores de codigo

Additional Fields

Identifer	oai:union.ndltd.org:IBICT/oai:repositorio.unicamp.br:REPOSIP/260150
Date	31 July 2018
Creators	Guimarães, Rafael Paoliello
Contributors	UNIVERSIDADE ESTADUAL DE CAMPINAS, Borelli, Walter da Cunha, 1950-
Publisher	[s.n.], Universidade Estadual de Campinas. Faculdade de Engenharia Elétrica e de Computação
Source Sets	IBICT Brazilian ETDs
Language	Portuguese
Detected Language	Portuguese
Type	info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis
Format	152p. : il., application/pdf
Source	reponame:Repositório Institucional da Unicamp, instname:Universidade Estadual de Campinas, instacron:UNICAMP
Rights	info:eu-repo/semantics/openAccess