Електронний каталог науково-технічної бібліотеки Вінницького національного технічного університету
язык спецификации программной
Документи:
- Крывый, С. Л. Формальные методы анализа дискретных систем с использованием языка спецификаций [Текст] / С. Л. Крывый, А. В. Чугаенко // Кибернетика и системный анализ. – 2009. – Т. 45, № 4. – С. 31-48.
- Новиков, Ф. А. Язык исполняемых программных спецификаций [Текст] / Ф. А. Новиков, В. Б. Новосельцев // Программирование. – 2010. – № 1. – С. 66-78.
- Чеботарев, А. Н. Верфикация спецификация в языке L относительнотемпоральных свойств, не выразимых в этом языке [Текст] / А. Н. Чеботарев // Кибернетика и системный анализ. – 2009. – Т. 45, № 5. – С. 3-12.
- Чеботарев, А. Н. О классе формул языка L*, специфицирующих автоматы с конечной памятью [Текст] / А. Н. Чеботарев // Кибернетика и системный анализ. – 2010. – Т. 46, № 1. – С. 3-9.
- Чеботарев, А. Н. Проектирование реактивных алгоритмов путем решения уравнений над автоматами [Текст] / А. Н. Чеботарев // Кибернетика и системный анализ. – 2012. – Т. 48, № 4. – С. 3-13.
|