Dados do Acervo - Dissertações

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)