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. Disponível em: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/2482 |
| ???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 | Size | Format | |
|---|---|---|---|---|
| GILSON OLIVEIRA DOS SANTOS - DISSERTAÇÃO PPGCC 1996.pdf | Gilson Oliveira dos Santos - Dissertação PPGCC 1996. | 15.9 MB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.