Специфікація мови спеціальної конструкції та, іноді, перевірка протоколи, використані у розробці, аналізувати і документ вимоги до апаратного або програмного забезпечення.