Com relação a engenharia de software, julgue os itens que se seguem.

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.