UDC 519.766:004.415.5

A development technique and formalization means for functional specifications of systems and devices

/ A.B. Godlevsky, N.M. Mishchenko, M.K. Morokhovets, O.D. Felizhanko, N.N. Shchоgoleva // Kibernetika i sistemnyi analiz. — 2016. — Vol. 52, N 5. — P. 25–42.

In this paper, we propose an approach to the construction of functional specifications and to automation of the transition from specifications in natural language to formal models in a format suitable for the subsequent verification of these models and validation of software code built on them. Converting texts to models is carried out by means of the interactive system OEC described in the paper. Our approach is illustrated by a detailed example. Fig.: 0. Tabl.: 0. Refs: 12 titles.

Keywords:

functional specification, behaviour model, the formal specification of systems and devices, language processor.


FULL TEXT

Author(s):

Годлевский Александр Богуславович, кандидат физ.-мат. наук, старший научный сотрудник Института кибернетики им. В.М. Глушкова НАН Украины, Киев,
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