第6回CSP研究会

http://www.csp-consortium.org/index.html
「形式手法ツールAlloy Analyzerを用いたアジャイルモデリング」
という題で発表してきた。

見返りとして、Alloy Analyzerに対する提言以外にも
CSPの図形表記の拡張や、
並行システムを図形表現するなら３次元がいいでしょ、とか
非常に有用なお話を頂いた。

今後の活動に繋がる、有用なヒントを頂いたのが何より。