Rchr

J-GLOBAL ID：201101088080572477 Update date: Feb. 01, 2024

Agusa Kiyoshi

Agusa Kiyoshi

Research keywords (3)：プログラム可視化 , プログラミング環境 , ソフトウェア工学

Research theme for competitive and other funds (1)：

2005 - 2007 Semantic Refacteting Techniqus for Round-trip development of Web applications

Papers (24)：

Toshinori Osuka, Takashi Kobayashi, Noritoshi Atsumi, Junichi Mase, Shinichirou Yamamoto, Nobuyasu Suzumura, Kiyoshi Agusa. CX-Checker: A Flexibly Customizable Coding Checker for C. IPSJ Journal. 2012. 53. 2. 590-600
OJL: a new education scheme by collaboration of academia and industry. 2011. 52. 10. 1254-1257
Takeshi Hamaguchi, Masahiko Sakai, Masataka Baba, Kiyoshi Agusa. Proving Method of Termination/Non-Termination for Functional Programs with Exception Handling. 2011. 4. 2. 13-30
KANEKO Nobuyuki, KUWABARA Hiroaki, YAMAMOTO Shinichiro, AGUSA Kiyoshi. StrutsLint : A Coding Checker for Web Application. 2009. 26. 3. 34-43
KUWABARA Hiroaki, KANEKO Nobuyuki, ATSUMI Noritoshi, YAMAMOTO Shinichiro, AGUSA Kiyoshi. 7. Technologies for Reliable WebWare : Testing, Analyzing and Constructing(<Special Feature>Development of Advanced Development of Fundamental Software through Tight Collaboration of Academia and Industry). IPSJ Magazine. 2008. 49. 11. 1271-1276

ｍore...

MISC (116)：

ｍore...

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)

Professional career (1)：

工学博士 (京都大学)

※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM