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

Тут я пишу о совсем разных механизмах, каждый из которых почти независим: -- формальные спецификации, только совсем не на языке Z или каком-то особом языке управления требованиями. Формальные спецификации делаются в том же языке, с которым работают разные workbenches/editors/workstations САПР, только ставится пометка "требования" -- передача требований между работниками (необязательно между "отделами"). Это делается внутри САПР, а не внутри отдельной системы. Можно еще предположить, что внутри отдельных окошек одной системы, но не в виде отдельной специализированной системы, предназначенной только для этого. Конечно, это все про будущее, а не настоящее. Но это будущее готовится прямо сейчас, и мимо этого поворота не нужно промахивать. Кое-какой софт есть уже сейчас, и нужно сделать поворот в мозгах.