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

Кстати, это же -- отличие computer science (в которой алгоритмы самодостаточны) от software engineering, в котором нормы -- first class citizens мира софта. Действительно, все эти "валидизации" идут от инженерной части, а наука там нужна только в качестве советов по выбору конкретных методов: таким образом в одном софте могут быть использованы для разных целей несколько разных разделов computes science, и объединены они будут инженерно, а не "по теории". Писать, писать статьи об этом нужно ;) Вы еще не в INCOSE? Это как раз то самое место, где обсуждаются подобные вопросы :)