Проектирование программного обеспечения. Логическое представление, Спецификации