Com relação a conceitos de engenharia de software, julgue os itens de 79 a 87.
As especificações formais de sistemas devem ser precisas e isentas de ambigüidade, permitindo, assim, eliminar dúvidas em uma especificação e evitar problemas de má interpretação de linguagem.