Número de Chamada
|
005.1 R484s DIS
|
Autor Principal
|
Ribeiro, Adagenor Lobato .
|
Entradas Secundárias - Autor
|
Daltro, José Nunes, orientador Universidade Federal do Rio Grande do Sul. Instituto de Informática. Programa de Pós-Graduação em Computação
|
Título Principal
|
Semântica e uma ferramenta para o método SADT / Adagenor Lobato Ribeiro ; orientador: Daltro Jose Nunes
|
Publicação
|
1991.
|
Descrição Física
|
190 f. : il. ; 29 cm
|
Notas
|
Dissertação (mestrado) - Universidade Federal do Rio Grande do Sul. Instituto de Informática. Curso de Pos-Graduação em Ciencia da Computação, 1991 Inclui bibliografias 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 à 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.
|
Assuntos
|
Engenharia de software SADT (Análise de sistemas)
|
|