"萩原茂樹,北村佑介,島川昌也,関戸聡,米崎直樹","リアクティブシステム仕様を実現可能にするための環境制約の抽出",,"コンピューターソフトウェア","岩波書店","Vol. 28","No. 3","pp. 132-146",2011,Aug.
"Shigeki Hagihara,Yusuke Kitamura,Masaya Shimakawa,Naoki Yonezaki","Extracting Environmental Constraints to Make Reactive System Specifications Realizable",,"Proceedings of 16th Asia-Pacific Software Engineering Conference APSEC 2009",,,,"pp. 61-68",2009,Dec.
"萩原茂樹,北村佑介,島川昌也,米崎直樹","リアクティブシステム仕様を実現可能にするための環境制約の抽出",,"ソフトウェア工学の基礎XVI, 日本ソフトウェア科学会 FOSE2009",,,,"pp. 37-48",2009,Nov.
"北村佑介,島川昌也,萩原茂樹,米崎直樹","リアクティブシステム仕様の外部環境制約について","第五回システム検証の科学技術シンポジウム","第五回システム検証の科学技術シンポジウム予稿集",,,,"pp. 7-18",2008,Nov.