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.
Orientador(a): Não Informado pela instituição
Banca de defesa: Não Informado pela instituição
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
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
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
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 UCB-2_041f578a9e6803fe4f3952eaaa70037f
oai_identifier_str oai:localhost:riufcg/2482
network_acronym_str UCB-2
network_name_str Repositório Institucional da UCB
repository_id_str
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:Repositório Institucional da UCBinstname:Universidade Católica de Brasília (UCB)instacron:UCB2022-03-17T10:35:17Zoai:localhost:riufcg/2482Repositório InstitucionalPRIhttps://repositorio.ucb.br/oai/requestsara.ribeiro@ucb.bropendoar:2022-03-17T10:35:17Repositório Institucional da UCB - Universidade Católica de Brasília (UCB)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:Repositório Institucional da UCB
instname:Universidade Católica de Brasília (UCB)
instacron:UCB
instname_str Universidade Católica de Brasília (UCB)
instacron_str UCB
institution UCB
reponame_str Repositório Institucional da UCB
collection Repositório Institucional da UCB
repository.name.fl_str_mv Repositório Institucional da UCB - Universidade Católica de Brasília (UCB)
repository.mail.fl_str_mv sara.ribeiro@ucb.br
_version_ 1834013144633049088

Registros relacionados