"橋本康範,渡部卓雄,山田聖","Moxaによるアスペクト指向的仕様記述：プロトコルからのモジュラーなDbC記述に向けて","情報処理学会ソフトウェア工学研究会","情報処理学会研究報告",,"Vol. 2006-SE","No. 153","pp. 15-22",2006,July