Устанавливает соответствие между математическими моделя-ми команд, и теми свойствами команд, которые наиболее ярко отражаются в той или иной модели.

Рассматривается подход к разработка надежных программ, основанный на методологии изучения и описания предметной области – понятийном анализе, а также на контекстной технологии создания программных средств. Основная цель понятийного анализа состоит в получении таких декомпозиционных схем сложной предметной области, которые хотя и сформулированы в рамках содержательных представлений, однако обладают формальной строгостью и точностью, достаточной для прямого преобразования средствами контекстной технологии полученного высокоуровневого описания в низкоуровневую реализацию дискретной обработки данных.

Рассмотрена методология понятийного анализа сложных предметных областей знаний, базирующаяся на формальном аппарате, отражающем наиболее устойчивые механизмы понятийного осмысления действительности. Показано применении описанной методологии для получения более качественных и надежных информационных систем, основанных на обработке знаний.

Рассматривается контекстная технология программирования, основанная на создании специализированного языка для решения заданного класса прикладных задач путем понятийного анализа предметной области и отражения ее понятийной структуры в понятиях языка. Описываются средства для задания семантики определяемого языка.

Актуальная проблема прогнозирования надежного выполнения задаваемого пользователем комплекса взаимосвязанных работ (КВР) – набора взаимозависимых программных модулей со случайными временами их реализации – в управляющих параллельных вычислительных системах решается путем определения точной верхней оценки функций распределения времени выполнения КВР при условии, что число вычислительных устройств системы не меньше коэффициента параллелизма КВР. Обычно весьма трудоемкое получение подобных оценок заменено построением совокупности кратных интегралов, вычисляемых методом Монте-Карло