Conceituação de um ambiente de implementação e testes de sistemas especificados em SDL.

Detalhes bibliográficos
Ano de defesa: 1991
Autor(a) principal: Tano, Sidnei Hideo
Orientador(a): Não Informado pela instituição
Banca de defesa: Não Informado pela instituição
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Biblioteca Digitais de Teses e Dissertações da USP
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
Link de acesso: https://www.teses.usp.br/teses/disponiveis/3/3141/tde-11122024-092649/
Resumo: Os ambientes de desenvolvimento centrados em métodos resumem o processo de evolução recente da engenharia de software como resultado da integração das técnicas de derivação de programas, o modelo de ciclo de vida e aspectos relacionados com a automação de projeto. SDL - Specification and Description Language - proposta pelo CCITT, não apenas incorpora recursos semi-formais de expressão adequados a especificação de sistemas de tempo real, como também revela um interessante método que aponta para uma abordagem de sistematização de projeto. Iniciando com a identificação do método SDL e a proposta de um ambiente de desenvolvimento, este trabalho se concentrou na ideia de implementação de especificações, que resultou num núcleo de execução inserido no contexto de um modelo de orientação a objetos. Esse núcleo coordena a execução cooperativa de processos por meio de troca de mensagens e prove recursos de testes baseados num modelo de monitoração.