@MASTERSTHESIS{ 2012:1675757614,
 	title = {Gera??o autom?tica de c?digo para redes de sensores sem fio usando Communicating X-machine},
 	year = {2012},
 	url = "http://tede.ufam.edu.br/handle/tede/4887",
 	abstract = "Rede de Sensores Sem Fio (RSSF) tem despertado o interesse de pesquisadores
 no desenvolvimento de aplica??es que atuem no monitoramento e controle de fen?menos
 f?sicos, apoiando-se em sua autonomia e  exibilidade, e em sua natureza distribu?da e
 pervasiva. Se por um lado, esse interesse proporciona o desenvolvimento de novas aplica-
 ??es, por outro, eleva sua complexidade e consequentemente seus custos. Isto ? facilmente
 entendido devido suas caracter?sticas restritivas, que fazem com que os est?gios cruciais
 do desenvolvimento de software (modelagem, veri ca??o e testes) se tornem tarefas n?o
 triviais. A programa??o ? realizada muito pr?xima ao sistema operacional (baixo n?vel),
 favorecendo a distra??o na aplica??o da l?gica e exigindo, portanto, ao desenvolvedor
 maior concentra??o, al?m de forma??o t?cnica rara entre os especialistas. Este cen?rio
 propicia a cria??o de metodologias e ferramentas que deem suporte ao desenvolvimento
 nesta plataforma. Este trabalho tem por objetivo utilizar o m?todo formal Communicating
 X-Machine na constru??o de aplica??es RSSF, oferecendo uma abordagem intuitiva
 e um desenvolvimento modular, provendo ao programador eleva??o no n?vel de abstra??o,
 facilitando a constru??o de aplica??es at? a gera??o de c?digo na linguagem de programa-
 ??o nesC (plataforma TinyOS). Portanto, o presente trabalho pretende facilitar o desenvolvimento
 de aplica??es, desde sua modelagem at? a gera??o de c?digo, proporcionando
 ao desenvolvedor o aumento no n?vel de abstra??o, melhor entendimento do problema
 atrav?s de seu particionamento e facilidade na constru??o de aplica??es em RSSF.",
 	publisher = {Universidade Federal do Amazonas},
 	scholl = {Programa de P?s-gradua??o em Engenharia El?trica},
 	note = {Faculdade de Tecnologia}
}