ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2012 185
2.
Грибова В.В., Черкезишвили Н.Н. Развитие онтологического подхода
для автоматизации разработки пользовательских интерфейсов с динамиче-
скими данными // Информационные технологии. 2010. № 10. — С. 54—58.
3.
Девятков В.В. , Алфимцев А.Н. Нечеткая конечно-автоматная модель
интеллектуального мультимодального интерфейса // Проблемы управления.
2011.
№ 2. — С. 69—77.
4.
Brooks Jr .F. P. The Design of Design: Essays from a Computer Scientist. —
NY: Addison-Wesley, 2010. — 400 p.
5.
Glas s R.L. Building Quality Software. — NJ: Prentice Hall, 1992. — 369 p.
6.
Гласс Р. Факты и заблуждения профессионального программирования /
Пер. с англ. — СПб.: Символ-Плюс, 2007. — 240 с.
7.
Макконнелл C. Совершенный код. Мастер-класс / Пер. с англ. — М.: Из-
дательско-торговый дом «Русская Редакция»; СПб.: Питер, 2005. — 896 с.
8.
Su ther land J . Managing the Iterative Process [Электронный ресурс]. URL:
http://www.standishgroup.com
/ (дата обращения: 28.06.2012).
9.
Глушков В.М. Синтез цифровых автоматов. — М.: Физматлит, 1962. —
476
с.
10.
Kleene S .C. Representation of Events in Nerve Nets and Finite Automata. In
Shannon, Claude E.; McCarthy, John. Automata Studies. Princeton University
Press, 1956. — P. 3—42.
11.
Алфимцев А.Н., Девятков В.В. Необходимые и достаточные фор-
мальные свойства мультимодального интерфейса // Вестник МГТУ им.
Н.Э. Баумана. Сер. Приборостроение. 2011. Спец. вып. «Информационные
технологии». — С. 159—166.
12.
Gabbay D. Craig Interpolation Theorem for Intuitionistic Logic and Exten-
sions // Journal of Symbolic Logic. 1977. 42 (2). — Р. 269—271.
13.
Milne r R. A Calculus of Communicating Systems. — NY: Springer-Verlag
New York, Inc. Secaucus, NJ, 1980. — 171 p.
14.
BPML and Gentran Integration Suite Guide.Version 4.2. — NY: Sterling
Commerce, 2006. — 35 p.
15.
Or ac le Fusion Middleware User's Guide for Oracle Business Process Manage-
ment 11g. Release 1. [Электронный ресурс]. URL:
http//
docs.oracle.com/cd/E23943_01/ user.1111/e15175/bpmug_intro_bpm_suite.htm
Дата обращения 28.06.2012.
16.
Br a tko I. Prolog Programming for Artificial Intelligence. — Boston: Addison
Wesley, 2000. — 678 p.
Статья поступила в редакцию 4.07.2012