В работе описан подход, позволяющий сформировать согласованную модель типов требований для конкретного проекта по разработке программ. Использование такой модели призвано разрешить противоречия, вызванные разным пониманием определения «требование к программе», а также скоординировать различные модели типов требований, лежащие в основе отдельных видов документов-спецификаций и методологий работы с ними. Для построения согласованной модели исследованы наиболее часто используемые виды документов-спецификаций и модели требований, лежащие в их основе. В качестве базиса для построения классификации типов требований использована теория полевой структуры частей речи. Сформулировано определение «тип требования». Для этого выделен ряд критериев, пригодных для оценки отдельных экземпляров требований на их принадлежность к типам и полям требований. Такой подход позволяет на основании набора признаков экземпляра требования отнести его к определенному типу, а затем рекомендовать включить в структуру спецификации типы требований, необходимые для обеспечения качества спецификации.
программная инженерия, инженерия требований, спецификация требований, непротиворечивость и полнота требований, теория полевой структуры частей речи, онтология