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