http://www.csp-consortium.org/index.html 「形式手法ツールAlloy Analyzerを用いたアジャイルモデリング」 という題で発表してきた。見返りとして、Alloy Analyzerに対する提言以外にも CSPの図形表記の拡張や、 並行システムを図形表現するなら３次元がい…

行ってきた。 研究はXMOSでの実装ネタが多く、組込みの話が中心だった。 もうちょっと組込み業界の人が事例を出すようになればもっと面白くなりそう。 ロボットとか、制御系のネタで腰をすえてやりたいところ。懇親会でAlloyの講習会やりませんか、というお…

本と言ってもPDF。 http://www.usingcsp.com/ 原典がPDFで公開されている。