javaで仕様記述

今、すごく個人的にjavaで仕様を書けないか模索してます。目標はいろいろある。

• 動作する（テストできる）仕様
• 定理証明（仕様の矛盾検出とか）に使える仕様
• 開発環境のサポート（コード補完とか）を受けられる仕様
• 抽象化して書ける仕様
• 行数の少ない仕様
• プログラマなら読めば意味が直ぐに把握できる仕様
• 実装と協調動作できる仕様

ただし、夢の世界にならないよう、ドメインと実装のアーキテクチャは限定する。