| |
Методика разработки и средства формализации функциональных спецификаций систем и устройств [Текст] / А. Б. Годлевский, Н. М. Мищенко, М. К. Мороховец [и др.]
// Кибернетика и системный анализ. – 2016. – Т. 52, № 5. – С. 25-42.
Предложен подход к построению функциональных спецификаций и к автоматизации перехода от спецификаций на естественных языках к формальным моделям в формате, удобном для последующих верификации этих моделей и валидации построенных по ним программных кодов. |
