研究者
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
  • ソフトウェア発展
全件表示
論文 (54件)：
もっと見る
MISC (126件)：
もっと見る
書籍 (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