Tradução automática de modelos informais para especificações formais de sistemas de software

Detalhes bibliográficos
Ano de defesa: 1996
Autor(a) principal: Josivaldo Santos
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: Instituto Tecnológico de Aeronáutica
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:
Engenharia de software
Desenvolvimento de software
Controle automático
Administração de produção
Programas de sistemas de computadores
Computação
Link de acesso: http://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=1639
Resumo: O processo de produção de software possui, genericamente, as fases de definição, de desenvolvimento e de verificação, entrega e manutenção. Dentro da fase de definição encontra-se a atividade de Análise de Requisitos de Software, que interliga os subsídios de software a nível de sistema de projeto de softwate.Tal análise compõe-se das etapas de reconhecimento do problema, avaliação e síntese, modelamento, epecificação e revisão. Todas essas etapas interdependentes e concorrentes. Enquanto a etapa de modelamento tende à informalidade, a etapa de especificação deve ser formal. Surge, assim. a seguinte questão: É possível gerar automaticamente uma especificação formal a partir de um dado modelo informal de um sistema? Tentando responder essa questão, este trabalho de pesquisa descreve mecanismos de mapeamento automático de Diagrmas de Fluxo de Dados para a linguagem de especificação formal LOTOS (Language Of Temporal Ordering Specification), ressaltando as vantagens da utilização desses mecanismos no processo de produção de software.
id ITA_1d33155ff8c38ee0cf0346ca2cc25a5c
oai_identifier_str oai:agregador.ibict.br.BDTD_ITA:oai:ita.br:1639
network_acronym_str ITA
network_name_str Biblioteca Digital de Teses e Dissertações do ITA
spelling Tradução automática de modelos informais para especificações formais de sistemas de softwareEngenharia de softwareDesenvolvimento de softwareControle automáticoAdministração de produçãoProgramas de sistemas de computadoresComputaçãoO processo de produção de software possui, genericamente, as fases de definição, de desenvolvimento e de verificação, entrega e manutenção. Dentro da fase de definição encontra-se a atividade de Análise de Requisitos de Software, que interliga os subsídios de software a nível de sistema de projeto de softwate.Tal análise compõe-se das etapas de reconhecimento do problema, avaliação e síntese, modelamento, epecificação e revisão. Todas essas etapas interdependentes e concorrentes. Enquanto a etapa de modelamento tende à informalidade, a etapa de especificação deve ser formal. Surge, assim. a seguinte questão: É possível gerar automaticamente uma especificação formal a partir de um dado modelo informal de um sistema? Tentando responder essa questão, este trabalho de pesquisa descreve mecanismos de mapeamento automático de Diagrmas de Fluxo de Dados para a linguagem de especificação formal LOTOS (Language Of Temporal Ordering Specification), ressaltando as vantagens da utilização desses mecanismos no processo de produção de software.Instituto Tecnológico de AeronáuticaAdilson Marques da CunhaJosivaldo Santos1996-11-01info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesishttp://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=1639reponame:Biblioteca Digital de Teses e Dissertações do ITAinstname:Instituto Tecnológico de Aeronáuticainstacron:ITAporinfo:eu-repo/semantics/openAccessapplication/pdf2019-02-02T14:02:46Zoai:agregador.ibict.br.BDTD_ITA:oai:ita.br:1639http://oai.bdtd.ibict.br/requestopendoar:null2020-05-28 19:36:52.13Biblioteca Digital de Teses e Dissertações do ITA - Instituto Tecnológico de Aeronáuticatrue
dc.title.none.fl_str_mv Tradução automática de modelos informais para especificações formais de sistemas de software
title Tradução automática de modelos informais para especificações formais de sistemas de software
spellingShingle Tradução automática de modelos informais para especificações formais de sistemas de software
Josivaldo Santos
Engenharia de software
Desenvolvimento de software
Controle automático
Administração de produção
Programas de sistemas de computadores
Computação
title_short Tradução automática de modelos informais para especificações formais de sistemas de software
title_full Tradução automática de modelos informais para especificações formais de sistemas de software
title_fullStr Tradução automática de modelos informais para especificações formais de sistemas de software
title_full_unstemmed Tradução automática de modelos informais para especificações formais de sistemas de software
title_sort Tradução automática de modelos informais para especificações formais de sistemas de software
author Josivaldo Santos
author_facet Josivaldo Santos
author_role author
dc.contributor.none.fl_str_mv Adilson Marques da Cunha
dc.contributor.author.fl_str_mv Josivaldo Santos
dc.subject.por.fl_str_mv Engenharia de software
Desenvolvimento de software
Controle automático
Administração de produção
Programas de sistemas de computadores
Computação
topic Engenharia de software
Desenvolvimento de software
Controle automático
Administração de produção
Programas de sistemas de computadores
Computação
dc.description.none.fl_txt_mv O processo de produção de software possui, genericamente, as fases de definição, de desenvolvimento e de verificação, entrega e manutenção. Dentro da fase de definição encontra-se a atividade de Análise de Requisitos de Software, que interliga os subsídios de software a nível de sistema de projeto de softwate.Tal análise compõe-se das etapas de reconhecimento do problema, avaliação e síntese, modelamento, epecificação e revisão. Todas essas etapas interdependentes e concorrentes. Enquanto a etapa de modelamento tende à informalidade, a etapa de especificação deve ser formal. Surge, assim. a seguinte questão: É possível gerar automaticamente uma especificação formal a partir de um dado modelo informal de um sistema? Tentando responder essa questão, este trabalho de pesquisa descreve mecanismos de mapeamento automático de Diagrmas de Fluxo de Dados para a linguagem de especificação formal LOTOS (Language Of Temporal Ordering Specification), ressaltando as vantagens da utilização desses mecanismos no processo de produção de software.
description O processo de produção de software possui, genericamente, as fases de definição, de desenvolvimento e de verificação, entrega e manutenção. Dentro da fase de definição encontra-se a atividade de Análise de Requisitos de Software, que interliga os subsídios de software a nível de sistema de projeto de softwate.Tal análise compõe-se das etapas de reconhecimento do problema, avaliação e síntese, modelamento, epecificação e revisão. Todas essas etapas interdependentes e concorrentes. Enquanto a etapa de modelamento tende à informalidade, a etapa de especificação deve ser formal. Surge, assim. a seguinte questão: É possível gerar automaticamente uma especificação formal a partir de um dado modelo informal de um sistema? Tentando responder essa questão, este trabalho de pesquisa descreve mecanismos de mapeamento automático de Diagrmas de Fluxo de Dados para a linguagem de especificação formal LOTOS (Language Of Temporal Ordering Specification), ressaltando as vantagens da utilização desses mecanismos no processo de produção de software.
publishDate 1996
dc.date.none.fl_str_mv 1996-11-01
dc.type.driver.fl_str_mv info:eu-repo/semantics/publishedVersion
info:eu-repo/semantics/masterThesis
status_str publishedVersion
format masterThesis
dc.identifier.uri.fl_str_mv http://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=1639
url http://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=1639
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Instituto Tecnológico de Aeronáutica
publisher.none.fl_str_mv Instituto Tecnológico de Aeronáutica
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações do ITA
instname:Instituto Tecnológico de Aeronáutica
instacron:ITA
reponame_str Biblioteca Digital de Teses e Dissertações do ITA
collection Biblioteca Digital de Teses e Dissertações do ITA
instname_str Instituto Tecnológico de Aeronáutica
instacron_str ITA
institution ITA
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações do ITA - Instituto Tecnológico de Aeronáutica
repository.mail.fl_str_mv
subject_por_txtF_mv Engenharia de software
Desenvolvimento de software
Controle automático
Administração de produção
Programas de sistemas de computadores
Computação
_version_ 1706804995131703296

Registros relacionados