Ivannikov Institute for System Programming of the RAS


What to search

Search by:

Publications
Proceedings of ISP RAS
All

Publications during 2003

Dissertations

  1. Grinev M. N. UQL - A Query Language in Terms of UML, Translation from UQL into XQuery and XQuery Logical Optimization. Ph.D. Thesis at Computational Mathematics and Cybernetics Department in Moscow State University, 2003.

Other publications

  1. Antipin K., Fomichev A., Grinev M., Kuznetsov S., Novak L., Pleshachkov P., Rekouts M., Shiryaev D. Efficient Virtual Data Integration Based on XML. 7th East-European Conference on Advances in Databases and Information Systems (ADBIS), 2003.
  2. Grinev M. Ph.D. Thesis Overview: XQuery Optimization Based on Rewriting.
  3. Varnovskij N.P., Zakharov V.A. On the possibility of provably secure obfuscating programs. Proceedings of the Andrei Ershov 5th International Conference «Prespectives of System Informatics» (PSI'03) , 9-12 July 2003, Novosibirsk, 2003, Lecture Notes in Computer Science, место издания Springer, том 2890, pp. 91-102.
  4. V.Kuliamin, A.Petrenko, A.Kosatchev, I.Bourdonov. UniTesK: Model Based Testing in Industrial Practice. Proceedings of the 1-st European Conference on Model-Driven Software Engineering, Nurnberg, December 2003, pp. 55-63.
  5. V.V.Kuliamin, A.K.Petrenko, N.V.Pakoulin, A.S.Kossatchev, I.B.Bourdonov. Integration of Functional and Timed Testing of Real-time and Concurrent Systems. Proc. of PSI 2003, LNCS 2890, pp. 450-461, Springer-Verlag, 2003.
  6. Д.Р. Ширяев. Автоматическая генерация графических пользовательских интерфейсов доступа к интегрированным данным на основе диаграмм классов UML. Proceedings of the Institute for System Programming. Volume 4 (in Russian), 2003 . Стр. 219-231.
  7. Л.Г. Новак, С.Д. Кузнецов. Свойства схем данных XML. Proceedings of the Institute for System Programming. Volume 4 (in Russian), 2003 . Стр. 191-218.
  8. Д.Н. Волков. Вопросы организации распределенного хранения данных в системах обработки изображений. Proceedings of the Institute for System Programming. Volume 4 (in Russian), 2003 . Стр. 177-190.
  9. В. В. Кулямин, О. Л. Петренко. Место тестирования среди методов оценки качества ПО. Proceedings of the Institute for System Programming. Volume 4 (in Russian), 2003 . Стр. 163-175.
  10. К.В. Ахтырченко, Т.П. Сорокваша. Методы и технологии реинжиниринга ИС. Proceedings of the Institute for System Programming. Volume 4 (in Russian), 2003 . Стр. 141-162.
  11. Г.В. Ключников, А. С. Косачев, Н.В. Пакулин, А. К. Петренко, В.З. Шнитман Применение формальных методов для тестирования реализации IPv6. Proceedings of the Institute for System Programming. Volume 4 (in Russian), 2003 . Стр. 121-140.
  12. А.В. Чернов. Об одном методе маскировки программ. Proceedings of the Institute for System Programming. Volume 4 (in Russian), 2003 . Стр. 85-119.
  13. И.Б. Бурдонов, А.С. Косачев, В.В. Кулямин. Асинхронные автоматы: классификация и тестирование. Proceedings of the Institute for System Programming. Volume 4 (in Russian), 2003 . Стр. 7-83.
  14. В.П. Иванников. Предисловие Proceedings of the Institute for System Programming. Volume 4 (in Russian), 2003 . Стр. 5-6.

Back to the list of publications of ISP RAS