2011-08-02から1日間の記事一覧

Alloyで形式手法を学ぶ本「抽象によるソフトウェア設計」

UMLの図面を描いていてもどかしく感じるのは、モデルで表現された概念が本当に矛盾・モレ無く実行可能なのか確信を持てない点だと思う。シーケンス図やステートマシン図なら動的な振る舞いを示すものなので理解しやすいし、動作をシミュレーションできるツー…