Рассмотрены модели формального представления требований в контексте разработки метода профилирования требований программного обеспечения. Выделены критерии сравнения моделей. Определены достоинства и недостатки обозначенных моделей. Предложена схема профилирования требований ПО с использованием семантических фасетно-иерархических структур. Приведенная схема профилирования может быть положена в основу разработки информационной технологии создания проектно-ориентированных профилей требований к ПО. Ключевые слова: профилирование, формальное описание, дефекты профилирования, требования к ПО, семантический анализ.
