参考文献 - 教えて！アロイ人！

参考文献

抽象によるソフトウェア設計－Alloyではじめる形式手法－

Daniel Jackson著　　4725円（税込）

まずこの本をとりあげないと。
この本を本屋で見たとき、「こんな本が棚に並ぶ時代になったのか！！」と驚き、小躍りしました。
とりあえずAlloyに興味があるならまず読まないことには話になりません。この本が日本語に訳されたことに感謝です。
ちょっと値段はしますが。その価値はあります。下の本も併読するといいでしょう。

形式論理学

リチャード・ジェフリー著　　戸田山和久訳　産業図書

形式論理学についての解説書で、衝撃的なまでに扱いやすい「真理の木」という、「論理の筆算」ともいえる解析方法を教授してくれる。
色々なところでAlloyのベースになっている話をしてくれるので、とりあえずお勧め。

今日： - 人
昨日： - 人
トータル： - 人