Os requisitos de software podem ser caracterizados por propriedades (ou atributos). Uma propriedade esperada para qualquer requisito é que este seja