論文誌
[1] 篠塚 卓, 鵜林 尚靖, 四野見 秀明, 玉井 哲雄, "契約によるクラスとアスペクト間の影響解析," 日本ソフトウェア科学会誌 コンピュータソフトウェア, volume 24, number 2, pages 133-149, 2007年.
国際会議
[1] 鵜林 尚靖, Jinji Piao, 篠塚 卓, 玉井 哲雄, "Contract-Based Verification for Aspect-Oriented Refactoring," 1st IEEE International Conference on Software Testing, Verification, and Validation (ICST 2008), pages 180-189, 2008年.
[2] Suguru Shinotsuka, Naoyasu Ubayashi, Hideaki Shinomi, and Tetsuo Tamai, "An Extensible Contract Verifier for Aspectj," In 2nd Asian Workshop on Aspect-Oriented Software Development (AOAsia 2) (Workshop at ASE 2006), pages 35-40, 2006.
研究会・全国大会等
[1] 朴 金姫, 篠塚 卓, 鵜林 尚靖, "契約に基づいたアスペクト指向リファクタリングの検証," 情報処理学会 研究報告 2007-SE-155, pages 25-32, 2007年.