УДК 519.766:004.415.5

Методика разработки и средства формализации функциональных спецификаций систем и устройств

/ А.Б. Годлевский, Н.М. Мищенко, М.К. Мороховец, О.Д. Фелижанко, Н.Н. Щёголева // Кибернетика и системный анализ. — 2016. — Том 52, № 5. — С. 25–42.

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

Ключевые слова:

функциональная спецификация, поведенческая модель, формальная спецификация систем и устройств, языковой процессор.


ПОЛНЫЙ ТЕКСТ

Об авторе(ах):

Годлевский Александр Богуславович, кандидат физ.-мат. наук, старший научный сотрудник Института кибернетики им. В.М. Глушкова НАН Украины, Киев,
e-mail: a.godl49@gmail.com

Мищенко Надежда Михайловна, кандидат физ.-мат. наук, старший научный сотрудник, Киев,
e-mail: nadmykh@ukr.net

Мороховец Марина Константиновна, кандидат физ.-мат. наук, старший научный сотрудник Института кибернетики им. В.М. Глушкова НАН Украины, доцент Национального технического унверситета Украины «Киевский политехнический институт», Киев,
e-mail: marina.morokhovets@gmail.com

Фелижанко Ольга Дмитриевна, научный сотрудник Института кибернетики им. В.М. Глушкова НАН Украины, Киев,
e-mail: felizhanko@yandex.ua

Щеголева Наталья Николаевна, научный сотрудник Института кибернетики им. В.М. Глушкова НАН Украины, Киев,
e-mail: nat@incyb.kiev.ua