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

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

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

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 с.