みなさま

「モデルチェッキング」をテーマに今年の2月に開催した、デザインワーク
ショップ DW2005 の参加レポートがpdfでダウンロード可能になっています。

http://www.process.jp/index.php?DW2005

お楽しみ下さい

-- 
Akira Nonaka
http://homepage.mac.com/nonaka/

--
ML: haskell-jp / quickml.com
使い方: http://QuickML.com/