@MASTERSTHESIS{ 2005:1533108505,
 	title = {T?cnica para obten??o de redes de aut?matos estoc?sticos baseada em especifica??es de software em UML},
 	year = {2005},
 	url = "http://tede2.pucrs.br/tede2/handle/tede/5029",
 	abstract = "A avalia??o de desempenho de um software orientado a objetos, hoje, pode ser feita basicamente de tr?s maneiras: com testes de desempenho, simula??es ou utilizando m?todos anal?ticos como redes de Aut?matos estoc?sticos e redes de filas de espera. Os testes de desempenho s?o eficientes e, porem podem ser aplicados apenas nas fases finais do desenvolvimento de software, quando o produto esta praticamente pronto, as simula??es podem ser realizadas nas etapas iniciais do processo de desenvolvimento de software por?m, geralmente, s?o custosas, pois dependem da cria??o de um simulador. Os m?todos anal?ticos podem ser aplicados nas fases iniciais do desenvolvimento, mas exigem a cria??o de um modelo de avalia??o de desempenho. No desenvolvimento de software orientados a objetos j? se constr?i um modelo, o qual possui informa??es detalhadas sobre o sistema. Estas informa??es podem ser utilizadas para gerar um modelo de avalia??o de desempenho que represente o software j? que muitas das informa??es contidas no modelo do software s?o comuns ao modelo de avalia??o de desempenho. Utilizando esta id?ia foram criados alguns m?todos de convers?o de UML para formalismos de avalia??o de desempenho como redes de filas de espera. Porem, ainda inexiste m?todos ou t?cnicas que convertem UML para formalismos como SAN, que ? mais abrangente que, por exemplo, redes de espera. Este trabalho demonstra uma t?cnica de convers?o de UML para SAN, onde explora-se a representa??o da arquitetura l?gica de software orientados a objetos",
 	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}
}