Методика разработки и средства формализации функциональных спецификаций систем и устройств
Предложен подход к построению функциональных спецификаций и к автоматизации перехода от спецификаций на естественных языках к формальным моделям в формате, удобном для последующих верификации этих моделей и валидации построенных по ним программных кодов. Преобразование текстов в модели осуществляет...
Збережено в:
| Опубліковано в: : | Кибернетика и системный анализ |
|---|---|
| Дата: | 2016 |
| Автори: | , , , , |
| Формат: | Стаття |
| Мова: | Російська |
| Опубліковано: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2016
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.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| _version_ | 1862698326802038784 |
|---|---|
| author | Годлевский, А.Б. Мищенко, Н.М. Мороховец, М.К. Фелижанко, О.Д. Щеголева, Н.Н. |
| author_facet | Годлевский, А.Б. Мищенко, Н.М. Мороховец, М.К. Фелижанко, О.Д. Щеголева, Н.Н. |
| citation_txt | Методика разработки и средства формализации функциональных спецификаций систем и устройств / А.Б. Годлевский, Н.М. Мищенко, М.К. Мороховец, О.Д. Фелижанко, Н.Н. Щеголева // Кибернетика и системный анализ. — 2016. — Т. 52, № 5. — С. 25-42. — Бібліогр.: 12 назв. — рос. |
| collection | DSpace DC |
| container_title | Кибернетика и системный анализ |
| 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.
|
| first_indexed | 2025-12-07T16:32:39Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-142014 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 0023-1274 |
| language | Russian |
| last_indexed | 2025-12-07T16:32:39Z |
| publishDate | 2016 |
| publisher | Інститут кібернетики ім. В.М. Глушкова НАН України |
| 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 |
| spellingShingle | Методика разработки и средства формализации функциональных спецификаций систем и устройств Годлевский, А.Б. Мищенко, Н.М. Мороховец, М.К. Фелижанко, О.Д. Щеголева, Н.Н. Кибернетика |
| title | Методика разработки и средства формализации функциональных спецификаций систем и устройств |
| title_alt | Методика розробки та засоби формалізації функціональних специфікацій систем і пристроїв A development technique and formalization means for functional specifications of systems and devices |
| title_full | Методика разработки и средства формализации функциональных спецификаций систем и устройств |
| title_fullStr | Методика разработки и средства формализации функциональных спецификаций систем и устройств |
| title_full_unstemmed | Методика разработки и средства формализации функциональных спецификаций систем и устройств |
| title_short | Методика разработки и средства формализации функциональных спецификаций систем и устройств |
| title_sort | методика разработки и средства формализации функциональных спецификаций систем и устройств |
| topic | Кибернетика |
| topic_facet | Кибернетика |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/142014 |
| 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 |