Busca avançada
Ano de início
Entree

Verificação de workflow

Processo: 07/57995-3
Linha de fomento:Bolsas no Brasil - Mestrado
Vigência (Início): 01 de março de 2008
Vigência (Término): 28 de fevereiro de 2010
Área do conhecimento:Ciências Exatas e da Terra - Ciência da Computação - Sistemas de Computação
Pesquisador responsável:Jacques Wainer
Beneficiário:Amaury Bosso André
Instituição-sede: Instituto de Computação (IC). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil

Resumo

Um bom entendimento dos conceitos e técnicas relacionadas a verificação de workflows por desenvolvedores e projetistas ajudará na construção de workflows que sejam flexíveis o suficiente para capturar os requerimentos de aplicações do mundo real e robusto o suficiente para oferecer a correção necessária e propriedades de confiança na presença de concorrência e falhas. É nesta linha que se desenvolverá o projeto de pesquisa proposto neste documento. (AU)

Publicações científicas
(Referências obtidas automaticamente do Web of Science e do SciELO, por meio da informação sobre o financiamento pela FAPESP e o número do processo correspondente, incluída na publicação pelos autores)
ANDRE, AMAURY B.; BELTRAME, EDUARDO; WAINER, JACQUES. A COMBINATION OF SUPPORT VECTOR MACHINE AND k-NEAREST NEIGHBORS FOR MACHINE FAULT DETECTION. APPLIED ARTIFICIAL INTELLIGENCE, v. 27, n. 1, p. 36-49, 2013. Citações Web of Science: 1.
Publicações acadêmicas
(Referências obtidas automaticamente das Instituições de Ensino e Pesquisa do Estado de São Paulo)
ANDRÉ, Amaury Bosso. Verificação formal de workflows com spin. 2010. Dissertação de Mestrado - Universidade Estadual de Campinas (UNICAMP). Instituto de Computação.

Por favor, reporte erros na lista de publicações científicas escrevendo para: cdi@fapesp.br.