УДК 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