論文誌
|
大久保弘崇, 山本晋一郎, 坂部俊樹, 稲垣康善
|
モデル生成法に基づくJavaScriptプログラム型検査の機械実行
|
電子情報通信学会論文誌
| J89-D(4)
|
693-704
|
2006年4月
|
|
|
国内会議(査読付き)
|
加古径吾, 大久保弘祟, 粕谷英人, 山本晋一郎, 稲垣康善
|
メソッド名とドキュメンテーションコメントの対応付け手法の提案
|
ソフトウェア工学の基礎IX
| 33
|
149--154
|
2007年11月
|
| 59.pdf
|
国内会議(査読付き)
|
大久保弘崇, 山本晋一郎, 坂部俊樹, 稲垣康善
|
モデル生成に基づくJavaScriptプログラムの型検査系の構築について
|
第9回プログラミングおよびプログラミング言語ワークショップ論文集
|
|
77-88
|
2007年3月
|
| 50.pdf
|
研究会・全国大会等
|
大久保弘崇, 山本晋一郎, 坂部俊樹, 稲垣康善
|
モデル生成に基づく JavaScriptプログラム型検査のためのフロントエンド
|
信学技報
| 104(242(ISSN 0913-5685))
|
41--46
|
2004年8月
|
| 2.pdf
|
研究会・全国大会等
|
大久保弘崇, 山本晋一郎, 坂部俊樹, 稲垣康善
|
形式的手法に基づく JavaScriptプログラムの型検査系の実現
|
信学技報
| 104(47(ISSN 0913-5685))
|
13--18
|
2004年5月
|
| 3.pdf
|
