В очередном выпуске ''Трудов Института системного программирования РАН'', состоящем из двух томов, представлены статьи сотрудников и аспирантов Института, посвященные актуальным аспектам направления open source; разным областям применения технологии тестирования программного обеспечения на основе формальных спецификаций; методам композиции и декомпозиции исполняемых UML-моделей; интеграции методов интеллектуального анализа данных, вывода на основе прецедентов и адаптивного управления; системам классификации; технологиям темпоральных и объектно-реляционных баз данных; технологии оптимистической репликации; опыту разработки операционной системы реального времени для цифрового сигнального процессора. Сборник состоит из двух частей, первая из которых включает 9 статей

Скачать книгу бесплатно (pdf, 3.24 Mb)

---

Читать «Труды Института системного программирования РАН. Том 13. Часть 1. 2007 г.»