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