Referências Bibliográficas

AMARAL, A. S. M. S. D.; VIJAYKUMAR, N. L.; MARTINS, E. Geração automática de casos de teste de conformidade para software de aplicações em protocolos de comunicação. In: WORKSHOP DOS CURSOS DE COMPUTAÇÃO APLICADA DO INPE, 2003, São José dos Campos, SP. Anais… São José dos Campos: INPE,2003. Disponível em: http://urlib.net/lac.inpe.br/worcap/2003/10.29.11.18. Acesso em 10/12/2013.

HAREL, D. Statecharts: a visual formalism for complex systems. Sci. Comput. Program., Amsterdam, The Netherlands, The Netherlands, v. 8, p. 231–274, 1987.

IERUSALIMSCHY, R.; FIGUEIREDO, L. H. D.; CELES, W. Lua reference manual. Rio de Janeiro: Lua.Org, 2006.

MENEZES, P. B. Linguagens formais e autômatos. 6. ed. Porto Alegre, RS: ARTMED® EDITORA S. A., 2010.

PINHEIRO, A. C. Subsídios para a aplicação de métodos de geração de casos de testes baseados em máquinas de estados. 2012. p. 95. Dissertação (Mestrado em Ciência da Computação e Matemática Computacional) – USP, São Carlos, 2012. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-10092012-100529/publico/DissertacaoREVISADA_ArineizaPinheiro.pdf. Acesso em 10/12/2013.

SILVA, M. S. D.; VIJAYKUMAR, N. L.; FRANCÊS, C. R. L.; CARVALHO, S. V. D.; CARDOSO, D. L. O uso combinado dos statecharts e processo markoviano de decisão no processo de avaliação de desempenho de sistemas. In: SIMPÓSIO BRASILEIRO DE PESQUISA OPERACIONAL-SBPO, 40., 2008, João Pessoa. Anais… Rio de Janeiro:Sobrapo, 2008 p. v. 1, p.1-15

1 2 3 4 5

Sobre o Autor

Graduado em Engenharia da Computação pela Universidade do Vale do Paraíba(2006), MBA em Gestão de Projetos pela Fundação Getúlio Vargas(2010) e Mestrado em Engenharia e Tecnologias Espaciais na área de Engenharia e Gerenciamento de Sistemas Espaciais pelo INPE(2013). Possuí experiência na área de Ciência da Computação e Engenharia da Computação, com ênfase em Engenharia de Software, Sistemas bancos de dados e automação. É um grande apaixonado por tecnologia e assuntos relacionados.

Deixe uma resposta

Seu endereço de email não será publicado.

This site uses Akismet to reduce spam. Learn how your comment data is processed.