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

Please use this identifier to cite or link to this item: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/2482

Full metadata record

DC Field	Value	Language
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
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

Show simple item record