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