Modelagem, Desenvolvimento e Verificação de Software