Без заголовка

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