Kiyoshi Agusa

J-GLOBAL         Last updated: Oct 19, 2016 at 15:54
 
Avatar
Name
Kiyoshi Agusa
Affiliation
Kyoto University

Published Papers

 
Toshinori Osuka, Takashi Kobayashi, Noritoshi Atsumi, Junichi Mase, Shinichirou Yamamoto, Nobuyasu Suzumura, Kiyoshi Agusa
IPSJ Journal   53(2) 590-600   Feb 2012
This paper proposes a customizable coding checker "CX-Checker" which aims at improvement of maintainability and reusability of software. CX-Checker supports three type rule description such as XPath base, DOM base and wrapper API base. We introduc...
Takeshi Hamaguchi, Masahiko Sakai, Masataka Baba, Kiyoshi Agusa
4(2) 13-30   Mar 2011
We present a proving method of termination/non-termination for functional programs based on eager-evaluation with exception handling. We give a transformation of functional programs into Context-Sensitive Term Rewriting Systems (CS-TRSs). This ena...
KANEKO Nobuyuki, KUWABARA Hiroaki, YAMAMOTO Shinichiro, AGUSA Kiyoshi
26(3) 34-43   Jul 2009
KUWABARA Hiroaki, KANEKO Nobuyuki, ATSUMI Noritoshi, YAMAMOTO Shinichiro, AGUSA Kiyoshi
IPSJ Magazine   49(11) 1271-1276   Nov 2008
SUETSUGU RYO, YUEN SHOJI, AGUSA KIYOSHI
IPSJ Journal   48(9) 2915-2924   Sep 2007
We propose a compositional analysis method to ensure deadlock freeness of AIBO programs based on communicating processes. Concurrent objects of AIBO programs with the OPEN-R API are synchronized by two types of signals: ready and notify. Focusing ...
IMAI KEIGO, YUEN SHOJI, AGUSA KIYOSHI
47(16) 10-28   Oct 2006
We propose an embedding of the typed Asynchronous Localized π-calculus (ALπ) into the programming language Haskell as a framework for network programming. The framework has following advantages due to the embedded language nature: (1) the framewor...
YAMAMOTO Masaki, AGUSA Kiyoshi, MASE Kenji, TAKADA Hiroaki, KAWAGUCHI Nobuo, TOMIYAMA Hiroyuki, HONDA Shinya, KANEKO Nobuyuki
Journal of JSEE   54(5) 49-54   Sep 2006
The development of embedded software has recently been increasing among many companies. This situation carries the need for training of more embedded software engineers. The Nagoya University provides reeducation of embedded software engineers in ...
YAMAMOTO Masaki, KAWAGUCHI Nobuo, AGUSA Kiyoshi, MASE Kenji, TAKADA Hiroaki, TOMIYAMA Hiroyuki, HONDA Shinya, KANEKO Nobuyuki
IEEJ Transactions on Fundamentals and Materials   126(7) 563-569   Jul 2006
Recently, development of embedded software increases in the company. The need of the training embedded software engineers in the company rises, and expectation for a university is big. We carry out embedded software engineers education courses for...
KUWABARA Hiroaki, YUEN Shoji, AGUSA Kiyoshi
The IEICE transactions on information and systems (Japanese edetion)   89(4) 632-641   Apr 2006
Yuen Shoji, Kato Keishi, Kato Daiju, Agusa Kiyoshi
Information and Media Technologies   1(1) 66-79   2006
We propose a behavioral model of web applications, called `Web Automata', based on the MVC(Model View and Control) model architecture. The MVC model architecture separates design concerns to improve the overall software quality. Since the architec...
ATSUMI Noritoshi, YAMAMOTO Shinichirou, AGUSA Kiyoshi
The transactions of the Institute of Electronics, Information and Communication Engineers. D-I   88(11) 1696-1707   Nov 2005
MATSUTSUKA TAKAHIDE, AGUSA KIYOSHI, YAMAMOTO SHINICHIRO
IPSJ Journal   46(5) 1145-1154   May 2005
The technologies that construct Web applications are improving rapidly. In this situation, lack of frameworks that describe semantics of the Web applications makes difficult to improve the quality of the Web applications. The present paper introdu...
Yuen Shoji, Kato Keishi, Kato Daiju, Agusa Kiyoshi
Computer Software   22(2) 44-57   Apr 2005
We propose a behavioral model of web applications, called 'Web Automata', based on the MVC (Model View and Control) model architecture. The MVC model architecture separates design concerns to improve the overall software quality. Since the archite...
MIZUNO ATSUSHI, MANO KEN, KAWABE YOSHINOBU, KUWABARA HIROAKI, YUEN SHOJI, AGUSA KIYOSHI
45(12)    Nov 2004
This paper presents a design and an implementation of GUI (Graphic User Interface) programming for the programming language Nepi. Nepi has the operation semantics based on the pi-calculus where the atomic computation is a rendezvous-style name-pas...
Atsumi Noritoshi, Yamamoto Shinichiro, Yuen Shoji, Agusa Kiyoshi
Computer Software   21(4) 261-270   Jul 2004
KUWABARA HIROAKI, YUEN SHOJI, AGUSA KIYOSHI
IPSJ Journal   45(6) 1498-1507   Jun 2004
In this paper, we aim at providing a foundational framework of the object-oriented technique for system development with timing constraints. We formalize timed behavior of objects via the behavior of π-calculus extended with time. It is common to ...
YOSHIDA HAJIME, YAMAMOTO SHINICHIROU, AGUSA KIYOSHI
IPSJ Journal   44(6) 1509-1516   Jun 2003
In this paper, we propose the method of implementing fine-grained software repository which manages fine-grained software elements with an XML document. Since XML technologies are fixed gradually, by implementing the repository as an XML document,...
OSUKA KYOSUKE, YUEN SHOJI, AGUSA KIYOSHI
43(8)    Sep 2002
In this presentation, we implements the tool for a simulation of the behavior of real-time statecharts with SPL_<RT>. SPL_<RT> models the behavior of real-time statecharts as the labeled transition system derived from the operational semantics of ...
KUWABARA HIROAKI, YUEN SHOJI, AGUSA KIYOSHI
43(8)    Sep 2002
In this presentation, we mention a formal description of the priority inheritance protocol which is the method to solve a priority inversion by the π-calculus. We define how to handle the priority of a process in the π-calculus, and determine the ...
TAKAGI TOYONORI, YUEN SHOJI, AGUSA KIYOSHI
42(7)    Jul 2001
We propose a development method for real-time concurrent software based on timed design patterns. The steps of our development method are following. The first step, the developer designs software model based on timed design patterns. The next step...
Teshima Shigeharu, Araki Mitsuhiro, Agusa Kiyoshi
The transactions of the Institute of Electronics, Information and Communication Engineers. D-I   82(6) 740-750   Jun 1999
AGUSA Kiyoshi
Systems, control and information   43(2) 71-79   Feb 1999

Misc

 
今西洋二, 渥美紀寿, 森崎修司, 山本修一郎, 阿草清滋
情報処理学会研究報告(Web)   2016(SE-191) VOL.2016-SE-191,NO.6 (WEB ONLY)   Mar 2016
加藤大典, 蜂巣吉成, 吉田敦, 阿草清滋
電子情報通信学会技術研究報告   114(510(SS2014 55-73)) 109-114   Mar 2015
蜂巣吉成, 吉田敦, 阿草清滋
情報処理学会研究報告(Web)   2014(CE-125) VOL.2014-CE-125,NO.3 (WEB ONLY)   May 2014
戸田達也, 小林隆志, 渥美紀寿, 阿草清滋
電子情報通信学会技術研究報告   113(489(SS2013 72-90)) 85-90   Mar 2014
渥美紀寿, 小林隆志, 山本晋一郎, 阿草清滋
電子情報通信学会論文誌 D   J96-D(11) 2681-2691   Nov 2013
村松沙那恵, 小林隆志, 渥美紀寿, 阿草清滋
電子情報通信学会技術研究報告   112(457(MSS2012 59-86)) 69-74   Feb 2013
高井康勢, 小林隆志, 渥美紀寿, 山本晋一郎, 阿草清滋
電子情報通信学会技術研究報告   112(457(MSS2012 59-86)) 51-56   Feb 2013
阿草 清滋
情報処理   54(2) 135-135   Jan 2013
渥美紀寿, 小林隆志, 阿草清滋
電子情報通信学会技術研究報告   112(373(SS2012 46-58)) 67-72   Jan 2013
Kunihiro Noda, Takashi Kobayashi, Kiyoshi Agusa
IPSJ SIG Notes   2011(1) 1-10   Mar 2011
Visualizing object interactions in an execution trace as sequence diagrams is a promising techniques to help developers comprehend the behavior of objectoriented systems effectively. However, in the most cases, the reverse-engineered sequence diag...
KATO Nozomu, KOBAYASHI Takashi, AGUSA Kiyoshi
Technical report of IEICE. SS   110(458) 145-150   Feb 2011
Software system consists of software artifacts, which are source code, documents, configuration files etc. Since artifacts have internal and external dependencies, a change will cause some changes on relate artifacts. In this paper, we propose a m...
Yuji Yokoyama, Takahiro Hidaka, Shinnichiro Yamamoto, Takashi Kobayashi, Shigeharu Teshima, Kiyoshi Agusa
IPSJ SIG Notes   2010(6) 1-8   Mar 2010
The conditional compilation is usually used in multi-variant development by C language. The increase of variations often lead to a decline in readability and maintainability of its source code because variables for compilation conditions and condi...
Fumitaka Seki, Takahiro Hidaka, Shinnichiro Yamamoto, Takashi Kobayashi, Shigeharu Teshima, Kiyoshi Agusa
IPSJ SIG Notes   2010(27) 1-9   Mar 2010
The floating point arithmetic cannot be used from the viewpoint of the cost with in-vehicle software. Therefore, it is necessary to mount the algorithm by fixed point arithmetic. It is a time-consuming task to convert the algorithm which handles t...
Eiji Hayashi, Takahiro Hidaka, Shinichiro Yamamoto, Takashi Kobayashi, Shota Uehara, Junichi Mase, Nobuyasu Suzumura, Kiyoshi Agusa
IPSJ SIG Notes   2010(28) 1-8   Mar 2010
When retrieving from the structured document, the code completion function is useful as the input support function because query language description depends on the structure of the structured document. We showed that the code completion method wa...
KOBAYASHI Takashi, SAWADA Atsushi, YAMAMOTO Shinichiro, NORO Masami, AGUSA Kiyoshi
Technical report of IEICE. SS   109(170) 95-100   Jul 2009
In this report, we propose a new software engineering education method "On the job Learning (OJL)" which is a project based practical education based on collaboration between academia and industry with real software development projects. We also r...
NODA KUNIHIRO, KOBAYASHI TAKASHI, YAMAMOTO SHINICHIRO, AGUSA KIYOSHI
IPSJ SIG Notes   2009(31) 233-240   Mar 2009
It is difficult to fully understand behavior of a large scale object-oriented system from source code. Our main goal is to help developer comprehend the behavior of systems with effective software visualization. In this report, we propose an exten...
Baba Takashi, Yuen Shoji, Agusa Kiyoshi
Technical report of IEICE. SS   108(444) 17-22   Feb 2009
AGUSA Kiyoshi, NISHI Yasuharu, SAWADA Atsushi, WASHIZAKI Hironori
IPSJ Magazine   49(7) 743-749   Jul 2008
Fujita Hideyuki, Kaneko Nobuyuki, Nakamoto Hideaki, Ogawa Yoshiaki, Agusa Kiyoshi
IPSJ SIG Notes   2008(29) 83-90   Mar 2008
In this paper, we define requirement relevance in the requirement specification which specified by using the business object as an measure that evaluates the degree of relatedness with a present development requirement. The business object is an a...
UEHARA NOBUYUKI, OSUKA TOSHINORI, KOBAYASI TAKASHI, KANEKO NOBUYUKI, YAMAMOTO SHINICHIRO, AGUSA KIYOSHI
IPSJ SIG Notes   2008(29) 91-98   Mar 2008
In source code review and/or debug phase, developers must understand both the big picture and details of the software behavior. To comprehend behavior of software, developers roughly trace function call for getting a big picture view, and then rea...
KANEKO Nobuyuki, IMAI Keigo, YAMAMOTO Shinichiro, AGUSA Kiyoshi
70(5) "5-403"-"5-404"   Mar 2008
MIZUNO Ryota, IMAI Keigo, SUETSUGU Ryo, KANEKO Nobuyuki, YAMAMOTO Shinniciro, AGUSA Kiyoshi
Technical report of IEICE. SS   107(505) 55-60   Feb 2008
In this paper, we propose a model for a method that detects and handles phenomenon called Amazon-Bug runtime. To prevent the Amazon-Bug on existing web applications, "Back" buttons are disabled. However, such answers lead to low usability. It is r...
MIZUNO Ryota, KUWABARA Hiroaki, YAMAMOTO Shinichiro, AGUSA Kiyoshi
152(0) 33-40   May 2006
Mizuno Ryota, Kuwabara Hiroaki, Yamamoto Shinichiro, Agusa Kiyoshi
IPSJ SIG Notes   2006(48) 33-40   May 2006
This paper proposes a method of immutability analysis to help understanding Java program. Immutable references can be ignored when we trace the transition of the state of objects, because it is impossible to change the state of object through them...
Ito Takashi, Kaneko Nobuyuki, Yamamoto Shinichiro, Agusa Kiyoshi
IPSJ SIG Notes   2006(35) 97-104   Mar 2006
In this paper, we propose a refactoring method using an abstract program. Web abstract program represents behavior of components by using two abstract instructions called RENDERING and PROCESS. Web abstract program also represents relations betwee...
Mizuno Yuuki, Kaneko Nobuyuki, Nakamoto Hideaki, Ogawa Yoshiaki, Yamamoto Shinichiro, Agusa Kiyoshi
IPSJ SIG Notes   2006(35) 121-128   Mar 2006
We propose a rule-based GUI abstraction for various GUI implementations. Abstract GUI description and GUI abstraction rules are the result and the rule of our GUI abstraction, respectively. We define common GUI toolkit and GUI programming model, w...
Atsumi Noritoshi, Yamamoto Shinichiro, Agusa Kiyoshi
IPSJ SIG Notes   2005(75) 57-64   Jul 2005
This paper shows that it becomes easy to implement search function by XML Software Repository, which takes account of the relationships between each program elements. For example, a variable and the type is one of the relationship between each pro...
YOSHIDA HAJIME, YAMAMOTO SHINICHIROU, AGUSA KIYOSHI
IPSJ SIG Notes   2005(29) 33-40   Mar 2005
In this report, we propose a new fine-grained software repository which is accessible from wide range of environments through the network and capable of declarative program analysis. A fine-grained software repository has fine-grained information ...
INOUE Kimihiro, YUEN Syoji, AGUSA Kiyoshi
Technical report of IEICE. SS   104(723) 13-18   Mar 2005
We propose a systematic method to generate reliable codes of RTSJ(Real-Time Specification for Java) according to the specification based on timed automata. To fully specify program behavior, we add descriptions for system design such as memory all...
KASUYA Hideto, SAKAI Masahiko, AGUSA Kiyoshi
Technical report of IEICE. SS   104(242) 1-6   Jul 2004
Needed redexes whose reduction yield is a normalizing strategy are not decidable in higher-order rewrite systems as well as in term rewriting. In this paper we focus on Nipkow's system. We present a construction of tree automata that recognize the...
NIIMI Kenichi, YAMAMOTO Shinichiro, AGUSA Kiyoshi
Technical report of IEICE. SS   103(582) 19-24   Jan 2004
We propose a framework which provides the object binding CASE tool data schema described by abstract software element. Using the object, the cost of repository handling is sharply reducible. Developers can shift from design stage to coding st,age ...
TERAZAWA Makoto, YAMAMOTO Shinichiro, AGUSA Kiyoshi
2003(28) 7-11   Mar 2003
In this research, we propose Tool-Platform Vapid which provides fine grained information of VHDL description. Vapid has an analyzer for VHDL, a DB stored up analysis and Access Routines which provide functions of access to the DB for VHDL tools. V...
OHASHI YOSHINORI, YAMAMOTO SHINICHIRO, AGUSA KIYOSHI
IPSJ SIG Notes   2003(22) 79-86   Mar 2003
In this paper, in order to grasp the whole software image, a technique of visualizing a source code globally is proposed. By a technique proposed, it visualizes not using simple information but the software metrics systematized and summarized. Wit...
TOITA Kouichi, YAMAMOTO Shinichiro, AGUSA Kiyoshi
Technical report of IEICE. SS   102(704) 13-19   Mar 2003
We can extract some codes that affect the selected variable by using program slicing. Program slicing is useful for software development and maintenance, e.g. debugging, testing, reuse, program understanding, refacloring, and so on. Traditional sl...
TERAZAWA Makoto, YAMAMOTO Shinichiro, AGUSA Kiyoshi
IEICE technical report. Computer systems   102(700) 7-11   Mar 2003
ln this research, we propose Tool-Platform Vapid which provides fine grained information of VHDL description. Vapid has an analyzer for VHDL, a DB stored up analysis and Access Routines which provide functions of access to the DB for VHDL tools. V...
Hoshino KOU, Yamamoto SHINICHIRO, Agusa KIYOSHI
Technical report of IEICE. SS   102(617) 49-52   Jan 2003
Unlike an actual building, since a program has few physical restrictions. we can modify it easily. Therefore, we cannot avoid the difference between design description and program arising in a maintenance stage. Because difference of a design and ...
KASUYA Hideto, SAKAI Masahiko, AGUSA Kiyoshi
IEICE technical report. Theoretical foundations of Computing   101(630) 65-72   Jan 2002
This paper describes an extension of head needed rewriting on term rewriting systems to higher-order rewrite systems. The main difficulty of this extension is caused by the β-reductions induced from the higher-order reductions. In order to overcom...
Ochiai Hidetoshi, Yuen Shoji, Agusa Kiyoshi
IPSJ SIG Notes   2001(31) 109-116   Mar 2001
This paper presents a modeling method for software processes based on the consistency management of software documents. In view that each activity in a software process is essentially controlled to maintain the consistency, we propose an explicit ...
OZAKI NORIYUKI, YOSHIDA ATSUSHI, YAMAMOTO SHIN'ICHIROU, AGUSA KIYOSHI
IPSJ SIG Notes   99(37) 25-32   May 1999
Diff in UNIX is a popular tool to find the differences between two files. But the differences between tow source programs found by it contain meaningless differences semanties of programs, for example, insertion and deletion of white spaces and mo...
Yoshida Atsushi, Yamamoto Shinichirou, Agusa Kiyoshi
16(1) 46-56   Jan 1999
Kasuya Hideto, Sakai Masahiko, Yamamoto Shinichirou, Agusa Kiyoshi
IEICE technical report. Theoretical foundations of Computing   98(442) 25-31   Dec 1998
We have already proposed a Term Set Rewriting System (TSRS) as an extension of TRS. A TSRS consists of rules, each of which has sets of terms in its both-hand sides, and its defines a reduction relation on sets of terms. This paper describes compl...
Iwamoto Nami, Yamamoto Shin-ichi, Agusa Kiyoshi
Technical report of IEICE. SS   98(440) 9-16   Dec 1998
Partial evaluation is known as a skill which generates efficient programs. But it can be used for as well extracting the special-purpose program components from the general-purpose program components. Thus we propose partial evaluator from the vie...
Suzuki Takafumi, Yamamoto Shinichirou, Agusa Kiyoshi
57(1) 157-158   Oct 1998
Iwamoto Nami, Yamamoto Shinichiro, Agusa Kiyoshi
57(1) 163-164   Oct 1998
OHHASHI Hirotaka, YAMAMOTO Shin-ichiro, AGUSA Kiyoshi
Technical report of IEICE. SS   98(295) 15-22   Sep 1998
In this paper, we propose a hypertext-based CASE tool, called SPIE, that supports a source program review. Our CASE tool automatically produces the documents for review and hypertext source program. Review must be holded frequently for its good ef...
Suzuki Hironori, Yamamoto Shin-ichiro, Agusa Kiyoshi
IPSJ SIG Notes   98(64) 77-84   Jul 1998
For program understanding, not only the static analysis of a source code but also the dynamic analysis of program execution, such as function call history, control flow and the change of variables, is essential. However, a mount of information col...

Conference Activities & Talks

 
Kobayashi Takashi, Osuka Toshinori, Uehara Nobuyuki, Hirumuta Eiji, Hayashi Eiji, Mase Junichi, Yamamoto Shinichiro, Atsumi Noritoshi, Kawaguchi Naohiro, Suzumura Noboyasu, Agusa Kiyoshi
8 Mar 2010   
HACHISU YOSHINARI, YAMAMOTO SHINICHIROU, AGUSA KIYOSHI
IPSJ Journal   15 Apr 1999   
In this paper, we propose a new control and data dependence graph for an object-oriented language. We call it Object-oriented System Dependence Graph (OSDG). OSDG shows dependence at fine grained level such as expressions, and enables to analyze c...

Research Grants & Projects

 
Ministry of Education, Culture, Sports, Science and Technology: Grants-in-Aid for Scientific Research(基盤研究(B))
Project Year: 2005 - 2007    Investigator(s): Kiyoshi AGUSA
We have investigated a new refactoring technique for web applications aiming at the better reliability and maintainability. Web applications am different from the conventional software system in that (1) they are executed by events over web pages....