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

Detalhes bibliográficos
Ano de defesa: 1996
Autor(a) principal: SANTOS, Gilson Oliveira dos. lattes
Orientador(a): LOPES, Manoel Agamemnon lattes
Banca de defesa: ERKUSICH, Angelo. lattes, BEDREGAL, Benjamín René Callejas. lattes, GOTTGTROY, Márcia de Paiva Bastos. lattes
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Universidade Federal de Campina Grande
Programa de Pós-Graduação: PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO
Departamento: Centro de Engenharia Elétrica e Informática - CEEI
País: Brasil
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: https://dspace.sti.ufcg.edu.br/handle/riufcg/2482
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.
id UFCG_5e7197a190d4bdae5fbfe9aa51fdc789
oai_identifier_str oai:dspace.sti.ufcg.edu.br:riufcg/2482
network_acronym_str UFCG
network_name_str Biblioteca Digital de Teses e Dissertações da UFCG
repository_id_str
spelling LOPES, Manoel Agamemnonhttp://lattes.cnpq.br/2131331936609504ERKUSICH, Angelo.http://lattes.cnpq.br/9439858291700830BEDREGAL, Benjamín René Callejas.http://lattes.cnpq.br/4601263005352005GOTTGTROY, Márcia de Paiva Bastos.http://lattes.cnpq.br/5422386877758521http://lattes.cnpq.br/0459441512508677SANTOS, Gilson Oliveira dos.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.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.Submitted by Élida Maeli Fernandes Quirino (maely_sax@hotmail.com) on 2019-01-09T10:48:22Z No. of bitstreams: 1 GILSON OLIVEIRA DOS SANTOS - DISSERTAÇÃO PPGCC 1996..pdf: 15181656 bytes, checksum: 1c2ce8ad6a02312fa33a238304ac7125 (MD5)Made available in DSpace on 2019-01-09T10:48:22Z (GMT). No. of bitstreams: 1 GILSON OLIVEIRA DOS SANTOS - DISSERTAÇÃO PPGCC 1996..pdf: 15181656 bytes, checksum: 1c2ce8ad6a02312fa33a238304ac7125 (MD5) Previous issue date: 1996-12-30Universidade Federal de Campina GrandePÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGBrasilCentro de Engenharia Elétrica e Informática - CEEIUma metodologia de resolução de problemas via refinamento da especificaçãoA problem solving methodology through specification refinement1996-12-302019-01-09T10:48:22Z2019-01-092019-01-09T10:48:22Zhttps://dspace.sti.ufcg.edu.br/handle/riufcg/2482SANTOS, 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: https://dspace.sti.ufcg.edu.br/handle/riufcg/2482info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisTeoria Geral de ProblemasMetodologia de resolução de problemasResolução de problemas - computaçãoRefinamento de especificaçãoLinguagem computacionalModelagem de problema - computaçãoGeneral Theory of ProblemsProblem solving methodologyProblem modeling - computationporinfo:eu-repo/semantics/openAccessreponame:Biblioteca Digital de Teses e Dissertações da UFCGinstname:Universidade Federal de Campina Grande (UFCG)instacron:UFCGTEXTGILSON OLIVEIRA DOS SANTOS - DISSERTAÇÃO PPGCC 1996.pdf.txtGILSON OLIVEIRA DOS SANTOS - DISSERTAÇÃO PPGCC 1996.pdf.txttext/plain146686https://dspace.sti.ufcg.edu.br/bitstream/riufcg/2482/4/GILSON+OLIVEIRA+DOS+SANTOS+-+DISSERTA%C3%87%C3%83O+PPGCC+1996.pdf.txt6a9d9ae862ef610cc03d147765605376MD54ORIGINALGILSON OLIVEIRA DOS SANTOS - DISSERTAÇÃO PPGCC 1996.pdfGILSON OLIVEIRA DOS SANTOS - DISSERTAÇÃO PPGCC 1996.pdfapplication/pdf16283995https://dspace.sti.ufcg.edu.br/bitstream/riufcg/2482/3/GILSON+OLIVEIRA+DOS+SANTOS+-+DISSERTA%C3%87%C3%83O+PPGCC+1996.pdfc8c69e8f02d10ad2b87c8260fb6f1535MD53LICENSElicense.txtlicense.txttext/plain; charset=utf-81748https://dspace.sti.ufcg.edu.br/bitstream/riufcg/2482/2/license.txt8a4605be74aa9ea9d79846c1fba20a33MD52riufcg/24822025-07-24 03:33:29.824oai:dspace.sti.ufcg.edu.br:riufcg/2482Tk9URTogUExBQ0UgWU9VUiBPV04gTElDRU5TRSBIRVJFClRoaXMgc2FtcGxlIGxpY2Vuc2UgaXMgcHJvdmlkZWQgZm9yIGluZm9ybWF0aW9uYWwgcHVycG9zZXMgb25seS4KCk5PTi1FWENMVVNJVkUgRElTVFJJQlVUSU9OIExJQ0VOU0UKCkJ5IHNpZ25pbmcgYW5kIHN1Ym1pdHRpbmcgdGhpcyBsaWNlbnNlLCB5b3UgKHRoZSBhdXRob3Iocykgb3IgY29weXJpZ2h0Cm93bmVyKSBncmFudHMgdG8gRFNwYWNlIFVuaXZlcnNpdHkgKERTVSkgdGhlIG5vbi1leGNsdXNpdmUgcmlnaHQgdG8gcmVwcm9kdWNlLAp0cmFuc2xhdGUgKGFzIGRlZmluZWQgYmVsb3cpLCBhbmQvb3IgZGlzdHJpYnV0ZSB5b3VyIHN1Ym1pc3Npb24gKGluY2x1ZGluZwp0aGUgYWJzdHJhY3QpIHdvcmxkd2lkZSBpbiBwcmludCBhbmQgZWxlY3Ryb25pYyBmb3JtYXQgYW5kIGluIGFueSBtZWRpdW0sCmluY2x1ZGluZyBidXQgbm90IGxpbWl0ZWQgdG8gYXVkaW8gb3IgdmlkZW8uCgpZb3UgYWdyZWUgdGhhdCBEU1UgbWF5LCB3aXRob3V0IGNoYW5naW5nIHRoZSBjb250ZW50LCB0cmFuc2xhdGUgdGhlCnN1Ym1pc3Npb24gdG8gYW55IG1lZGl1bSBvciBmb3JtYXQgZm9yIHRoZSBwdXJwb3NlIG9mIHByZXNlcnZhdGlvbi4KCllvdSBhbHNvIGFncmVlIHRoYXQgRFNVIG1heSBrZWVwIG1vcmUgdGhhbiBvbmUgY29weSBvZiB0aGlzIHN1Ym1pc3Npb24gZm9yCnB1cnBvc2VzIG9mIHNlY3VyaXR5LCBiYWNrLXVwIGFuZCBwcmVzZXJ2YXRpb24uCgpZb3UgcmVwcmVzZW50IHRoYXQgdGhlIHN1Ym1pc3Npb24gaXMgeW91ciBvcmlnaW5hbCB3b3JrLCBhbmQgdGhhdCB5b3UgaGF2ZQp0aGUgcmlnaHQgdG8gZ3JhbnQgdGhlIHJpZ2h0cyBjb250YWluZWQgaW4gdGhpcyBsaWNlbnNlLiBZb3UgYWxzbyByZXByZXNlbnQKdGhhdCB5b3VyIHN1Ym1pc3Npb24gZG9lcyBub3QsIHRvIHRoZSBiZXN0IG9mIHlvdXIga25vd2xlZGdlLCBpbmZyaW5nZSB1cG9uCmFueW9uZSdzIGNvcHlyaWdodC4KCklmIHRoZSBzdWJtaXNzaW9uIGNvbnRhaW5zIG1hdGVyaWFsIGZvciB3aGljaCB5b3UgZG8gbm90IGhvbGQgY29weXJpZ2h0LAp5b3UgcmVwcmVzZW50IHRoYXQgeW91IGhhdmUgb2J0YWluZWQgdGhlIHVucmVzdHJpY3RlZCBwZXJtaXNzaW9uIG9mIHRoZQpjb3B5cmlnaHQgb3duZXIgdG8gZ3JhbnQgRFNVIHRoZSByaWdodHMgcmVxdWlyZWQgYnkgdGhpcyBsaWNlbnNlLCBhbmQgdGhhdApzdWNoIHRoaXJkLXBhcnR5IG93bmVkIG1hdGVyaWFsIGlzIGNsZWFybHkgaWRlbnRpZmllZCBhbmQgYWNrbm93bGVkZ2VkCndpdGhpbiB0aGUgdGV4dCBvciBjb250ZW50IG9mIHRoZSBzdWJtaXNzaW9uLgoKSUYgVEhFIFNVQk1JU1NJT04gSVMgQkFTRUQgVVBPTiBXT1JLIFRIQVQgSEFTIEJFRU4gU1BPTlNPUkVEIE9SIFNVUFBPUlRFRApCWSBBTiBBR0VOQ1kgT1IgT1JHQU5JWkFUSU9OIE9USEVSIFRIQU4gRFNVLCBZT1UgUkVQUkVTRU5UIFRIQVQgWU9VIEhBVkUKRlVMRklMTEVEIEFOWSBSSUdIVCBPRiBSRVZJRVcgT1IgT1RIRVIgT0JMSUdBVElPTlMgUkVRVUlSRUQgQlkgU1VDSApDT05UUkFDVCBPUiBBR1JFRU1FTlQuCgpEU1Ugd2lsbCBjbGVhcmx5IGlkZW50aWZ5IHlvdXIgbmFtZShzKSBhcyB0aGUgYXV0aG9yKHMpIG9yIG93bmVyKHMpIG9mIHRoZQpzdWJtaXNzaW9uLCBhbmQgd2lsbCBub3QgbWFrZSBhbnkgYWx0ZXJhdGlvbiwgb3RoZXIgdGhhbiBhcyBhbGxvd2VkIGJ5IHRoaXMKbGljZW5zZSwgdG8geW91ciBzdWJtaXNzaW9uLgo=Biblioteca Digital de Teses e Dissertaçõeshttp://bdtd.ufcg.edu.br/PUBhttp://dspace.sti.ufcg.edu.br:8080/oai/requestbdtd@setor.ufcg.edu.br || bdtd@setor.ufcg.edu.bropendoar:48512025-07-24T06:33:29Biblioteca Digital de Teses e Dissertações da UFCG - Universidade Federal de Campina Grande (UFCG)false
dc.title.pt_BR.fl_str_mv Uma metodologia de resolução de problemas via refinamento da especificação
dc.title.alternative.pt_BR.fl_str_mv A problem solving methodology through specification refinement
title Uma metodologia de resolução de problemas via refinamento da especificação
spellingShingle Uma metodologia de resolução de problemas via refinamento da especificação
SANTOS, Gilson Oliveira dos.
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
title_short Uma metodologia de resolução de problemas via refinamento da especificação
title_full Uma metodologia de resolução de problemas via refinamento da especificação
title_fullStr Uma metodologia de resolução de problemas via refinamento da especificação
title_full_unstemmed Uma metodologia de resolução de problemas via refinamento da especificação
title_sort Uma metodologia de resolução de problemas via refinamento da especificação
author SANTOS, Gilson Oliveira dos.
author_facet SANTOS, Gilson Oliveira dos.
author_role author
dc.contributor.advisor1.fl_str_mv LOPES, Manoel Agamemnon
dc.contributor.advisor1Lattes.fl_str_mv http://lattes.cnpq.br/2131331936609504
dc.contributor.referee1.fl_str_mv ERKUSICH, Angelo.
dc.contributor.referee1Lattes.fl_str_mv http://lattes.cnpq.br/9439858291700830
dc.contributor.referee2.fl_str_mv BEDREGAL, Benjamín René Callejas.
dc.contributor.referee2Lattes.fl_str_mv http://lattes.cnpq.br/4601263005352005
dc.contributor.referee3.fl_str_mv GOTTGTROY, Márcia de Paiva Bastos.
dc.contributor.referee3Lattes.fl_str_mv http://lattes.cnpq.br/5422386877758521
dc.contributor.authorLattes.fl_str_mv http://lattes.cnpq.br/0459441512508677
dc.contributor.author.fl_str_mv SANTOS, Gilson Oliveira dos.
contributor_str_mv LOPES, Manoel Agamemnon
ERKUSICH, Angelo.
BEDREGAL, Benjamín René Callejas.
GOTTGTROY, Márcia de Paiva Bastos.
dc.subject.por.fl_str_mv 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
topic 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
description 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.
publishDate 1996
dc.date.issued.fl_str_mv 1996-12-30
dc.date.accessioned.fl_str_mv 2019-01-09T10:48:22Z
dc.date.available.fl_str_mv 2019-01-09
2019-01-09T10:48:22Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://dspace.sti.ufcg.edu.br/handle/riufcg/2482
dc.identifier.citation.fl_str_mv 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: https://dspace.sti.ufcg.edu.br/handle/riufcg/2482
url https://dspace.sti.ufcg.edu.br/handle/riufcg/2482
identifier_str_mv 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: https://dspace.sti.ufcg.edu.br/handle/riufcg/2482
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.publisher.none.fl_str_mv Universidade Federal de Campina Grande
dc.publisher.program.fl_str_mv PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO
dc.publisher.initials.fl_str_mv UFCG
dc.publisher.country.fl_str_mv Brasil
dc.publisher.department.fl_str_mv Centro de Engenharia Elétrica e Informática - CEEI
publisher.none.fl_str_mv Universidade Federal de Campina Grande
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da UFCG
instname:Universidade Federal de Campina Grande (UFCG)
instacron:UFCG
instname_str Universidade Federal de Campina Grande (UFCG)
instacron_str UFCG
institution UFCG
reponame_str Biblioteca Digital de Teses e Dissertações da UFCG
collection Biblioteca Digital de Teses e Dissertações da UFCG
bitstream.url.fl_str_mv https://dspace.sti.ufcg.edu.br/bitstream/riufcg/2482/4/GILSON+OLIVEIRA+DOS+SANTOS+-+DISSERTA%C3%87%C3%83O+PPGCC+1996.pdf.txt
https://dspace.sti.ufcg.edu.br/bitstream/riufcg/2482/3/GILSON+OLIVEIRA+DOS+SANTOS+-+DISSERTA%C3%87%C3%83O+PPGCC+1996.pdf
https://dspace.sti.ufcg.edu.br/bitstream/riufcg/2482/2/license.txt
bitstream.checksum.fl_str_mv 6a9d9ae862ef610cc03d147765605376
c8c69e8f02d10ad2b87c8260fb6f1535
8a4605be74aa9ea9d79846c1fba20a33
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da UFCG - Universidade Federal de Campina Grande (UFCG)
repository.mail.fl_str_mv bdtd@setor.ufcg.edu.br || bdtd@setor.ufcg.edu.br
_version_ 1863363402700685312

Registros relacionados