Найдено научных статей и публикаций: 7, для научной тематики: Спецификация
1.
О.Н. Кулешова
- Восточно-Европейский журнал передовых технологий , 2012
Предлагается методика применения языка таблиц событий для спецификации и моделирования сложных систем...
Предлагается методика применения языка таблиц событий для спецификации и моделирования сложных систем
2.
Тюгашев А. А., Богатов А. Ю.
- СГАУ , 2012
Описан подход к построению оптимизирующих преобразований спецификации управляющих алгоритмов реального времени...
Описан подход к построению оптимизирующих преобразований спецификации управляющих алгоритмов реального времени
Управление движением и навигация летательных аппаратов : Сборник трудов XV Всероссийского
семинара по управлению движением и навигации летательных аппаратов: Часть I / Самар. гос.
аэрокосм. ун-т. Самара, 2012 С 69-72
3.
А.А. Тюгашев, А.Ю. Богатов
- Вестник Самарского государственного аэрокосмического университета имени академика С.П. Королева (национального исследовательского университета) , 2011
Предлагается подход к решению проблемы спецификации управляющих алгоритмов реального времени, основанный на специально построенной формальной теории. Рассматривается возможность автоматизации синтаксической редукции спецификации управляющих алгоритмов...
Предлагается подход к решению проблемы спецификации управляющих алгоритмов реального времени, основанный на специально построенной формальной теории. Рассматривается возможность автоматизации синтаксической редукции спецификации управляющих алгоритмов
Вестник СГАУ, №2 (26) 2011, с.269-275
4.
Калентьев А.А., Тюгашев А.А.
- Изд-во МАИ , 2006
представлены алгебраические и логические модели для управляющих программ в свете их спецификации, верификации и синтеза...
представлены алгебраические и логические модели для управляющих программ в свете их спецификации, верификации и синтеза
Тез.докладов 11-й Международной конференции "Системный анализ, управление и навигация". Евпатория, 2006.
5.
Калентьев А.А., Тюгашев А.А.
- Пензенский государственный университет , 2010
о верификации требований к управляющим алгоритмам реального времени с проверкой выполнимости и непротиворечивости...
о верификации требований к управляющим алгоритмам реального времени с проверкой выполнимости и непротиворечивости
сб.докладов международного симпозиума "Надежность и качество". 2010. Т. I. С. 54-55. ISSN 2220-6418
6.
Дуравкин Евгений Владимирович, Коровченко Елена Борисовна
- Проблеми телекомунікацій , 2010
Предложен метод верификации протоколов информационного обмена на основе использования Е-сетей и формальных грамматик. Метод позволяет уменьшить размерность модели, тем самым уменьшая эффект «комбинаторного взрыва»....
Предложен метод верификации протоколов информационного обмена на основе использования Е-сетей и формальных грамматик. Метод позволяет уменьшить размерность модели, тем самым уменьшая эффект «комбинаторного взрыва».
Дуравкин Евгений Владимирович, Коровченко Елена Борисовна Формализация поведения протоколов информационного обмена, представленных моделями на основе аппарата Е-сетей // Проблеми телекомунікацій, Vol. 2011, Issue 1, 2010, pp. 28-38
7.
Е.В. Дуравкин, Е.Б.Коровченко
- Проблеми телекомунікацій. , 2011
Предложен метод верификации протоколов информационного обмена на основе использования Е-сетей и формальных грамматик. Метод позволяет уменьшить размерность модели, тем самым уменьшая эффект «комбинаторного взрыва»....
Предложен метод верификации протоколов информационного обмена на основе использования Е-сетей и формальных грамматик. Метод позволяет уменьшить размерность модели, тем самым уменьшая эффект «комбинаторного взрыва».