@MASTERSTHESIS{ 2010:1407504694,
 	title = {M?todo de convers?o de diagrama de atividades UML para SAN e gera??o de casos de teste de software},
 	year = {2010},
 	url = "http://tede2.pucrs.br/tede2/handle/tede/5103",
 	abstract = "O processo de desenvolvimento de software ? uma tarefa que envolve um conjunto de atividades a serem realizadas, e em muitos casos, por equipes grandes que podem se encontrar geograficamente dispersas. Isso exige do desenvolvedor a utilizac?o de m?todos que proporcionem uma vis?o de todas as etapas desse processo de desenvolvimento. A UML (Unified Modeling Language) ? uma linguagem de modelagem que possibilita essa vis?o atrav?s do uso de diagramas que demonstram graficamente a estrutura do software em desenvolvimento. O diagrama de atividades ? utilizado para modelar o comportamento do sistema, atrav?s dos fluxos de execu??o de cada atividade desempenhada pelo mesmo. Com o objetivo de obter um modelo comportamental de sistemas computacionais apresentamos neste trabalho uma proposta de convers?o de diagramas de atividades para SAN (Stochastic Automata Networks), um formalismo matem?tico que possibilita a modelagem de sistemas em geral, a partir do qual ? poss?vel extrair ?ndices probabil?sticos relacionados aos estados, permitindo aos respons?veis pelo processo de desenvolvimento tomar decis?es sobre os recursos alocados no projeto. Com o intuito de demonstrarmos como executar a convers?o, usamos uma vers?o simplificada dos elementos do diagrama de atividades da UML, para descrever os par?metros e regras utilizadas para a convers?o proposta. Apresentamos ainda os resultados obtidos a partir do modelo SAN gerado.",
 	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}
}