Rchr
J-GLOBAL ID:200901047439762815   Update date: Sep. 18, 2022

Agusa Kiyoshi

アグサ キヨシ | Agusa Kiyoshi
Affiliation and department:
Homepage URL  (1): http://www.agusa.is.nagoya-u.ac.jp/person/agusa/
Research field  (2): Information networks ,  Computer systems
Research theme for competitive and other funds  (10):
  • 2002 - 高信頼web Application開発手法
  • 2002 - Reliable Web Application Development
  • 1990 - ソフトウエア工学研究のためのCASEツールプラットフォーム
  • 1990 - CASE tool platform for Software Engineering
  • ソフトウェア発展
Show all
Papers (54):
MISC (126):
Books (2):
  • マルチメディア情報ネットワーク
    オーム社 1988
  • 要求分析とその仕様化技法
    オーム社 1986
Lectures and oral presentations  (3):
  • 成果物アクセスの時間的局所性を考慮した変更コンテキストモデル (システム数理と応用)
    (電子情報通信学会技術研究報告 : 信学技報 2013)
  • デ-25 CX-Checker : A Customizable Coding Checker for C
    (2010)
  • OSDG:Object-oriented System Dependence Graph
    (IPSJ Journal 1999)
Works (2):
  • 高信頼Webサービスウェアの効率的な開発手法
    2008 -
  • 高信頼性WebWareの生成技術(WebWareテスト支援系)
    2007 -
Professional career (2):
  • 工学博士
  • 工学修士
Work history (1):
  • Nagoya University Graduate School of Information Science, Granduate School of Information Science Information Engineering Professor,Director in General
Committee career (2):
  • 2005 - 2007 情報処理学会 理事
  • 2001 - 2004 ソフトウェア科学会 理事長
Awards (3):
  • 2008 - 日本ソフトウエア科学会功労賞
  • 1999 - 情報処理学会論文賞
  • 1985 - 情報処理学会論文賞
Association Membership(s) (5):
電子情報通信学会 ,  情報処理学会 ,  ソフトウェア科学会 ,  IEEE ,  ACM
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page