Здравствуйте, Nata1111, Вы писали:

N>Существует такой язык для описания спецификаций — RSL. Но когда я сделала поиск по rsdn, оказалось, что он упомянут всего одним человеком. Неужели никто не использует и это только академические штучки?

Прощу прощения, что по существу ответить не смогу, но...

Индекс цитирования на РСДН — это плохой критерий
оценки полезности языка, методологии или еще чего-либо.

Если тебе этот язык кажется неплохим и он подходит для тебя,
то почему его просто не использовать, даже если
он вдруг окажется всего лишь "академической штучкой".

С языками спецификаций все намного сложнее, чем с обычными языками программирования.
Похоже что пока что нет такого языка, который был бы стандартом дефакто и применялся
бы большой группой разработчиков.
Почему это так? Потому что можно завершить проект без явного описания спецификаций,
но вот без кода на языке программирования проект завершить не получится.
Если учесть, что львинная доля проектов делается без осмысленного применения методологий
и отлаженного процесса, то жизненное простанство
для языков описания спецификаций очень невелико...