área de pesquisa EASY - Um Ambiente para Simulação de Redes Neurais Artificiais FORMALIZAÇÃO A ANÁLISE DE PADRÕES DE PROJETO PARA AGENTES MÓVEIS. PATRICIA DUARTE DE LIMA MACHADO Testing from Structured Algebraic Specification: The Oracle Problem Um método de teste funcional para verificação de componentes.
