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

でました。 http://www.amazon.co.jp/dp/4864010099翻訳が終わって改めて思うのは、「リファクタリング」の訳者あとがきでの、友野氏の言葉。 「この技法は、依然としてリアルタイム系、分散系、データベースのように 状態の変化に敏感なソフトウェアにつき…