Navegação Relatórios Técnicos e de Pesquisa por Assunto "Engenharia : Software"
Resultados 1-7 de 7
-
Distributed Prosoft : management of tools and memory
(1995) [Relatório Técnico e de Pesquisa]Resumo não disponível -
Especificacoes formais em obj
(CPGCC da UFRGS, 1989) [Relatório Técnico e de Pesquisa]Este trabalho apresenta a linguagem de especificção forma OBJ. Trata-se de uma linguagem executável, que serve para implementar e testar especificações algébricas. São apresentados as sintaxes e a semântica do OBJ e um ... -
Estudo comparativo e taxonomia de ferramentas de suporte a construção automática de sistemas
(CPGCC da UFRGS, 1991) [Relatório Técnico e de Pesquisa]Este trabalho apresenta um estudo comparativo das características de ferramentas de suporte a construção automática de sistemas, buscando estabelecer uma taxonomia com base em um conjunto de critérios de classificação, ... -
Um estudo de tecnicas de validacao e de verificacao de produtos de software
(CPGCC da UFRGS, 1991) [Relatório Técnico e de Pesquisa]No desenvolvimento de um produto de software devem ser efetuadas avaliações, com o objetivo de validá-lo e de verificá-lo, dando assim origem a produtos mais confiáveis. Este trabalho sttua a validação e a verificação no ... -
Sistemas especialistas para a engenharia de software
(CPGCC da UFRGS, 1990) [Relatório Técnico e de Pesquisa]Este trabalho a presenta um estudo abrangente sobre o uso de sistemas especialistas e técnicas de inteligência artificial na área de engenharia de software. E a presentada uma seleção das principais referências bibliográficas ... -
Sistemas especialistas para a engenharia de software
(CPGCC da UFRGS, 1991) [Relatório Técnico e de Pesquisa]Este trabalho apresenta um estudo abrangente sobre o uso de sistemas especialistas e técnicas de inteligência artificial na área de engenharia de software. É apresentada uma seleção das principais referências bibliográficas ... -
Verbesserung der software-qualitat durch verifikation der korrektheit der implementierung im projekt prosoft : ein vorschlag zur formalisierung des modells
(Universitat Stuttgart, 1993) [Relatório Técnico e de Pesquisa]Resumo não disponível
