Рассмотрены 2 стороны базиса проектирования программных систем (ПС): 1) достижение состояния надежного функционирования ПС с достоверными результатами; 2) создание возможности получения достоверных оценок качества ПС в зависимости от первоначальных требований. Предложена стратегия когнитивно-контекстного проектирования, способная значительно повысить эффективность восприятия реальных элементов задачи проектирования в контексте с выбранными формализованными условиями, а также улучшить взаимосогласованность элементов проекта внутри жизненного цикла ПС.

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