2010-02-23から1日間の記事一覧
授業でBメソッドに入門してきた。 参考文献:「先端スキル開発特別講義?:形式手法を使ったデータ指向モデリングと検証」の資料 http://honiden-lab.ex.nii.ac.jp/u-tokyo/lecture2009/ BメソッドのツールであるAtelier Bのマニュアル http://www.atelierb.eu…
授業でBメソッドに入門してきた。 参考文献:「先端スキル開発特別講義?:形式手法を使ったデータ指向モデリングと検証」の資料 http://honiden-lab.ex.nii.ac.jp/u-tokyo/lecture2009/ BメソッドのツールであるAtelier Bのマニュアル http://www.atelierb.eu…