В одном проекте большие трудности со спецификацией — в документах много неточностей, поэтому я вот уже неделю не пргограммирую, а пишу письма и шлифую требования.
Запарился малость и решил, что надо это проблему решать глобально.
Наткнулся на язык формальной спецификации Z.
Вопрос:
1) Кто-нибудь из присутствующих знает книгу (введение в Z), которая лучше Formal Specification and Documentation using Z: A Case Study Approach Джонатана Боуэна (Jonathan Bowen) ?
2) Кто-нибудь из присутствующих когда-либо использовал методы подобные Z в реальной работе? Если да — какие?