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

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 d...

Full description

Bibliographic Details
Main Author: Josivaldo Santos
Other Authors: Adilson Marques da Cunha
Format: Others
Language:Portuguese
Published: Instituto Tecnológico de Aeronáutica 1996
Subjects:
Online Access:http://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=1639
id ndltd-IBICT-oai-agregador.ibict.br.BDTD_ITA-oai-ita.br-1639
record_format oai_dc
spelling ndltd-IBICT-oai-agregador.ibict.br.BDTD_ITA-oai-ita.br-16392019-01-22T03:12:36Z Tradução automática de modelos informais para especificações formais de sistemas de software Josivaldo Santos Adilson Marques da Cunha Engenharia de software Desenvolvimento de software Controle automático Administração de produção Programas de sistemas de computadores Computação 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. 1996-11-01 info:eu-repo/semantics/publishedVersion info:eu-repo/semantics/masterThesis http://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=1639 por info:eu-repo/semantics/openAccess application/pdf Instituto Tecnológico de Aeronáutica reponame:Biblioteca Digital de Teses e Dissertações do ITA instname:Instituto Tecnológico de Aeronáutica instacron:ITA
collection NDLTD
language Portuguese
format Others
sources NDLTD
topic Engenharia de software
Desenvolvimento de software
Controle automático
Administração de produção
Programas de sistemas de computadores
Computação
spellingShingle Engenharia de software
Desenvolvimento de software
Controle automático
Administração de produção
Programas de sistemas de computadores
Computação
Josivaldo Santos
Tradução automática de modelos informais para especificações formais de sistemas 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.
author2 Adilson Marques da Cunha
author_facet Adilson Marques da Cunha
Josivaldo Santos
author Josivaldo Santos
author_sort Josivaldo Santos
title Tradução automática de modelos informais para especificações formais de sistemas de software
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
publisher Instituto Tecnológico de Aeronáutica
publishDate 1996
url http://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=1639
work_keys_str_mv AT josivaldosantos traducaoautomaticademodelosinformaisparaespecificacoesformaisdesistemasdesoftware
_version_ 1718961051456765952