УНИВЕРСИТЕТ ИТМО
Кафедра «Технологии программирования»



Главная

Новости
 Новости науки
 Важное
 Почетные доктора
 Инновации
 Культура
 Люди
 Разное
 Скартел-Yota
 Стрим
 Смольный
Учебный процесс
 Образование
 Дипломы
 Курсовые проекты
 Лабораторные работы
 Учебные курсы
 Визуализаторы
 Unimod-проекты
 Семинары
 Стипендии
Наука
 События и факты
 Госконтракты
 Статьи
 Диссертации
 Книги
 Презентации
 Свидетельства
 Сотрудничество
Исследования
 Автоматы
 Верификация
 Биоинформатика
 Искусственный интеллект
 Генетические алгоритмы
 Движение
 UniMod
 Роботы и агенты
 Нейронные сети
 ФЦП ИТМО-Аалто
 Разное

О нас
 Премии
 Сертификаты и дипломы
 Соревнования по программированию
 Прорыв
 Автографы
 Рецензии

Беллетристика
 Мотивация
 Мысли
Медиа
 Видео
 Фотографии
 Аудио
 Интервью

English
 Home

 Articles
 Posters
 Automata-Based Programming
 Initiatives
 Projects
 Presentations
 UniMod
 UniMod Projects
 Visualizers


Поиск по сайту

Яndex



   Главная / Статьи / SWITCH-технология — автоматный подход к созданию программного обеспечения «реактивных» систем (версия для печати)


SWITCH-технология — автоматный подход к созданию программного обеспечения «реактивных» систем



[ << | 1 | 2 | 3 | 4 | Литература | Приложение 1 | Приложение 2 | Приложение 3 | >> ]

СПИСОК ЛИТЕРАТУРЫ

  1. Шалыто А.А. SWITCH-технология. Алгоритмизация и программирование задач логического управления. СПб.: Наука, 1998. 628 с.
  2. Шалыто А.А. SWITCH-технология. Алгоритмизация и программирование задач логического управления //Промышленные АСУ и контроллеры. 1999. №9. С. 33-37.
  3. Harel D. et al. STATEMATE: A working environment for the development of complex reactive systems //IEEE Trans. Eng. 1990. №4. P. 403-414.
  4. Harel D., Politi M. Modeling reactive systems with statecharts. NY: McGraw-Hill, 1998. 258 p.
  5. Карпов Ю.Г. Теория алгоритмов и автоматов. Курс лекций. СПб.: СПбГТУ, Нестор, 1998. 129 с.
  6. xjCharts. Release 2.0. User's Manual. Experimental Object Technologies. 1999. 95 p.
  7. Терехов А.Н., Романовский К.Ю., Кознов Д.В. и др. REAL: Методология и CASE-средство разработки информационных систем и программного обеспечения систем реального времени //Программирование. 1999. №5. С. 44-51.
  8. STATEFLOW for use with Simmulink. User's guide. Version 1. MA: Math Works, Inc. 1998. 477 p.
  9. Буч Г., Рамбо Д., Джекобсон А. Язык UML. Руководство пользователя. М.: ДМК, 2000. 432 с.
  10. Затуливетер Ю.С. Халатян Т.Г. Синтез общих алгоритмов по демонстрациям частных примеров (автоматная модель обобщения по примерам). М.: Ин-т проблем управления, 1997. 72 с.
  11. Гудман С., Хидетниеми С. Введение в разработку и анализ алгоритмов. М.: Мир, 1981. 366 с.
  12. Брукс Ф. Мифический человеко-месяц или как создаются программные системы. СПб.: Символ, 2000. 304 с.
  13. Бурдонов И.Б., Косачев А.С., Кулямин В.В. Использование конечных автоматов для тестирования программ //Программирование. 2000. №2. С.12-28.
  14. Ершов А.П. Смешанные вычисления //В мире науки. 1984. №6. С.28-42.
  15. Варшавский В.И. Коллективное поведение автоматов. М.: Наука, 1973. 407 с.
  16. Круглый стол. "Парадигмы искусственного интеллекта" //Новости искусственного интеллекта. 1998. №3. С.140-161.
  17. Дейкстра Э. Взаимодействие последовательных процессов /Языки программирования. М.: Мир, 1972. С.9-86.
  18. Герр Р. Новый поворот // PC Magazine / Russian Edition. 1998. №10. С.88-90.
  19. Шалыто А.А. Логическое управление. Методы аппаратной и программной реализации алгоритмов. СПб.:Наука, 2000. 773 с.
  20. Кук Д., Урбан Д., Хамилтон С. Unix и не только. Интервью с Кеном Томпсоном //Открытые системы. 1999. №4. С.35-47.
  21. Зайцев С.С. Описание и реализация протоколов сетей ЭВМ. М.: Наука, 1989. 112 с.

[ << | 1 | 2 | 3 | 4 | Литература | Приложение 1 | Приложение 2 | Приложение 3 | >> ]



© 2002—2017 По техническим вопросам сайта: vl.ulyantsev@gmail.com