国際会議
[1] 鵜林 尚靖, 佐藤 友紀, 境 顕宏, 玉井 哲雄, "Alloy-Based Lightweight Verification for Aspect-Oriented Architecture," 6th International Conference on Software Engineering Research, Management and Applications (SERA 2008), pages 171-178, 2008年.
研究会・全国大会等
[1] 佐藤 友紀, 鵜林 尚靖, "関心事指向アーキテクチャモデリング環境," 電子情報通信学会 信学技報 SS2008-13, pages 1-6, 2008年.