22 / 23
86
ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. «Приборостроение». 2016. № 3
ЛИТЕРАТУРА
1.
Девятков В.В., Алфимцев А.Н.
Необходимые и достаточные формальные
свойства мультимодального интерфейса // Вестник МГТУ им. Н.Э. Баумана.
Сер. Приборостроение. Спец. вып. «Информационные технологии и компью-
терные системы». 2011. С. 159–166.
2.
Robin
M.
Communicating and Mobile Systems: The π-calculus. Cambridge:
University Press, 2003. 159 р.
3.
Medvidovic N., Taylor R.M.
A Classification and сomparison framework for soft-
ware architecture description languages
//
IEEE Transactions on Software Engi-
neering. 2000. Vol. 26. No 1. Р. 70–93.
4.
Braga C., Sztajnberg A.
Towards a rewriting semantics for a software architecture
description language // Proceedings of WMF 2003, 6th Workshop on Formal
Methods, Campina Grande, Brazil, E.N.T.C.S. 95. 2003. Р. 148–168.
5.
Bruni R., Fiadeiro J.L., Lanese I., Lopes A., Montanari U.
New insight into the al-
gebraic properties of architectural connectors // International Federation for Infor-
mation Processing. 2004. Vol. 155. P. 367–380.
6.
Choutri A., Belala F., Barkaoui K.
A Tile logic based approach for software archi-
tecture description analysis // J. Software Engineering & Applications. 2010.
Vol. 3. Р. 1067–1079.
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), July 22–25. 2007. Р. 123–128.
8.
Bruni R
. Tile logic for synchronized rewriting of concurrent systems. Phd Thesis.
University of Pisa. TD-1/99. March. 1999.
9.
Адаменко А.Н., Кучков А
. Логическое программирование и Visual Prolog.
СПб.: БХВ-Петербург, 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). Р. 288–308.
REFERENCES
[1]
Devyatkov V.V., Alfimtsev A.N. Necessary and sufficient formal properties of
multimodal interface.
Vestn. Mosk. Gos. Tekh. Univ. im. N.E. Baumana, Priboro-
str., Spetsvyp.
"
Informatsionnye tekhnologii i komp'yuternye sistemy
"
[Herald of
the Bauman Moscow State Tech. Univ., Instrum. Eng., Spec. Issue "Information
technology and computer system"], 2011, pp. 159–166 (in Russ.).
[2]
Robin M. Communicating and Mobile Systems: The π-calculus. Cambridge: Uni-
versity Press, 2003. 159 р.
[3]
Medvidovic N., Taylor R.M. A Classification and comparison framework for
software architecture description languages.
IEEE Transactions on Software Engi-
neering,
2000, vol. 26, no. 1, pp. 70–93.
[4]
Braga C., Sztajnberg A. Towards a rewriting semantics for a software architecture
description language.
Proceedings of WMF 2003, 6th Workshop on Formal
Methods.
Campina Grande, Brazil, E.N.T.C.S. 95, 2003, PP. 148–168.
[5]
Bruni R., Fiadeiro J.L., Lanese I., Lopes A., Montanari U. New insight into the
algebraic properties of architectural connectors.
International Federation for In-
formation Processing
, 2004, vol. 155, pp. 367–380.
[6]
Choutri A., Belala F., Barkaoui K. A tile logic based approach for software archi-
tecture description analysis.
J. Software Engineering & Applications
, 2010, vol.
3,
pp. 1067–1079.