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