Я тут нечаянно подумал, ведь можно к программной системе применить критерий устойчивости Найквиста?
Есть вполне осязаемые метрики кода, как количественные, та и качественные.
Оберон -- про качество, код -- про количество.
Оберон -- марка стали, код -- размер щита из этой стали.
Какие будут предложения?)