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