研究者
J-GLOBAL ID:201101088080572477
更新日: 2024年02月01日
阿草 清滋
Agusa Kiyoshi
この研究者にコンタクトする
直接研究者へメールで問い合わせることができます。
研究キーワード (3件):
プログラム可視化
, プログラミング環境
, ソフトウェア工学
競争的資金等の研究課題 (1件):
2005 - 2007 Web応用システムにおけるラウンドトリップ開発のための意味的リファクタリング
論文 (24件):
大須賀 俊憲, 小林 隆志, 渥美 紀寿, 間瀬 順一, 山本 晋一郎, 鈴村 延保, 阿草 清滋. CX-Checker:柔軟にカスタマイズ可能なC言語プログラムのコーディングチェッカ. 情報処理学会論文誌. 2012. 53. 2. 590-600
阿草 清滋, 小林 隆志. OJL:産学連携による新しい人材育成の試み (特集 高度IT人材育成の軌跡--ITトップガン構想から先導的ITスペシャリスト育成まで). 情報処理. 2011. 52. 10. 1254-1257
濱口 毅, 酒井 正彦, 馬場 正貴, 阿草 清滋. 例外処理を持つ関数型プログラムの停止性・非停止性証明法. 情報処理学会論文誌. プログラミング. 2011. 4. 2. 13-30
金子 伸幸, 桑原 寛明, 山本 晋一郎, 阿草 清滋. StrutsLint : Web アプリケーションコーディングチェッカ. コンピュータソフトウェア. 2009. 26. 3. 34-43
桑原 寛明, 金子 伸幸, 渥美 紀寿, 山本 晋一郎, 阿草 清滋. 7.高信頼WebWare生成技術 : WebWareのテスト・解析・作成支援(第1部:高い生産性を持つ高信頼ソフトウェア作成技術の開発,<特集>学と産の連携による基盤ソフトウェアの先進的開発). 情報処理. 2008. 49. 11. 1271-1276
もっと見る
MISC (116件):
今西洋二, 渥美紀寿, 森崎修司, 山本修一郎, 阿草清滋. 前処理命令の制御構造とその構造内のコード改変に関する調査. 情報処理学会研究報告(Web). 2016. 2016. SE-191. VOL.2016-SE-191,NO.6 (WEB ONLY)
加藤大典, 蜂巣吉成, 吉田敦, 阿草清滋. 変数に着目した部分プログラム抽出によるコードレビュー手法の提案. 電子情報通信学会技術研究報告. 2015. 114. 510(SS2014 55-73). 109-114
蜂巣吉成, 吉田敦, 阿草清滋. プログラミング演習におけるコーディング状況把握方法の考察. 情報処理学会研究報告(Web). 2014. 2014. CE-125. VOL.2014-CE-125,NO.3 (WEB ONLY)-8
戸田達也, 小林隆志, 渥美紀寿, 阿草清滋. オブジェクトの動的特徴に着目した実行トレースの抽象化. 電子情報通信学会技術研究報告. 2014. 113. 489(SS2013 72-90). 85-90
渥美紀寿, 小林隆志, 山本晋一郎, 阿草清滋. ソフトウェア開発支援基盤のためのソースプログラムのXML表現. 電子情報通信学会論文誌 D. 2013. J96-D. 11. 2681-2691
もっと見る
講演・口頭発表等 (3件):
成果物アクセスの時間的局所性を考慮した変更コンテキストモデル (システム数理と応用)
(電子情報通信学会技術研究報告 : 信学技報 2013)
デ-25 CX-Checker : 柔軟なカスタマイズが可能なC言語コーディングルールチェッカー(デモセッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
(全国大会講演論文集 2010)
オブジェクト指向言語のための細粒度システム依存グラフ
(情報処理学会論文誌 1999)
学位 (1件):
工学博士 (京都大学)
※ J-GLOBALの研究者情報は、
researchmap
の登録情報に基づき表示しています。 登録・更新については、
こちら
をご覧ください。
前のページに戻る
TOP
BOTTOM