SAT é uma ferramenta revolucionária para ajudá-lo a desenvolver especificações úteis limpos com exigências claras, completas, consistentes e testáveis. SAT permite capturar as suas próprias regras de análise de especificação a partir de nossos modelos....