publicações Modelagem de Negócios Visando a Especificação de Requisitos de Sistemas Computacionais Documento Proposta e implementação de um algoritmo paralelo de busca exaustiva para o problema do dobramento de proteínas com um modelo discreto Documento