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

А какие языки, нотации, софт вы для моделирования требований используете?