ALANDER PEREIRA DOS SANTOS

Formação complementar

Idiomas

Áreas de atuação

Participação em eventos

Produções bibliográficas

• Marcotti, P. ; ALMEIDA, F. A. ; ABRAO, M. S. ; SANTOS, A. P. ; MONTINI, D. A. . Paraconsistent Fuzzy Deontic Logic for Expert System. In: IADIS Information Systems, 2010, Porto. Proceeding of the IADIS International Conference Information System. Lisboa: IADIS Press, 2010. v. 1. p. 467-472.

• CARVALHO, S. C. ; MONTINI, D. A. ; CARDOSO, F. R. M. ; SANTOS, A. P. ; FERNADES, D. D. ; TASINAFFO, P. M. . SYNTATIC PATTERNS RECOGNITION APPLIED TO THE FPA ANALYSES. In: 7th International Conference on Information Technology: New Generations - ITNG 2010, 2010, Las Vegas - Nevada. 7th International Conference on Information Technology: New Generations - ITNG 2010. Las Vegas - Nevada, 2010. v. 1. p. 1-3.

• SANTOS, A. P. . Problema da Cobertura por Caminhos com k-Terminais-Fixos. 2012. (Apresentação de Trabalho/Seminário).

• SANTOS, A. P. . Programação Paralela: Teoria e Prática. 2013. (Apresentação de Trabalho/Seminário).

• SANTOS, A. P. . Evolução da Linguagem Java: dos Fundamentos aos Dias Atuais. 2013. (Apresentação de Trabalho/Seminário).

• MORIMOTO, CARLOS E. ; SANTOS, A. P. . Entendendo e Dominando o Linux. São Paulo: Digerati, 2006 (Revisão Técnica).

Projetos de pesquisa

• 2014 - Atual

  VVTransv: Um Método para Teste e Verificação Formal Transversal ao Desenvolvimento de Sistemas Críticos, Descrição: Para que haja uma garantia de que o software desenvolvido possui alta qualidade, atividades de testes e verificação formal devem ser realizadas. Contudo, a viabilidade prática de execução dessas atividades depende de métodos de desenvolvimento que explorem o uso conjunto das técnicas, bem como de ferramentas que auxiliem sua realização, uma vez que a execução de ambas, usualmente, constitui um alto custo para o desenvolvimento do software. Tendo em vista a necessidade de facilitar a realização de testes e verificação formal nos sistemas de software de missão crítica, este projeto se propõe a desenvolver uma metodologia integrada, com apoio de ferramentas computacionais, para a verificação formal e testes desses sistemas, levando em conta a redução dos custos das atividades de Verificação & Validação (V&V). Os principais objetos de estudo que constituem um desafio científico ao projeto é a exploração da complementariedade das duas atividades de forma transversal ao desenvolvimento de sistemas críticos, para possibilitar o uso conjunto dessas atividades e avaliar o custo de sua aplicação. Os estudos de casos, que serão usados nesse projeto, são baseados em softwares da área espacial desenvolvidos em projetos do Instituto Nacional de Pesquisas Espaciais (INPE). , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Alander Pereira dos Santos - Coordenador / Valdivino Alexandre de Santiago Júnior - Integrante / Ana Cristina Vieira de Melo - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa.