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

Detalhes bibliográficos
Ano de defesa: 2001
Autor(a) principal: Guimarães, Rafael Paoliello
Orientador(a): Não Informado pela instituição
Banca de defesa: Não Informado pela instituição
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: [s.n.]
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
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 código
Link de acesso: https://hdl.handle.net/20.500.12733/1591253
Resumo: Orientador : Walter da Cunha Borelli
id UNICAMP-30_e28ff3497ad28e38d835d49c6e01cfca
oai_identifier_str oai::222750
network_acronym_str UNICAMP-30
network_name_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository_id_str
spelling Desenvolvimento de sistemas TINA utilizando a linguagem de especificação formal SDL com geração automatica de codigo JavaProcessamento eletrônico de dados - Processamento distribuídoSDL (Linguagem de programação de computador)Software - ValidaçãoSimulação (Computadores)Programação orientada a objetos (Computação)Java (Linguagem de programação de computador)Geradores de códigoOrientador : Walter da Cunha BorelliDissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de ComputaçãoMestrado[s.n.]Borelli, Walter da Cunha, 1950-Universidade Estadual de Campinas (UNICAMP). Faculdade de Engenharia Elétrica e de ComputaçãoPrograma de Pós-Graduação não informadoUNIVERSIDADE ESTADUAL DE CAMPINASGuimarães, Rafael Paoliello2001info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdf152p. : il.(Broch.)https://hdl.handle.net/20.500.12733/1591253GUIMARÃ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: https://hdl.handle.net/20.500.12733/1591253. Acesso em: 27 fev. 2025.https://repositorio.unicamp.br/acervo/detalhe/222750porreponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMPinfo:eu-repo/semantics/openAccess2014-04-18T21:58:54Zoai::222750Biblioteca Digital de Teses e DissertaçõesPUBhttp://repositorio.unicamp.br/oai/tese/oai.aspsbubd@unicamp.bropendoar:2014-04-18T21:58:54Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)false
dc.title.none.fl_str_mv Desenvolvimento de sistemas TINA utilizando a linguagem de especificação formal SDL com geração automatica de codigo Java
title Desenvolvimento de sistemas TINA utilizando a linguagem de especificação formal SDL com geração automatica de codigo Java
spellingShingle Desenvolvimento de sistemas TINA utilizando a linguagem de especificação formal SDL com geração automatica de codigo Java
Guimarães, Rafael Paoliello
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 código
title_short Desenvolvimento de sistemas TINA utilizando a linguagem de especificação formal SDL com geração automatica de codigo Java
title_full Desenvolvimento de sistemas TINA utilizando a linguagem de especificação formal SDL com geração automatica de codigo Java
title_fullStr Desenvolvimento de sistemas TINA utilizando a linguagem de especificação formal SDL com geração automatica de codigo Java
title_full_unstemmed Desenvolvimento de sistemas TINA utilizando a linguagem de especificação formal SDL com geração automatica de codigo Java
title_sort Desenvolvimento de sistemas TINA utilizando a linguagem de especificação formal SDL com geração automatica de codigo Java
author Guimarães, Rafael Paoliello
author_facet Guimarães, Rafael Paoliello
author_role author
dc.contributor.none.fl_str_mv Borelli, Walter da Cunha, 1950-
Universidade Estadual de Campinas (UNICAMP). Faculdade de Engenharia Elétrica e de Computação
Programa de Pós-Graduação não informado
UNIVERSIDADE ESTADUAL DE CAMPINAS
dc.contributor.author.fl_str_mv Guimarães, Rafael Paoliello
dc.subject.por.fl_str_mv 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 código
topic 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 código
description Orientador : Walter da Cunha Borelli
publishDate 2001
dc.date.none.fl_str_mv 2001
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv (Broch.)
https://hdl.handle.net/20.500.12733/1591253
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: https://hdl.handle.net/20.500.12733/1591253. Acesso em: 27 fev. 2025.
identifier_str_mv (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: https://hdl.handle.net/20.500.12733/1591253. Acesso em: 27 fev. 2025.
url https://hdl.handle.net/20.500.12733/1591253
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https://repositorio.unicamp.br/acervo/detalhe/222750
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
152p. : il.
dc.publisher.none.fl_str_mv [s.n.]
publisher.none.fl_str_mv [s.n.]
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
instname:Universidade Estadual de Campinas (UNICAMP)
instacron:UNICAMP
instname_str Universidade Estadual de Campinas (UNICAMP)
instacron_str UNICAMP
institution UNICAMP
reponame_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
collection Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)
repository.mail.fl_str_mv sbubd@unicamp.br
_version_ 1829137420067536896

Registros relacionados