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...
Main Author: | |
---|---|
Other Authors: | |
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 |