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

Questão de Informática da banca CESPE CEBRASPE aplicada no concurso Instituto Nacional de Pesquisas Espaciais (2008). Confira a resolução completa abaixo:

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.