Kiyoshi Agusa

Profile Information

Degree: 工学博士(京都大学)

J-GLOBAL ID: 201101088080572477
researchmap Member ID: B000000549

京都大学情報環境機構客員教授

専門はソフトウェア工学、CASEツールプラットフォームの研究に従事
高信頼性WebWareの構成技術、組込みシステム人材育成等のプロジェクトを推進
産学人材育成パートナーシップ情報処理分科会座長やJ07のSE委員会委員長などを務める

Research Interests

Papers

CX-Checker: A Flexibly Customizable Coding Checker for C

Toshinori Osuka, Takashi Kobayashi, Noritoshi Atsumi, Junichi Mase, Shinichirou Yamamoto, Nobuyasu Suzumura, Kiyoshi Agusa

IPSJ Journal, 53(2) 590-600, Feb 15, 2012
OJL: a new education scheme by collaboration of academia and industry

52(10) 1254-1257, Oct, 2011
Proving Method of Termination/Non-Termination for Functional Programs with Exception Handling

Takeshi Hamaguchi, Masahiko Sakai, Masataka Baba, Kiyoshi Agusa

4(2) 13-30, Mar 25, 2011
StrutsLint : A Coding Checker for Web Application

KANEKO Nobuyuki, KUWABARA Hiroaki, YAMAMOTO Shinichiro, AGUSA Kiyoshi

26(3) 34-43, Jul 28, 2009
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)

KUWABARA Hiroaki, KANEKO Nobuyuki, ATSUMI Noritoshi, YAMAMOTO Shinichiro, AGUSA Kiyoshi

IPSJ Magazine, 49(11) 1271-1276, Nov 15, 2008
Highly Reliable Network Programming with Session Types in Typed Functional Programming Languages

IMAI KEIGO, YUEN SHOJI, AGUSA KIYOSHI

49(3), Mar 15, 2008
A Deadlock Free Analysis for AIBO OPEN-R Programs Based on Communicating Processes(Verification, Testing, and Debugging,<Special Issue>Embedded Systems Engineering)

SUETSUGU RYO, YUEN SHOJI, AGUSA KIYOSHI

IPSJ Journal, 48(9) 2915-2924, Sep 15, 2007
A Network Programming Framework in Haskell Based on Asynchronous Localized π-calculus

IMAI KEIGO, YUEN SHOJI, AGUSA KIYOSHI

47(16) 10-28, Oct 15, 2006
NEXCESS : Education for Embedded Software Specialists : Enhance Worker's Skill

YAMAMOTO Masaki, AGUSA Kiyoshi, MASE Kenji, TAKADA Hiroaki, KAWAGUCHI Nobuo, TOMIYAMA Hiroyuki, HONDA Shinya, KANEKO Nobuyuki

Journal of JSEE, 54(5) 49-54, Sep 20, 2006
Congruence Properties for a Timed Extension of the π-Calculus

KUWABARA Hiroaki, YUEN Shoji, AGUSA Kiyoshi

The IEICE transactions on information and systems (Japanese edetion), 89(4) 632-641, Apr 1, 2006
Web Automata: A Behavioral Model of Web applications based on the MVC model

Yuen Shoji, Kato Keishi, Kato Daiju, Agusa Kiyoshi

Information and Media Technologies, 1(1) 66-79, 2006
Remedial education of embedded software specialists for working people

Masaki Yamamoto, Nobuo Kawaguchi, Kiyoshi Agusa, Kenji Mase, Hiroaki Takada, Hiroyuki Tomiyama, Shinya Honda, Nobuyuki Kaneko

IEEJ Transactions on Fundamentals and Materials, 126(7) 563-569, 2006
Clustering Method of Function Call Dependency Graphs for Idioms Retrieval on Software

ATSUMI Noritoshi, YAMAMOTO Shinichirou, AGUSA Kiyoshi

The transactions of the Institute of Electronics, Information and Communication Engineers. D-I, 88(11) 1696-1707, Nov 1, 2005
A Semantic Model for Round-trip Engineering of Web Applications(<Special Issue>Joint Industry-University Research)

MATSUTSUKA TAKAHIDE, AGUSA KIYOSHI, YAMAMOTO SHINICHIRO

IPSJ Journal, 46(5) 1145-1154, May 15, 2005
Web Automata : A Behavioral Model of Web applications based on the MVC model

Yuen Shoji, Kato Keishi, Kato Daiju, Agusa Kiyoshi

Computer Software, 22(2) 44-57, Apr 26, 2005
Design and Implementation of GUI for a pi-calculus-based Programming Language Nepi

MIZUNO ATSUSHI, MANO KEN, KAWABE YOSHINOBU, KUWABARA HIROAKI, YUEN SHOJI, AGUSA KIYOSHI

45(12), Nov 15, 2004
Coding Patterns based on Function Call Dependency Graphs

Atsumi Noritoshi, Yamamoto Shinichiro, Yuen Shoji, Agusa Kiyoshi

Computer Software, 21(4) 261-270, Jul 27, 2004
A Formal Description of a Real-Time Object-Oriented Language by the π-Calculus with Time(<Special Issue>Object-Oriented and Web Technology)

KUWABARA HIROAKI, YUEN SHOJI, AGUSA KIYOSHI

IPSJ Journal, 45(6) 1498-1507, Jun 15, 2004
(Development Environments) A Generic Fine-grained Software Repository Using XML (<Special Issue> Object-Oriented Technologies)

YOSHIDA HAJIME, YAMAMOTO SHINICHIROU, AGUSA KIYOSHI

IPSJ Journal, 44(6) 1509-1516, Jun 15, 2003
A Behavioral Simulation of Real-time Statechart Based on a Real-time Process Language

OSUKA KYOSUKE, YUEN SHOJI, AGUSA KIYOSHI

43(8), Sep 15, 2002

Misc.

116

前処理命令の制御構造とその構造内のコード改変に関する調査

今西洋二, 渥美紀寿, 森崎修司, 山本修一郎, 阿草清滋

情報処理学会研究報告(Web), 2016(SE-191) VOL.2016-SE-191,NO.6 (WEB ONLY), Mar 7, 2016
A Code Review Method with Def-use Graph of Single Variable

加藤大典, 蜂巣吉成, 吉田敦, 阿草清滋

電子情報通信学会技術研究報告, 114(510(SS2014 55-73)) 109-114, Mar 2, 2015
Understanding Coding Processes in Programming Exercises

蜂巣吉成, 吉田敦, 阿草清滋

情報処理学会研究報告(Web), 2014(CE-125) VOL.2014-CE-125,NO.3 (WEB ONLY)-8, May 31, 2014
Execution Trace Abstraction by Dynamic Characteristics of Objects

戸田達也, 小林隆志, 渥美紀寿, 阿草清滋

電子情報通信学会技術研究報告, 113(489(SS2013 72-90)) 85-90, Mar 4, 2014
ソフトウェア開発支援基盤のためのソースプログラムのXML表現

渥美紀寿, 小林隆志, 山本晋一郎, 阿草清滋

電子情報通信学会論文誌 D, J96-D(11) 2681-2691, Nov 1, 2013
Change Based Model Considering Temporal Locality of Interaction Histories

112(458) 97-102, Mar 6, 2013
Propagation Probability of Data Dependency for Fault Localization

村松沙那恵, 小林隆志, 渥美紀寿, 阿草清滋

電子情報通信学会技術研究報告, 112(457(MSS2012 59-86)) 69-74, Feb 27, 2013
Towards Detection of Automatically Undetectable Violations Focused on the Locality of Coding Standards Violations

高井康勢, 小林隆志, 渥美紀寿, 山本晋一郎, 阿草清滋

電子情報通信学会技術研究報告, 112(457(MSS2012 59-86)) 51-56, Feb 27, 2013
Messages on Favorite IT：No Hurry to Find Something Interesting

阿草清滋

情報処理, 54(2) 135-135, Jan 15, 2013
Feature Dependency Analysis using Control Structure of Preprocess Directive

ATSUMI Noritoshi, KOBAYASHI Takashi, AGUSA Kiyoshi

Technical report of IEICE. SS, 112(373) 67-72, Jan 10, 2013
Feature Dependency Analysis using Control Structure of Preprocess Directive

渥美紀寿, 小林隆志, 阿草清滋

電子情報通信学会技術研究報告, 112(373(SS2012 46-58)) 67-72, Jan 3, 2013
A Tool for Visualizing the History of Object Interactions based on Meta Patterns Usage

Kunihiro Noda, Takashi Kobayashi, Kiyoshi Agusa

IPSJ SIG Notes, 2011(1) 1-10, Mar 7, 2011
Interaction Histories Mining for Software Change Guide

KATO Nozomu, KOBAYASHI Takashi, AGUSA Kiyoshi

Technical report of IEICE. SS, 110(458) 145-150, Feb 28, 2011
Version management tool and integration development environment for multi-variant development

Yuji Yokoyama, Takahiro Hidaka, Shinnichiro Yamamoto, Takashi Kobayashi, Shigeharu Teshima, Kiyoshi Agusa

IPSJ SIG Notes, 2010(6) 1-8, Mar 11, 2010
Architecture and Implementation of Tool that Convert to Fixed Point Arithmetic for Control Software

Fumitaka Seki, Takahiro Hidaka, Shinnichiro Yamamoto, Takashi Kobayashi, Shigeharu Teshima, Kiyoshi Agusa

IPSJ SIG Notes, 2010(27) 1-9, Mar 11, 2010
Code Completion Method Using Meta Data and Context Data and its Application for XPath Language

Eiji Hayashi, Takahiro Hidaka, Shinichiro Yamamoto, Takashi Kobayashi, Shota Uehara, Junichi Mase, Nobuyasu Suzumura, Kiyoshi Agusa

IPSJ SIG Notes, 2010(28) 1-8, Mar 11, 2010
知識基盤社会を支える情報技術論文特集の発行にあたって

阿草清滋

電子情報通信学会論文誌. D, 情報・システム, 92(9), Sep 1, 2009
On the Job Learing : A New Software Engineering Education Method on Collaboration between Academia and Industry

KOBAYASHI Takashi, SAWADA Atsushi, YAMAMOTO Shinichiro, NORO Masami, AGUSA Kiyoshi

Technical report of IEICE. SS, 109(170) 95-100, Jul 30, 2009
"正しい"ソフトウェアの開発を

阿草清滋

コンピュータソフトウェア, 26(2), Apr 24, 2009
Sequence Diagram Slicing based on High-Precision Deta Dependency

NODA KUNIHIRO, KOBAYASHI TAKASHI, YAMAMOTO SHINICHIRO, AGUSA KIYOSHI

IPSJ SIG Notes, 2009(31) 233-240, Mar 11, 2009

Presentations

成果物アクセスの時間的局所性を考慮した変更コンテキストモデル (システム数理と応用)

丸岡寛典, 小林隆志, 阿草清滋

電子情報通信学会技術研究報告 : 信学技報, Mar 6, 2013
デ-25 CX-Checker : A Customizable Coding Checker for C

Kobayashi Takashi, Osuka Toshinori, Uehara Nobuyuki, Hirumuta Eiji, Hayashi Eiji, Mase Junichi, Yamamoto Shinichiro, Atsumi Noritoshi, Kawaguchi Naohiro, Suzumura Noboyasu, Agusa Kiyoshi

Mar 8, 2010
OSDG:Object-oriented System Dependence Graph

HACHISU YOSHINARI, YAMAMOTO SHINICHIROU, AGUSA KIYOSHI

IPSJ Journal, Apr 15, 1999

Research Projects

Semantic Refacteting Techniqus for Round-trip development of Web applications

Grants-in-Aid for Scientific Research(基盤研究(B)), 基盤研究(B), Ministry of Education, Culture, Sports, Science and Technology, 2005 - 2007

Kiyoshi AGUSA, Shoji YUEN, Takeshi HAMAGUCHI, Shinichiro YAMAMOTO

Profile Information

Research Interests

Papers

Misc.

Presentations

Research Projects

Menu

Following