Отрывок: Графическим образом многовходовой модели, наглядно описы ­ вающим ее и одновременно являю щ ихся одним из главны х видов технической документации на УА РВ, является временная диаграмма. Поскольку интуитивно ясно, что для одной и той же семантики УА РВ в приведен­ ном выше смысле возможно несколько реализаций в виде различных логшсо-временньгх...
Название : Проблема семантико-синтаксической эквивалентности моделей управляющих алгоритмов реального времени
Авторы/Редакторы : Калантьев А. А.
Тюгашев А. А.
Дата публикации : 2002
Библиографическое описание : Калантьев, А. А. Проблема семантико-синтаксической эквивалентности моделей управляющих алгоритмов реального времени / А. А. Калантьев, А. А. Тюгашев // Управление движением и навигация летательных аппаратов : сб. [науч.] тр. X Всерос. науч.-техн. семинара по упр. движением и навигации летат. аппаратов (Самара, 26-27 июня 2001г.) / Самар. гос. аэрокосм. ун-т им. С. П. Королева [и др.] ; пред. редкол. В. Л. Балакин. - Самара, 2002. - С. 152-155.
Другие идентификаторы : RU/НТБ СГАУ/WALL/629.7.05/У677-770650
Ключевые слова: модели управляющих алгоритмов
управление в реальном времени
семантико-синтаксическая эквивалентность
CASE-системы
автоматизированная разработка программ
виды семантической неоднозначности
Располагается в коллекциях: Управление движением и навигация ЛА

Файлы этого ресурса:
Файл Размер Формат  
5-93424-060-9_2002-152-155.pdf125.92 kBAdobe PDFПросмотреть/Открыть



Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.