Формалізація вимог в проекті може бути дуже різною - це залежить від його величини, прийнятого процесу розробки, які використовуються інструментальних засобів, а також тих завдань, які вирішують формалізовані вимоги.
- Неформальна постановка вимог в листуванні по електронній пошті. Добре працює в невеликих проектах, при залученні замовника в розробку (наприклад, команда виконує субпідряд). Добре також при такому стилі, коли є взаєморозуміння між замовником і командою, тобто зайві формальності не потрібні. Однак, електронні листи в такій ситуації часто виявляються важливими документами - важливо вміти вести ділову переписку, підводити підсумки, зберігати важливі листи і користуватися ними при розбіжностях. Важливо також вчасно зрозуміти, коли такий спосіб перестає працювати і необхідні більш формальні підходи.
- Вимоги у вигляді документа - опис предметної області і її властивостей, технічне завдання як додаток до контракту, функціональна специфікація для розробників і т.д.
- Вимоги у вигляді графа з залежностями в одному із засобів підтримки вимог (IBM Rational RequisitePro, DOORS. Borland CaliberRM і недо. Ін.). Таке уявлення зручно при частій зміні вимог, при відстеженні виконання вимог, при організації «прив'язки» до вимог завдань, людей, тестів, коду. Важливо також, щоб була можливість легко створювати такі графи з текстових документів, і навпаки, створювати презентаційні документи за такими графами.
- Формальна модель вимог для верифікації. модельно-орієнтованого тестування і т.д.