Uma metodologia de resolução de problemas via refinamento da especificação

• Ano de defesa: 1996
• Autor(a) principal: SANTOS, Gilson Oliveira dos.
• Tipo de documento: Dissertação
• Tipo de acesso: Acesso aberto
• Idioma: por
• Instituição de defesa: Universidade Federal de Campina Grande; Brasil; Centro de Engenharia Elétrica e Informática - CEEI; PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO; UFCG
• Palavras-chave em Português: Teoria Geral de Problemas; Metodologia de resolução de problemas; Resolução de problemas - computação; Refinamento de especificação; Linguagem computacional; Modelagem de problema - computação; General Theory of Problems; Problem solving methodology; Problem modeling - computation
• Link de acesso: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/2482

Este trabalho apresenta uma metodologia de resolução de problemas. Nesta metodologia o mecanismo de resolução é composto de diversos níveis, nos quais se processa o refinamento da especificação do problema. Este mecanismo atua por intermédio do aperfeiçoamento da linguagem na qual o problema está sendo especificado. Dependendo do problema, a solução surge na medida que a especificação passa pelas várias etapas de refinamentos sucessivos. 0 desenvolvimento de tal metodologia é feita dentro do ambiente teórico da Teoria Geral de Problemas. Finalmente, para ilustrar sua aplicabilidade, a metodologia aqui proposta é utilizada na resolução de alguns problemas considerados clássicos na literatura de computação.