Управление проектами - статьи

         

Литература


1.обратноY. Saito, M. Shapiro. Optimistic Replication // In ACM Computing Surveys, Vol. 37, No. 1, March 2005, pp. 42-81.
2.обратноISO 10303-11: 1994, Industrial automation systems and integration - Product data representation and exchange - Part 11: Description methods: The EXPRESS language reference manual.
3.обратноUnified Modeling Language (UML), Version 2.0
4.обратноThe Object Data Standard: ODMG 3.0. eds. R.G.G. Cattel, D.K. Barry. Morgan Kauffmann, 2000.
5.обратноА.Д. Закревский. Логика распознавания. - Мн.: Наука и техника, 1988.- 118 с.
6.обратноJ.F. Allen, G. Ferguson. Actions and Events In Interval Temporal Logic. // In Technical report 521, University of Rochester, Computer Science Department, July 1994, pp.1-59.
7.обратноISO 10303: 1994, Industrial automation systems and integration - Product data representation and exchange.
8.обратно
9.обратноK. Ramamritham, P. Chrysanthis. Executive Briefing: Advances in Concurrency Control and Transaction Processing. IEEE Computer Society Press, 1997.
10.обратноSemenov V.A., Karaulov A.A., Semantic-Based Decomposition of Long-Lived Transactions in Advanced Collaborative Environments. // Proceedings of 6 European Conference on product and process modeling, ECPPM 2006, Valencia, September 11-15, 2006, ISBN 10: 0-415-41622-1, pp.223-232.
11.обратноСеменов В.А., Морозов С.В., Тарлапан О.А. Инкрементальная верификация объектно-ориентированных данных на основе спецификации ограничений. // Труды ИСП РАН, 2004, стр. 23-55.
12.обратноSemenov V.A., Bazhan A.A., Morozov S.V., Tarlapan O.A. Efficient Verification of Product Model Data: an Approach and an Analysis. // Proceedings of 22nd Conference on Information Technology in Construction, CIB-W78, Dresden, July 19-21, 2005, ISBN:3-86005-478-3, pp. 261-268.

1(к тексту)Работа поддержана грантом Президиума РАН в рамках программы фундаментальных исследований "Математические и алгоритмические проблемы информационных систем нового поколения".



Содержание раздела