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

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

Повний опис

Збережено в:
Бібліографічні деталі
Дата:2016
Автори: Годлевский, А.Б., Мищенко, Н.М., Мороховец, М.К., Фелижанко, О.Д., Щеголева, Н.Н.
Формат: Стаття
Мова:Russian
Опубліковано: Інститут кібернетики ім. В.М. Глушкова НАН України 2016
Назва видання:Кибернетика и системный анализ
Теми:
Онлайн доступ:http://dspace.nbuv.gov.ua/handle/123456789/142014
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:Методика разработки и средства формализации функциональных спецификаций систем и устройств / А.Б. Годлевский, Н.М. Мищенко, М.К. Мороховец, О.Д. Фелижанко, Н.Н. Щеголева // Кибернетика и системный анализ. — 2016. — Т. 52, № 5. — С. 25-42. — Бібліогр.: 12 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine
id irk-123456789-142014
record_format dspace
spelling irk-123456789-1420142018-09-21T01:22:50Z Методика разработки и средства формализации функциональных спецификаций систем и устройств Годлевский, А.Б. Мищенко, Н.М. Мороховец, М.К. Фелижанко, О.Д. Щеголева, Н.Н. Кибернетика Предложен подход к построению функциональных спецификаций и к автоматизации перехода от спецификаций на естественных языках к формальным моделям в формате, удобном для последующих верификации этих моделей и валидации построенных по ним программных кодов. Преобразование текстов в модели осуществляется с помощью интерактивной системы ОЕС. Описанный подход иллюстрируется развернутым примером. Запропоновано підхід до побудови функціональних специфікацій та до автоматизації переходу від специфікацій, поданих природними мовами, до формальних моделей у форматі, що є зручним для подальшої верифікації цих моделей та валідації побудованих за ними програмних кодів. Перетворення текстів у моделі здійснюється за допомогою описаної інтерактивної системи ОЕС. Описаний підхід ілюструється розгорнутим прикладом. 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. 2016 Article Методика разработки и средства формализации функциональных спецификаций систем и устройств / А.Б. Годлевский, Н.М. Мищенко, М.К. Мороховец, О.Д. Фелижанко, Н.Н. Щеголева // Кибернетика и системный анализ. — 2016. — Т. 52, № 5. — С. 25-42. — Бібліогр.: 12 назв. — рос. 0023-1274 http://dspace.nbuv.gov.ua/handle/123456789/142014 519.766:004.415.5 ru Кибернетика и системный анализ Інститут кібернетики ім. В.М. Глушкова НАН України
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection DSpace DC
language Russian
topic Кибернетика
Кибернетика
spellingShingle Кибернетика
Кибернетика
Годлевский, А.Б.
Мищенко, Н.М.
Мороховец, М.К.
Фелижанко, О.Д.
Щеголева, Н.Н.
Методика разработки и средства формализации функциональных спецификаций систем и устройств
Кибернетика и системный анализ
description Предложен подход к построению функциональных спецификаций и к автоматизации перехода от спецификаций на естественных языках к формальным моделям в формате, удобном для последующих верификации этих моделей и валидации построенных по ним программных кодов. Преобразование текстов в модели осуществляется с помощью интерактивной системы ОЕС. Описанный подход иллюстрируется развернутым примером.
format Article
author Годлевский, А.Б.
Мищенко, Н.М.
Мороховец, М.К.
Фелижанко, О.Д.
Щеголева, Н.Н.
author_facet Годлевский, А.Б.
Мищенко, Н.М.
Мороховец, М.К.
Фелижанко, О.Д.
Щеголева, Н.Н.
author_sort Годлевский, А.Б.
title Методика разработки и средства формализации функциональных спецификаций систем и устройств
title_short Методика разработки и средства формализации функциональных спецификаций систем и устройств
title_full Методика разработки и средства формализации функциональных спецификаций систем и устройств
title_fullStr Методика разработки и средства формализации функциональных спецификаций систем и устройств
title_full_unstemmed Методика разработки и средства формализации функциональных спецификаций систем и устройств
title_sort методика разработки и средства формализации функциональных спецификаций систем и устройств
publisher Інститут кібернетики ім. В.М. Глушкова НАН України
publishDate 2016
topic_facet Кибернетика
url http://dspace.nbuv.gov.ua/handle/123456789/142014
citation_txt Методика разработки и средства формализации функциональных спецификаций систем и устройств / А.Б. Годлевский, Н.М. Мищенко, М.К. Мороховец, О.Д. Фелижанко, Н.Н. Щеголева // Кибернетика и системный анализ. — 2016. — Т. 52, № 5. — С. 25-42. — Бібліогр.: 12 назв. — рос.
series Кибернетика и системный анализ
work_keys_str_mv AT godlevskijab metodikarazrabotkiisredstvaformalizaciifunkcionalʹnyhspecifikacijsistemiustrojstv
AT miŝenkonm metodikarazrabotkiisredstvaformalizaciifunkcionalʹnyhspecifikacijsistemiustrojstv
AT morohovecmk metodikarazrabotkiisredstvaformalizaciifunkcionalʹnyhspecifikacijsistemiustrojstv
AT feližankood metodikarazrabotkiisredstvaformalizaciifunkcionalʹnyhspecifikacijsistemiustrojstv
AT ŝegolevann metodikarazrabotkiisredstvaformalizaciifunkcionalʹnyhspecifikacijsistemiustrojstv
first_indexed 2023-10-18T21:26:10Z
last_indexed 2023-10-18T21:26:10Z
_version_ 1796152804240261120