São exemplos de abordagens formais de análise da qualidade de software: