Introdução a Validação de Sistemas Computadorizados