DSpace/Manakin Repository

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

Mostrar registro simples

dc.creator.Lattes http://lattes.cnpq.br/0459441512508677 pt_BR
dc.contributor.advisor1 LOPES, Manoel Agamemnon
dc.contributor.advisor1Lattes http://lattes.cnpq.br/2131331936609504 pt_BR
dc.contributor.referee1 ERKUSICH, Angelo.
dc.contributor.referee1Lattes http://lattes.cnpq.br/9439858291700830 pt_BR
dc.contributor.referee2 BEDREGAL, Benjamín René Callejas.
dc.contributor.referee2Lattes http://lattes.cnpq.br/4601263005352005 pt_BR
dc.contributor.referee3 GOTTGTROY, Márcia de Paiva Bastos.
dc.contributor.referee3Lattes http://lattes.cnpq.br/5422386877758521 pt_BR
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. pt_BR
dc.publisher.country Brasil pt_BR
dc.publisher.department Centro de Engenharia Elétrica e Informática - CEEI pt_BR
dc.publisher.program PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO pt_BR
dc.publisher.initials UFCG pt_BR
dc.title Uma metodologia de resolução de problemas via refinamento da especificação pt_BR
dc.date.issued 1996-12-30
dc.description.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. pt_BR
dc.identifier.uri http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/2482
dc.date.accessioned 2019-01-09T10:48:22Z
dc.date.available 2019-01-09
dc.date.available 2019-01-09T10:48:22Z
dc.type Dissertação pt_BR
dc.subject Teoria Geral de Problemas
dc.subject Metodologia de resolução de problemas
dc.subject Resolução de problemas - computação
dc.subject Refinamento de especificação
dc.subject Linguagem computacional
dc.subject Modelagem de problema - computação
dc.subject General Theory of Problems
dc.subject Problem solving methodology
dc.subject Problem modeling - computation
dc.rights Acesso Aberto pt_BR
dc.creator SANTOS, Gilson Oliveira dos.
dc.publisher Universidade Federal de Campina Grande pt_BR
dc.language por pt_BR
dc.title.alternative A problem solving methodology through specification refinement pt_BR
dc.identifier.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 pt_BR


Arquivos deste item

Icon
Nome: GILSON OLIVEIRA DOS ...
Tamanho: 15.52Mb
Formato: PDF
Descrição: Gilson Oliveira dos ...
Visualizar/Abrir

Este item aparece na(s) seguinte(s) coleção(s)

Mostrar registro simples

Buscar DSpace


Busca avançada

Navegar

Minha conta