ОГЛАВЛЕНИЕ
В В ЕДЕНИЕ з
Глава 1. ТРЕБОВАНИЯ ЭФФЕКТИВНОСТИ И ФОРМАЛЬНЫЕ МЕТОДЫ РАЗРАБОТКИ
1.1. Нефункциональные требования в технологическом процессе
1.2. Формальные методы разработки.
1.3. Разработка распределенных вычислительных систем зг
Глава 2. ФОРМАЛЬНАЯ СПЕЦИФИКАЦИЯ МОДЕЛЕЙ ВЫЧИСЛЕНИЙ за
2.1. Частичная интерпретация
2.2. Модели анализа машинной арифметики
Глава 3. МОДЕЛИРОВАНИЕ АРХИТЕКТУРЫ МАШИННОЙ АРИФМЕТИКИ.
3.1. Проблема отображения и архитектура арифметикизз
3.2. Логика Лукасевича и ее обогащения. . бз
3.3. Представление машинной арифметики в логике Лукасевича
Глава 4. АРХИТЕКТУРА ВРЕМЕНИ В РАСПРЕДЕЛЕННЫХ СИСТЕМАХ
4.1. Коммуникационное время..
4.2. Архитектурные подсистемы распределенных систем.
4.3. Математические методы архитектурной декомпозиции.
4.4. Шаблоны проектирования распределенных систем
Глава 5. ВОПРОСЫ РЕАЛИЗАЦИИ РАСПРЕДЕЛЕННЫХ ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМ. . ю
5.1. Модели вычислений языков программирования.
5.2. Логические основы инспектирования программ.
5.3. Реализация распределенных систем
ЗАКЛЮЧЕН ИЕ .
Список литературы
- Київ+380960830922