メモ

研究会・ゼミ発表資料

• CSP研究会：CSPを用いたシーケンス図検証ツールの適用事例
  • 2010/11/20 発表スライド (PDF)
  • 2010/11/20 変換ツールソースコード (ZIP)
  • 2010/11/20 サンプル UML 図 (ZIP)
• GRACE 国際シンポジウム向けポスター
  • 2010/03/15 ポスター (PDF)
• コンカレント工学研究会(CST)：プロセス代数CSPによるシーケンス図設計の詳細化と検証
  • 2010/01/21 予稿 (PDF)
  • 2010/01/21 発表スライド (PDF)
• SE-Seminar 向け発表資料
  • 2009/12/25 発表スライド (PDF)
  • 2009/06/26 発表スライド (PDF)

リンク

• 北陸先端科学技術大学院大学 落水・鈴木研究室
  • http://ochimizu-www.jaist.ac.jp/
• 国立情報学研究所 本位田研究室
  • http://honiden-lab.ex.nii.ac.jp/
• コンカレント工学研究会(CST)
  • http://www.ieice.org/~cst/
• CSPコンソーシアム
  • http://www.csp-consortium.org/
• PAT: Process Analysis Toolkit
  • http://www.comp.nus.edu.sg/~pat/
• FDR2
  • http://www.fsel.com/software.html