Please use this identifier to cite or link to this item: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/2482
Title: Uma metodologia de resolução de problemas via refinamento da especificação
Other Titles: A problem solving methodology through specification refinement
???metadata.dc.creator???: SANTOS, Gilson Oliveira dos.
???metadata.dc.contributor.advisor1???: LOPES, Manoel Agamemnon
???metadata.dc.contributor.referee1???: ERKUSICH, Angelo.
???metadata.dc.contributor.referee2???: BEDREGAL, Benjamín René Callejas.
???metadata.dc.contributor.referee3???: GOTTGTROY, Márcia de Paiva Bastos.
Keywords: 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
Issue Date: 30-Dec-1996
Publisher: Universidade Federal de Campina Grande
Citation: SANTOS, Gilson Oliveira dos. Uma metodologia de resolução de problemas via refinamento da especificação. 96f. 1996. (Dissertação de Mestrado em Informática), Pós-Graduação em Informática, Centro de Ciências e Tecnologia, Universidade Federal da Paraíba, Campus II, Campina Grande - PB, 1996.
???metadata.dc.description.resumo???: 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.
Abstract: This work intends to show a problem solving methodology by refinement of specification. Such a process of resolution is composed of some levels of specification. The refinement of specification of problem solving process consists of a series of language transformations by improving the language used for specification of solution. We use the General Theory of Problems and other formal components to provide some necessary concepts to develop refinements of specifications. The proposed approach is used to solve some classical problems in the field of Computer Science.
Keywords: 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
URI: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/2482
Appears in Collections:Mestrado em Ciência da Computação.

Files in This Item:
File Description SizeFormat 
GILSON OLIVEIRA DOS SANTOS - DISSERTAÇÃO PPGCC 1996..pdfGilson Oliveira dos Santos - Dissertação PPGCC 1996.14.83 MBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.