@MASTERSTHESIS{ 2006:604453364,
 	title = {Desenvolvimento de aplica??es paralelas a partir de modelos em gram?tica de grafos baseada em objetos},
 	year = {2006},
 	url = "http://tede2.pucrs.br/tede2/handle/tede/5304",
 	abstract = "No desenvolvimento de aplica??es paralelas, al?m da an?lise de aspectos ligados ao desempenho, torna-se tamb?m importante a an?lise das propriedades funcionais do sistema para garantir, por exemplo, que a estrat?gia de paraleliza??o escolhida ? adequada ao problema sendo abordado, ou que ela pode convergir para um resultado esperado, ou mesmo para identificar a possibilidade de um cen?rio de bloqueio na computa??o. A garantia de corre??o sobre o modelo de uma aplica??o paralela, al?m de aumentar o grau de confian?a nos resultados, pode tamb?m ser um fator de economia, j? que possibilita a redu??o no tempo despendido no desenvolvimento e depura??o da aplica??o. Por?m, uma vez identificados os problemas e corre??es no modelo analisado, ainda existe a necessidade de se mapear as mudan?as necess?rias ? aplica??o original. Nesse sentido, verifica??o formal e gera??o autom?tica de c?digo podem ser utilizadas como ferramentas complementares durante o desenvolvimento, possibilitando tanto a an?lise do comportamento do sistema quanto a r?pida gera??o do c?digo correspondente ao modelo proposto. Este trabalho apresenta o uso de Gram?tica de Grafos Baseada em Objetos (GGBO) para a constru??o de aplica??es paralelas, a partir da defini??o de um m?todo de tradu??o de modelos GGBO para c?digo C, utilizando MPI como plataforma de comunica??o.",
 	publisher = {Pontif?cia Universidade Cat?lica do Rio Grande do Sul},
 	scholl = {Programa de P?s-Gradua??o em Ci?ncia da Computa??o},
 	note = {Faculdade de Inform?ca}
}