Без заголовка
Вопрос, наверное, не к нам самим, а к нашим заказчикам. Презентация наших предложений для "крупных железных" проектов, например, есть в слайдах доклада Виктора Агроскина на RuSEC2010.
Хотя мы сами ведем, как минимум, одну разработку -- .15926, там требования специфицируем отдельными документами с перечислением принятых архитектурных решений, описанием use cases (а их реализация -- это еще и последовательность итераций), диаграммами на UML, а также спецификацией API прямо на языке программирования и описанием принципов поведения редактора на примере макетов.
По большому счёту, требования и архитектура отдельно не живут. Поэтому огромное число "требований" -- это архитектурные наброски, и указание "согласились, что должно быть так" (деонтический оператор для технических описаний).
Какие модели мы будем использовать дальше? Вот потихоньку сделаем .15926 платформу, а на ней сделаем универсальный моделер. Там и будем требования моделировать. То есть софт мы как раз сейчас делаем сами, а языки и нотации -- общепринятые, но с реализацией их на базе ISO 15926 модели данных.