【Alloy】形式言語による仕様記述【VDM】

[65 デフォルトの名無しさん 2013/02/14(木) 19:11:21.64]

とりあえず、そのフレームワークに食わせるハンドラやコンポーネントの
インターフェースを陰仕様で固めてみたら？