Com relação a engenharia de software, julgue o item que segu...

Com relação a engenharia de software, julgue o item que segue.

As especificações formais de um sistema são precisas e isentas de ambiguidade, isto porque as técnicas utilizadas baseiam-se em modelos que apresentam o sistema por meio de construções matemáticas, como conjuntos e funções.