Методика разработки и средства формализации функциональных спецификаций систем и устройств
Предложен подход к построению функциональных спецификаций и к автоматизации перехода от спецификаций на естественных языках к формальным моделям в формате, удобном для последующих верификации этих моделей и валидации построенных по ним программных кодов. Преобразование текстов в модели осуществляет...
Збережено в:
Дата: | 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 Ukraineid |
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 |