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

Кибернетика и системный анализ [Текст] // Кибернетика и системный анализ ; Институт кибернетики им. В.М. Глушкова НАН Украины - К. : Ин-т кибернетики им. В.М. Глушкова. — 2016.

• УДК // Гарантії якості програмного забезпечення. Верифікація і оцінка (V&V)
• УДК // Моделі мов та мовних структур