解説
[1] 中島 震, 鵜林 尚靖, "Alloy: 自動解析可能なモデル規範形式仕様言語," 日本ソフトウェア科学会誌 コンピュータソフトウェア, volume 26, number 3, pages 78-83, 2009年.
研究会・全国大会等
[1] Changyun Huang, Yasutaka Kamei, Kazuhiro Yamashita, and Naoyasu Ubayashi, "Using Alloy to Support Feature-Based Dsl Construction for Mining Software Repositories," In 5th International Workshop on Model-driven Approaches in Software Product Line Engineering and Workshop on Scalable Modeling Techniques for Software Product Lines (MAPLE/SCALE 2013) (Workshop at SPLC 2013), pages 86-89, 2013.