Верификация свойств интеллектуальных интерфейсов в логике тайлов

ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. «Приборостроение». 2016. № 3

[7]

Bouanaka C., Choutri A., Belala F

On generating tile system for a software archi-

tecture: case of a collaborative application session.

ICSOFT2007

(

Second Confer-

ence on Software and Data Technologies

), 2007, July 22–25, pp. 123–128.

[8]

Bruni R. Tile logic for synchronized rewriting of concurrent systems.

Phd Thesis.

University of Pisa

. TD-1/99, March, 1999.

[9]

Adamenko A.N., Kuchkov A. Logicheskoe programmirovanie i Visual Prolog

[Logic Programming and Visual Prolog]. St. Petersburg, BKhV-Petersburg Publ.,

2003.

[10]

Bouanaka C., Belala F., Barkaoui K

A tile logic based semantics for mobile soft-

ware architectures

. International Journal of Critical Computer-Based Systems

2011, vol. 2(3), no. 1, pp. 288–308.

Статья поступила в редакцию 18.01.2016

Девятков Владимир Валентинович —

д-р техн. наук, профессор, заведую-

щий кафедрой «Информационные системы и телекоммуникации» МГТУ

им. Н.Э. Баумана (Российская Федерация, 105005, Москва, 2-я Бауманская

ул., д. 5).

Devyatkov V.V. — Dr. Sci. (Eng.), Professor, Head of Information Systems and

Telecommunication Department, Bauman Moscow State Technical University

(2-ya Baumanskaya ul. 5, Moscow, 105005 Russian Federation).

Просьба ссылаться на эту статью следующим образом:

Девятков В.В. Верификация свойств интеллектуальных интерфейсов в логике

тайлов // Вестник МГТУ им. Н.Э. Баумана. Сер. Приборостроение. 2016. № 3.

C. 65–87. DOI: 10.18698/0236-3933-2016-3-65-87

Please cite this article in English as:

Devyatkov V.V.

Verification of Intelligent Interface Properties in the Tiles Logic.

Vestn. Mosk. Gos. Tekh. Univ. im. N.E. Baumana, Priborostr.

[Herald of the

Bauman Moscow State Tech. Univ., Instrum. Eng.], 2016,

no. 3, pp. 65–87.

DOI: 10.18698/0236-3933-2016-3-65-87