今読んでいる本

プログラム仕様記述論

FormalMethod(形式手法)の本です。簡単に言うと「要件を自然言語で書くとあいまいになってしまうため、記号で書いてあいまいさをなくしましょう」という手法です。
UMLとの棲み分けは？ソースの自動生成は？どこまで自動化できるのか？ツールは？