Semântica e uma ferramenta para o método SADT
AUTOR(ES)
Ribeiro, Adagenor Lobato
DATA DE PUBLICAÇÃO
2010
RESUMO
A definição de requisitos tem sido reconhecida como uma das mais críticas e difíceis tarefas em engenharia de software. A necessidade de ferramentas de suporte é essencial. Nos dias de hoje, entre os vários métodos existentes para apoiar a fase de requisitos, destaca-se o SADT (Structured Analysis and Design Techniques) devido a sua capacidade de representar modelos. Este trabalho estabelece semântica para o método SADT, baseando-se na inter-relação do método aos sistemas de fluxo de dados (redes, grafos e máquinas de fluxo). Faz-se, inicialmente, uma abordagem operacional para a semântica de seus construtos básicos e, posteriormente discute-se a possibilidade de executar especificações através de simulação. Uma ferramenta para suportar o método SADT foi projetada e construída e é apresentada. Ela foi definida a partir de um modelo, denotado por uma classe, através de uma sintaxe abstrata. Essa ferramenta foi implementada no ambiente PROSOFT, fornecendo para o usuário mais de quarenta operações de apoio a construção/manipulação de diagramas. O trabalho também apresenta a especificação formal em VDM - Vienna Development Method, da semântica dos principais construtos do método SADT, bem como uma proposição de execução de especificações através de simulação são ainda indicadas direções nas quais o trabalho pode ser estendido.
ASSUNTO(S)
method engenharia : software software engineering especificacao : software sadt case requirements definition formal specification computer assisted software engineering (case) simulation system dataflow vdm funcional specification semantics
ACESSO AO ARTIGO
http://hdl.handle.net/10183/24146Documentos Relacionados
- Ferramenta visual para especificação de hiperdocumentos, segundo o método OOHDM
- O intervalo semantico : contribuição para uma teoria semantica argumentativa
- O APACHE II é uma ferramenta útil para pesquisa clínica?
- O mapeamento da unidade funcional hepática: uma ferramenta para diagnóstico e pesquisa
- Método de TÚNEL: uma ferramenta alternativa para avaliar a integridade do DNA de espermatozóides bovinos.