дає змогу аналітикам аналізувати вхідні зв'язки між вимогами до ПЗ, щоб перевірити, чи всі вимоги взаємопов'язані між собою, а також з відповідними тестами до них;

дає можливість аналізувати вхідні зв'язки між вимогами до ПЗ, щоб перевірити, чи всі вимоги вищого рівня пов'язані з вимогами нижчих рівнів і відповідними тестами до них;

дає можливість проводити аналіз вимог до ПЗ, щоб перевірити, чи всі вимоги вищого рівня пов'язані з вимогами нижчих рівнів і відповідними тестами до них;

дає змогу користувачам аналізувати вхідні зв'язки між вимогами до ПЗ, встановленими замовником, щоб перевірити, чи всі вимоги взаємопов'язані між собою, а також чи немає помилок у їхньому формулюванні;

ігнорування тих деталей явища, які не важливі на даний момент для дослідження конкретної його моделі, незважаючи на те, що інші деталі надзвичайно важливі для моделі явища загалом;

ігнорування тих деталей системних компонент ПЗ, які не важливі для конкретної його архітектури, незважаючи на те, що ці деталі, можливо, дуже навіть важливі для програмної системи загалом;

ігнорування тих деталей процесу, які не важливі на даний момент для дослідження конкретної його моделі, незважаючи на те, що інші деталі надзвичайно важливі для моделі процесу загалом;

врахування тих деталей системи, які важливі на даний момент для побудови конкретної її моделі, незважаючи на те, що інші деталі цієї системи надзвичайно важливі для цієї моделі загалом;

ігнорування тих деталей явища, які не важливі на даний момент для дослідження конкретної його моделі, незважаючи на те, що інші деталі надзвичайно важливі для моделі явища загалом;

ігнорування тих деталей системи, які не важливі на даний момент для побудови конкретної її моделі, незважаючи на те, що інші деталі цієї системи надзвичайно важливі для побудови її моделі загалом;

ігнорування тих деталей процесу, які не важливі на даний момент для дослідження конкретної його моделі, незважаючи на те, що інші деталі надзвичайно важливі для моделі процесу загалом;

ігнорування тих деталей компонент ПЗ, які не важливі для конкретної його бази даних і явищ, що там відбуваються, незважаючи на те, що ці деталі, можливо, дуже навіть важливі для ПЗ загалом;

дає змогу аналізувати похідні вимоги до компонент ПЗ нижчого рівня, а потім через зв'язки між вимогами перевіряти їх відповідність одній з вхідних вимог вищого рівня;

дає можливість аналізувати вимоги до складових ПЗ нижнього рівня, а потім шляхом встановлення зв'язків між вимогами перевіряти її відповідність одній зі складових вищого рівня;

дає змогу аналізувати вимоги до компонент ПЗ нижчого рівня, а потім шляхом встановлення зв'язків між вимогами перевіряти їх відповідність одній з компонент вищого рівня;

дає можливість аналізувати вхідні зв'язки між вимогами до ПЗ, щоб перевірити, чи всі вхідні вимоги вищого рівня впливають на похідні вимоги нижчих рівнів і які при цьому виникають наслідки;

функціональністю ПЗ;

ефективністю ПЗ;

переносністю ПЗ;

супроводжуваністю ПЗ;

недвозначністю вимоги до ПЗ;

обов'язковістю вимоги до ПЗ;

актуальністю вимоги до ПЗ;

здійсненністю вимоги до ПЗ;

тестованістю ПЗ;

стабільністю ПЗ;

змінюваністю ПЗ;

аналізованістю ПЗ;

автоматизацією вимог до ПЗ;

управлінням вимог до ПЗ;

структуризацією вимог до ПЗ;

оптимізацією вимог до ПЗ;

процедура видобування інформації з різних джерел, програма проведення організаційно-технічних заходів, які дадуть змогу сформувати окремі набори вимог до майбутнього ПЗ;

процедура видобування інформації з різних джерел, програма проведення організаційно-технічних заходів, які сукупно дадуть змогу сформувати окремі набори вимог як до продукту проекту, так і до процесу його розроблення;

процес виявлення/збирання вимог до ПЗ за допомогою інтерв'ю та семінарів робочих документів, а також інших механізмів, які для цього можна залучати;

процес отримання інформації з різних джерел, програма проведення організаційно-технічних заходів, які дадуть змогу сформувати специфікацію вимог до процесу розроблення ПЗ;

послідовністю вимоги до ПЗ;

атомарністю вимоги до ПЗ;

завершеністю вимоги до ПЗ;

одиничністю вимоги до ПЗ;