Acerca de engenharia de requisitos, julgue os itens subsequentes.
Uma das técnicas utilizadas para reduzir a ambiguidade de requisitos em tipos abstratos de dados é o uso de notações baseadas em linguagens formais matemáticas, como a abordagem algébrica.