抽象によるソフトウェア設計−Alloyではじめる形式手法− Daniel Jackson, 中島 震, 今井 健男, 酒井 政裕, 遠藤 侑介, 片岡 欣夫 Alloy ソフトウェア工学 ソフトウェア設計 +2 1 218
