研究者
J-GLOBAL ID:200901047439762815
更新日: 2022年09月18日
阿草 清滋
アグサ キヨシ | Agusa Kiyoshi
所属機関・部署:
京都大学
京都大学 について
「京都大学」ですべてを検索
ホームページURL (1件):
http://www.agusa.is.nagoya-u.ac.jp/person/agusa/
研究分野 (2件):
情報ネットワーク
, 計算機システム
競争的資金等の研究課題 (10件):
2002 - 高信頼web Application開発手法
2002 - Reliable Web Application Development
1990 - ソフトウエア工学研究のためのCASEツールプラットフォーム
1990 - CASE tool platform for Software Engineering
ソフトウェア発展
ソフトウェアの形式仕様
ソフトウェア再利用に関する研究
Software Evolution
Formal Specification of Software
Software Reusing
全件表示
論文 (54件):
Keigo Imai, Shoji Yuen, Kiyoshi Agusa. A Session Type System with Subject Reduction. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS. 2012. E95D. 8. 2053-2064
Kunihiro Noda, Takashi Kobayashi, Shinichiro Yamamoto, Motoshi Saeki, Kiyoshi Agusa. Reticella: An Execution Trace Slicing and Visualization Tool Based on a Behavior Model. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS. 2012. E95D. 4. 959-969
大須賀 俊憲, 小林 隆志, 渥美 紀寿, 間瀬 順一, 山本 晋一郎, 鈴村 延保, 阿草 清滋. CX-Checker:柔軟にカスタマイズ可能なC言語プログラムのコーディングチェッカ. 情報処理学会論文誌. 2012. 53. 2. 590-600
Takahiro Fujitani, Takashi Kobayashi, Noritoshi Atsumi, Kiyoshi Agusa. Finding Cross-browser JavaScript Codes using Sequential Pattern Mining. KNOWLEDGE-BASED SOFTWARE ENGINEERING. 2012. 240. 303-312
阿草 清滋, 小林 隆志. OJL:産学連携による新しい人材育成の試み (特集 高度IT人材育成の軌跡--ITトップガン構想から先導的ITスペシャリスト育成まで). 情報処理. 2011. 52. 10. 1254-1257
もっと見る
MISC (126件):
丸岡 寛典, 小林 隆志, 阿草 清滋. 成果物アクセスの時間的局所性を考慮した変更コンテキストモデル (ソフトウェアサイエンス). 電子情報通信学会技術研究報告 : 信学技報. 2013. 112. 458. 97-102
渥美 紀寿, 小林 隆志, 阿草 清滋. プリプロセス命令の制御構造を利用したフィーチャ間の依存性解析 (ソフトウェアサイエンス). 電子情報通信学会技術研究報告 : 信学技報. 2013. 112. 373. 67-72
Tatsuya Toda, Takashi Kobayashi, Noritoshi Atsumi, Kiyoshi Agusa. Grouping Objects for Execution Trace Analysis based on Design Patterns. 2013 20TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2013), VOL 2. 2013. 25-30
Kunihiro Noda, Takashi Kobayashi, Kiyoshi Agusa. Execution trace abstraction based on meta patterns usage. Proceedings - Working Conference on Reverse Engineering, WCRE. 2012. 167-176
Takashi Kobayashi, Nozomu Kato, Kiyoshi Agusa. Interaction histories mining for software change guide. 2012 3rd International Workshop on Recommendation Systems for Software Engineering, RSSE 2012 - Proceedings. 2012. 73-77
もっと見る
書籍 (2件):
マルチメディア情報ネットワーク
オーム社 1988
要求分析とその仕様化技法
オーム社 1986
講演・口頭発表等 (3件):
成果物アクセスの時間的局所性を考慮した変更コンテキストモデル (システム数理と応用)
(電子情報通信学会技術研究報告 : 信学技報 2013)
デ-25 CX-Checker : 柔軟なカスタマイズが可能なC言語コーディングルールチェッカー(デモセッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
(全国大会講演論文集 2010)
オブジェクト指向言語のための細粒度システム依存グラフ
(情報処理学会論文誌 1999)
Works (2件):
高信頼Webサービスウェアの効率的な開発手法
2008 -
高信頼性WebWareの生成技術(WebWareテスト支援系)
2007 -
学位 (2件):
工学博士
工学修士
経歴 (1件):
名古屋大学 大学院情報科学研究科 情報システム学専攻 大学院情報科学研究科 情報システム学専攻 教授,所長(センター長)
委員歴 (2件):
2005 - 2007 情報処理学会 理事
2001 - 2004 ソフトウェア科学会 理事長
受賞 (3件):
2008 - 日本ソフトウエア科学会功労賞
1999 - 情報処理学会論文賞
1985 - 情報処理学会論文賞
所属学会 (5件):
電子情報通信学会
, 情報処理学会
, ソフトウェア科学会
, IEEE
, ACM
※ J-GLOBALの研究者情報は、
researchmap
の登録情報に基づき表示しています。 登録・更新については、
こちら
をご覧ください。
前のページに戻る
TOP
BOTTOM