![Ukrainian Ukrainian](/uk.png)
web address of the page http://jnas.nbuv.gov.ua/article/UJRN-0000553516 Cybernetics and Systems Analysis А - 2019 / Issue (2016, Т. 52, № 5)
Годлевский А. Б., Мищенко Н. М., Мороховец М. К., Фелижанко О. Д., Щеголева Н. Н. Методика разработки и средства формализации функциональных спецификаций систем и устройств Предложен подход к построению функциональных спецификаций и к автоматизации перехода от спецификаций на естественных языках к формальным моделям в формате, удобном для последующих верификации этих моделей и валидации построенных по ним программных кодов. Преобразование текстов в модели осуществляется с помощью интерактивной системы ОЕС. Описанный подход проиллюстрирован развернутым примером.
https://doi.org/10.1007/s10559-016-9871-9
Scopus
Бібліографічний опис: Годлевский А. Б., Мищенко Н. М., Мороховец М. К., Фелижанко О. Д., Щеголева Н. Н. Методика разработки и средства формализации функциональных спецификаций систем и устройств. Кибернетика и системный анализ. 2016. Т. 52, № 5. С. 25-42. doi: https://doi.org/10.1007/s10559-016-9871-9 URL: http://jnas.nbuv.gov.ua/article/UJRN-0000553516 |
Cybernetics and Systems Analysis / Issue (2016, 52 (5))
Godlevsky A.B.,
Mishchenko N.M.,
Morokhovets M.K.,
Felizhanko O.D.,
Shchogoleva N.N.
A development technique and formalization means for functional specifications of systems and devices An approach is proposed to the construction of functional specifications and automation of the transition from natural language specifications to formal models in a format convenient for the subsequent verification and validation of these models. Texts are transformed into models with the help of the interactive system PNS. The described approach is illustrated by a detailed example. © 2016, Springer Science+Business Media New York. Keywords: behavioral model, formal specification of hardware and software, functional specification, language processor, Hardware, Specifications, Behavioral model, Development technique, Functional specification, Hardware and software, Language processors, Natural language specifications, Software and hardwares, Verification-and-validation, Formal specification
Cite: Godlevsky A.B.,
Mishchenko N.M.,
Morokhovets M.K.,
Felizhanko O.D.,
Shchogoleva N.N.
(2016). A development technique and formalization means for functional specifications of systems and devices. Cybernetics and Systems Analysis, 52 (5), 25-42. doi: https://doi.org/10.1007/s10559-016-9871-9 http://jnas.nbuv.gov.ua/article/UJRN-0000553516 [In Russian]. |