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

Detalhes bibliográficos
Autor(a) principal: SANTOS, Gilson Oliveira dos.
Data de Publicação: 1996
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da UFCG
Texto Completo: http://dspace.sti.ufcg.edu.br:8080/jspui/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_041f578a9e6803fe4f3952eaaa70037f
oai_identifier_str oai:localhost:riufcg/2482
network_acronym_str UFCG
network_name_str Biblioteca Digital de Teses e Dissertações da UFCG
repository_id_str 4851
spelling Uma metodologia de resolução de problemas via refinamento da especificaçãoA problem solving methodology through specification refinementTeoria 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 - computationEste 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.Universidade Federal de Campina GrandeBrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGLOPES, 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/5422386877758521SANTOS, Gilson Oliveira dos.1996-12-302019-01-09T10:48:22Z2019-01-092019-01-09T10:48:22Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesishttp://dspace.sti.ufcg.edu.br:8080/jspui/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: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/2482porinfo:eu-repo/semantics/openAccessreponame:Biblioteca Digital de Teses e Dissertações da UFCGinstname:Universidade Federal de Campina Grande (UFCG)instacron:UFCG2022-03-17T10:35:17Zoai:localhost:riufcg/2482Biblioteca 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:48512022-03-17T10:35:17Biblioteca Digital de Teses e Dissertações da UFCG - Universidade Federal de Campina Grande (UFCG)false
dc.title.none.fl_str_mv Uma metodologia de resolução de problemas via refinamento da especificação
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.none.fl_str_mv LOPES, Manoel Agamemnon
http://lattes.cnpq.br/2131331936609504
ERKUSICH, Angelo.
http://lattes.cnpq.br/9439858291700830
BEDREGAL, Benjamín René Callejas.
http://lattes.cnpq.br/4601263005352005
GOTTGTROY, Márcia de Paiva Bastos.
http://lattes.cnpq.br/5422386877758521
dc.contributor.author.fl_str_mv SANTOS, Gilson Oliveira dos.
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.none.fl_str_mv 1996-12-30
2019-01-09T10:48:22Z
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 http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/2482
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
url http://dspace.sti.ufcg.edu.br:8080/jspui/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: http://dspace.sti.ufcg.edu.br:8080/jspui/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
Brasil
Centro de Engenharia Elétrica e Informática - CEEI
PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO
UFCG
publisher.none.fl_str_mv 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
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
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_ 1809744364049530880

Registros relacionados