(1) O expresie logică specifică un stat program care trebuie să existe sau un set de condiţii care trebuie să îndeplinească programul de variabile la un anumit punct în timpul execuţiei programului.
(2) O capacitate sau cerinţă care reprezintă un concept domeniu specific. Afirmaţii se încadrează în următoarele categorii: performanta, fiabilitatea, interoperabilitatea, securitatea, şi administrare.