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

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

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

Full description

Saved in:
Bibliographic Details
Published in:Кибернетика и системный анализ
Date:2016
Main Authors: Годлевский, А.Б., Мищенко, Н.М., Мороховец, М.К., Фелижанко, О.Д., Щеголева, Н.Н.
Format: Article
Language:Russian
Published: Інститут кібернетики ім. В.М. Глушкова НАН України 2016
Subjects:
Кибернетика
Online Access:https://nasplib.isofts.kiev.ua/handle/123456789/142014
Tags: Add Tag
No Tags, Be the first to tag this record!
Journal Title:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Cite this:Методика разработки и средства формализации функциональных спецификаций систем и устройств / А.Б. Годлевский, Н.М. Мищенко, М.К. Мороховец, О.Д. Фелижанко, Н.Н. Щеголева // Кибернетика и системный анализ. — 2016. — Т. 52, № 5. — С. 25-42. — Бібліогр.: 12 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine
id nasplib_isofts_kiev_ua-123456789-142014
record_format dspace
spelling Годлевский, А.Б.
Мищенко, Н.М.
Мороховец, М.К.
Фелижанко, О.Д.
Щеголева, Н.Н.
2018-09-20T17:51:45Z
2018-09-20T17:51:45Z
2016
Методика разработки и средства формализации функциональных спецификаций систем и устройств / А.Б. Годлевский, Н.М. Мищенко, М.К. Мороховец, О.Д. Фелижанко, Н.Н. Щеголева // Кибернетика и системный анализ. — 2016. — Т. 52, № 5. — С. 25-42. — Бібліогр.: 12 назв. — рос.
0023-1274
https://nasplib.isofts.kiev.ua/handle/123456789/142014
519.766:004.415.5
Предложен подход к построению функциональных спецификаций и к автоматизации перехода от спецификаций на естественных языках к формальным моделям в формате, удобном для последующих верификации этих моделей и валидации построенных по ним программных кодов. Преобразование текстов в модели осуществляется с помощью интерактивной системы ОЕС. Описанный подход иллюстрируется развернутым примером.
Запропоновано підхід до побудови функціональних специфікацій та до автоматизації переходу від специфікацій, поданих природними мовами, до формальних моделей у форматі, що є зручним для подальшої верифікації цих моделей та валідації побудованих за ними програмних кодів. Перетворення текстів у моделі здійснюється за допомогою описаної інтерактивної системи ОЕС. Описаний підхід ілюструється розгорнутим прикладом.
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.
Работа выполнена в рамках проекта 5228х при поддержке Национальной академии наук Украины и Украинского научно-технологического центра (УНТЦ).
ru
Інститут кібернетики ім. В.М. Глушкова НАН України
Кибернетика и системный анализ
Кибернетика
Методика разработки и средства формализации функциональных спецификаций систем и устройств
Методика розробки та засоби формалізації функціональних специфікацій систем і пристроїв
A development technique and formalization means for functional specifications of systems and devices
Article
published earlier
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection DSpace DC
title Методика разработки и средства формализации функциональных спецификаций систем и устройств
spellingShingle Методика разработки и средства формализации функциональных спецификаций систем и устройств
Годлевский, А.Б.
Мищенко, Н.М.
Мороховец, М.К.
Фелижанко, О.Д.
Щеголева, Н.Н.
Кибернетика
title_short Методика разработки и средства формализации функциональных спецификаций систем и устройств
title_full Методика разработки и средства формализации функциональных спецификаций систем и устройств
title_fullStr Методика разработки и средства формализации функциональных спецификаций систем и устройств
title_full_unstemmed Методика разработки и средства формализации функциональных спецификаций систем и устройств
title_sort методика разработки и средства формализации функциональных спецификаций систем и устройств
author Годлевский, А.Б.
Мищенко, Н.М.
Мороховец, М.К.
Фелижанко, О.Д.
Щеголева, Н.Н.
author_facet Годлевский, А.Б.
Мищенко, Н.М.
Мороховец, М.К.
Фелижанко, О.Д.
Щеголева, Н.Н.
topic Кибернетика
topic_facet Кибернетика
publishDate 2016
language Russian
container_title Кибернетика и системный анализ
publisher Інститут кібернетики ім. В.М. Глушкова НАН України
format Article
title_alt Методика розробки та засоби формалізації функціональних специфікацій систем і пристроїв
A development technique and formalization means for functional specifications of systems and devices
description Предложен подход к построению функциональных спецификаций и к автоматизации перехода от спецификаций на естественных языках к формальным моделям в формате, удобном для последующих верификации этих моделей и валидации построенных по ним программных кодов. Преобразование текстов в модели осуществляется с помощью интерактивной системы ОЕС. Описанный подход иллюстрируется развернутым примером. Запропоновано підхід до побудови функціональних специфікацій та до автоматизації переходу від специфікацій, поданих природними мовами, до формальних моделей у форматі, що є зручним для подальшої верифікації цих моделей та валідації побудованих за ними програмних кодів. Перетворення текстів у моделі здійснюється за допомогою описаної інтерактивної системи ОЕС. Описаний підхід ілюструється розгорнутим прикладом. 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.
issn 0023-1274
url https://nasplib.isofts.kiev.ua/handle/123456789/142014
citation_txt Методика разработки и средства формализации функциональных спецификаций систем и устройств / А.Б. Годлевский, Н.М. Мищенко, М.К. Мороховец, О.Д. Фелижанко, Н.Н. Щеголева // Кибернетика и системный анализ. — 2016. — Т. 52, № 5. — С. 25-42. — Бібліогр.: 12 назв. — рос.
work_keys_str_mv AT godlevskiiab metodikarazrabotkiisredstvaformalizaciifunkcionalʹnyhspecifikaciisistemiustroistv
AT miŝenkonm metodikarazrabotkiisredstvaformalizaciifunkcionalʹnyhspecifikaciisistemiustroistv
AT morohovecmk metodikarazrabotkiisredstvaformalizaciifunkcionalʹnyhspecifikaciisistemiustroistv
AT feližankood metodikarazrabotkiisredstvaformalizaciifunkcionalʹnyhspecifikaciisistemiustroistv
AT ŝegolevann metodikarazrabotkiisredstvaformalizaciifunkcionalʹnyhspecifikaciisistemiustroistv
AT godlevskiiab metodikarozrobkitazasobiformalízacíífunkcíonalʹnihspecifíkacíisistemípristroív
AT miŝenkonm metodikarozrobkitazasobiformalízacíífunkcíonalʹnihspecifíkacíisistemípristroív
AT morohovecmk metodikarozrobkitazasobiformalízacíífunkcíonalʹnihspecifíkacíisistemípristroív
AT feližankood metodikarozrobkitazasobiformalízacíífunkcíonalʹnihspecifíkacíisistemípristroív
AT ŝegolevann metodikarozrobkitazasobiformalízacíífunkcíonalʹnihspecifíkacíisistemípristroív
AT godlevskiiab adevelopmenttechniqueandformalizationmeansforfunctionalspecificationsofsystemsanddevices
AT miŝenkonm adevelopmenttechniqueandformalizationmeansforfunctionalspecificationsofsystemsanddevices
AT morohovecmk adevelopmenttechniqueandformalizationmeansforfunctionalspecificationsofsystemsanddevices
AT feližankood adevelopmenttechniqueandformalizationmeansforfunctionalspecificationsofsystemsanddevices
AT ŝegolevann adevelopmenttechniqueandformalizationmeansforfunctionalspecificationsofsystemsanddevices
first_indexed 2025-12-07T16:32:39Z
last_indexed 2025-12-07T16:32:39Z
_version_ 1850867878762381312

Similar Items