Библиографическое описание:Печенко, И. С. Способы представления спецификаций вычислительных систем: проблемы и возможности машинной обработки / И. С. Печенко. - (Вычислительные системы и сети). - Текст : непосредственный // Информационные технологии. - 2016. - Т. 22, № 9. - С. 676-683. - Библиогр.: с. 683 (52 назв.). - ISSN 1684-6400.
Аннотация:Спецификации вычислительных систем могут состоять из множества документов с использованием различных форм описания, таких как естественные языки, диаграммы, схемы, таблицы и формальные языки. Процесс создания спецификаций может быть охарактеризован как процесс перехода от описанных на естественном языке требований к системе, не структурированных и содержащих обычно множество неточностей, к более формализованным спецификациям, не содержащим неточностей, двусмысленностей и противоречий. Описаны различные формы спецификаций, проблемы, связанные с каждой из них, а также возможности анализа и валидации спецификаций.
