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



Главная

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

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

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

English
 Home

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


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

Яndex



   Главная / О нас / Ссылки на Switch-технологию, автоматное программирование и другие работы (версия для печати)


Ссылки на Switch-технологию, автоматное программирование и другие работы



1. Непейвода Н. Н., Скопин И. Н. Основания программирования. Москва-Ижевск. РХД, 2003.

2. Непейвода Н. Н. Логики и стили программирования.

3. Непейвода Н. Н. Стили и методы программирования. М.: Интернет-Университет Информационных Технологий, 2005.

4. Кузьмин Е. В. Иерархическая модель автоматных программ //Моделирование и анализ информационных систем //Ярославль: ЯрГУ. 2006. № 1.

5. Кузьмин Е. В., Соколов В. А. О верификации автоматных программ /Актуальные проблемы математики и информатики. Ярославль: ЯрГУ. 2006.

6. Васильева К. А., Кузьмин Е. В. Верификация автоматных программ с использованием LTL //Моделирование и анализ информационных систем //Ярославль: ЯрГУ. 2007. № 1.

7. Кузьмин Е. В., Соколов В. А. О дисциплине "верификация программ" /Материалы II-ой научно-методической конференции преподавателей математического факультета и факультета ИВТ "Преподавание математики и компьютерных наук в классическом университете". Ярославль: ЯрГУ. 2007.

8. Кузьмин Е. В., Соколов В. А. Моделирование, спецификация и верификация автоматных программ //Программирование. 2008. № 1.

9. Зюбин В. Е. Программирование информационно-управляющих систем на основе конечных автоматов. Новосибирск: НГУ, 2006.

10. Татарчевский В. (Екатеринбург) Применение SWITCH-технологии при разработке прикладного программного обеспечения для микроконтроллеров. Части 1-7 //Компоненты и технологии. 2006. № 11 - 2007. № 7.

11. MicroSWITCH - инструментальное средство проектирования ПО встраиваемых систем.

12. Ваганов С. А. FloraWare - ускоритель разработки приложений.

13. Ваганов С. А. Ускоритель работы приложений //Открытые системы. 2004. № 6.

14. Кузнецов Б. П. Психология автоматного программирования //BYTE/Россия. 2000. №11.

15. Ковалев С. Э. Схемная эмуляция и автоматное программирование // Компьютер-информ. 2006. № 3.

16. Катков А. Н. Применение Switch-технологии при разработке встроенного программного обеспечения для датчико-преобразующей аппаратуры /Вычислительные системы и технологии обработки информации. Пенза: ПГУ. 2008.

17. Петриковский А. Субъектное программирование //Компьютеpра. 2006. № 13.

18. Вавилов В. К. (НИИЭФА-ЭНЕРГО) Программирование за 1(одну) минуту //Компьютер Price. 2002. № 31.

19. Козаченко В. Ф. (МЭИ) Эффективный метод программной реализации дискретных управляющих автоматов во встроенных системах управления.

20. Ярных А. В. (МИФИ) Создание корпоративных информационных систем на базе модели теории автоматов // Перспективные информационные технологии и интеллектуальные системы.

21. Рыбаков Р. А. (МЭИ) Адаптация принципов автоматно-ориентированного программирования к технологии CORBA.

22. Головешин А. (МИФИ) Конвертор Visio2Switch.

23. Магомедов А. А. (Белгород) Самостоятельное внедрение SWITCH-технологии в сложном процессе.

24. Вавилов К.В. LabVIEW и SWITCH-технология. Методика алгоритмизации и программирования задач логического управления. Электронная библиотека Попечительского совета механико-математического факультета Московского государственного университета.

25. Вавилов К. В. Программируемые логические контроллеры SIMATIC S7-200 (SIEMENS). Методика алгоритмизации и программирования задач логического управления. СПб.: 2005.

26. Вавилов К. В. Контроллеры SIMATIC S7-300 (SIEMENS). Организация взаимодействия независимых локальных систем управления на основе автоматного подхода и функционального разделения автоматов управления. СПб.: 2005.

27. О проекте "Технология автоматного программирования: программирование и инструментальные средства" //Информационные технологии. 2006. № 2.

28. Технология конструирования сложных вычислительных программ на основании моделей вычислительного процесса. Нижегородский университет им. Н.И. Лобачевского

29. Конструирование компонент программного обеспечения на основании графовых моделей. Нижегородский университет им. Н.И. Лобачевского.

30. Switch-технология. Алгоритмизация и программирование задач логического управления. Российский образовательный портал.

31. Switch-технология. Библиотека учебных курсов Microsoft.

32. Автоматное программирование в МИФИ.

33. В ЗАО "Морские навигационные системы" используется автоматное программирование.

34. Сергушев А. О Switch-технологии.

35. Татарчевский В. Switch-технология продолжает внедряться.

36. Применение SWITCH-технологии для программирования программируемых логических контроллеров.

37. О Switch-технологии и автоматном программировании.

38. Петров И. В. (Пролог), Вагнер Р. (3S-Smart Software Solutions GmbH) Отладка прикладных ПЛК программ в CoDeSys (часть 3) //Промышленные АСУ и контроллеры. 2006. № 4.

39. Окулов С.М. Когнитивная информатика. Киров: ВятГТУ, 2003.

40. Новиков Ф.А. Визуальное конструирование программ //Информационно-управляющие машины. 2005. №5.

41. Любченко В., Тяжлов Ю. Осторожно: многоядерный процессор //Открытые системы. 2007. № 6.

42. Дэвид Интерсимон (вице-президент корпорации "Borland"): "Мы ориентируемся на реальные потребности разработчиков" //PC WEEK/RE. 2005. № 47.

43. Колесов А. Borland - развитие многополярной платформы разработки ПО //BYTE/Россия. 2006. № 3.

44. Gong P., Gorton I., Feng D. Dynamic Adapter Generation for Data Integration Middleware /Foundation of Software Engineering. Proceeding of the 5th international workshop on software engineering and middlewere. 2005. Lisbon, Portugal, NY, ACM Press.

45 Dobosiewicz1 W., Gburzynski P. From Simulation to Execution: on a Certain Programming Paradigm for Reactive Systems /From Simulation to Execution: on a Certain Programming Paradigm for Reactive Systems. 2006.

46. Dobosiewicz1 W., Gburzynski P. On a practical approach to low-cost ad hoc wireless networking // Journal of Telecommunication and Information Technology. 2008.

47. Zvironiene A., Navickas Z., Rindzevicius R. Telecommunication Systems Analysis Using The Convolution Of Moore And Mealy Automata //Elektronika ir Elektrotechnika. 2005. № 3(59).

48. Янчилина Ф. Рефлекторное движение. Новый язык программирования подтолкнет автоматизацию //Поиск. 2008. № 19-20, с. 14

49. Кубасов С.В. Система разработки синхронно-автоматных программ для решения задач логического управления

50. Бережок А.Ю. Исследование структур управляющих автоматов с элементаризацией линейных последовательностей состояний. Автореферат магистерской диссертации. Донецкий национальный технический университет. 2006.

51. Найханова Л.В. Генерация модели автоматического конечного преобразователя на основе генетического программирования //Информационные технологии моделирования и управления. 2007, № 9, с.1048-1054.

52. Найханова Л.В., Хаптахаева Н.Б. Методика построения конечного преобразователя продукционных правил //Системы управления и информационные технологии. 2008. № 1, с.83-88.

53. Найханова Л.В., Хомонов Г.А. Технология интеграции генератора модели конечного преобразователя с инструментальной средой UniMod //Системы управления и информационные технологии. 2008. № 1, с. 88-92.

54.Тазетдинов А.Д. Автоматный подход в построении компьютерных обучающих диалогов //Информационн-управляющие системы. 2008. № 4, с.42-48.

55. Кубасов С.В. Верификация автоматных программ в контексте синхронного программирования. Диссертация на соискание ученой степени канд. техн. наук. 2008. Выполнена в Ярославском государственном университете им. П.Г. Демидова. Защита - в Институте программных систем РАН.

56. Найханова Л.В. Технология создания методов автоматического построения онтологий с применением генетического и автоматного программирования. Улан-Удэ. Изд-во БНЦ СО РАН. 2008. 244 с.

57. Тихонова У.Н. Определение проблемно-ориентированных языков интерпретируемыми автоматами

58. Spichakova M. Automata Based Programming (Institute of Cybernetics at Tallinn University of Technology)

60. Tiella R., Villafiorita A., Tomasi S. FSMC+, a Tool for the Generation of Java Code from Statecharts

61. Пекунов В.В. Автоматизация параллельного программирования при моделировании многофазных сред

62. Зубков О.В. Нахождение и оценка числа бесповторных булевых функций в базисе {&, v, -} //Известия вузов. Математика. 2008. №10, c.17–24.

63. Татарчевский В.А. Switch-технология в задачах логического управления

64. Татарчевский В.А. Некоторые мысли по поводу программирования встроенных систем //Компоненты и технологии. 2006. №8.

65. Малинин С.Н. Тестирование объектно-ориентированного программного обеспечения на основе моделирования конечными автоматами

66. Малинин С.Н. Тестирование объектно-ориентированных программ моделированием конечными автоматами

67. Шевелев Ю. П. Дискретная математика. Лань, 2008.

68. Кузнецов О. П. Дискретная математика для инженера. Лань, 2009.

69. Паронджанов В. Д. Дружелюбные алгоритмы, понятные каждому. (Как улучшить работу ума без лишних хлопот). М.: ДМК-Пресс, 2010.

70. Кубасов С.В., Соколов В.А. Синхронная модель автоматной программы // Моделирование и анализ информационных систем. 2007. № 1, с. 11-18




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