Kiyoshi Agusa

According to our database, Kiyoshi Agusa authored at least 38 papers between 1980 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Constructing Object Groups Corresponding to Concepts for Recovery of a Summarized Sequence Diagram.

Kunihiro Noda, Takashi Kobayashi, Kiyoshi Agusa

J. Inf. Process., 2021

2013

Grouping Objects for Execution Trace Analysis Based on Design Patterns.

Tatsuya Toda, Takashi Kobayashi, Noritoshi Atsumi, Kiyoshi Agusa

Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

2012

Reticella: An Execution Trace Slicing and Visualization Tool Based on a Behavior Model.

Kunihiro Noda, Takashi Kobayashi, Shinichiro Yamamoto, Motoshi Saeki, Kiyoshi Agusa

IEICE Trans. Inf. Syst., 2012

A Session Type System with Subject Reduction.

Keigo Imai, Shoji Yuen, Kiyoshi Agusa

IEICE Trans. Inf. Syst., 2012

Execution Trace Abstraction Based on Meta Patterns Usage.

Kunihiro Noda, Takashi Kobayashi, Kiyoshi Agusa

Proceedings of the 19th Working Conference on Reverse Engineering, 2012

Finding Cross-browser JavaScript Codes using Sequential Pattern Mining.

Takahiro Fujitani, Takashi Kobayashi, Noritoshi Atsumi, Kiyoshi Agusa

Proceedings of the Knowledge-Based Software Engineering, 2012

Interaction histories mining for software change guide.

Takashi Kobayashi, Nozomu Kato, Kiyoshi Agusa

Proceedings of the Third International Workshop on Recommendation Systems for Software Engineering, 2012

2011

Software Metrics Based on Coding Standards Violations.

Yasunari Takai, Takashi Kobayashi, Kiyoshi Agusa

Proceedings of the 2011 Joint Conf of 21st Int'l Workshop on Software Measurement and the 6th Int'l Conference on Software Process and Product Measurement, 2011

An XML C Source Code Interchange Format for CASE Tools.

Noritoshi Atsumi, Takashi Kobayashi, Shinichiro Yamamoto, Kiyoshi Agusa

Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

2010

Session Type Inference in Haskell

Keigo Imai, Shoji Yuen, Kiyoshi Agusa

Proceedings of the Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software, 2010

2009

Head-Needed Strategy of Higher-Order Rewrite Systems and Its Decidable Classes.

Hideto Kasuya, Masahiko Sakai, Kiyoshi Agusa

Inf. Media Technol., 2009

Image Semantic Search Engine.

Chaoqing Lv, Takashi Kobayashi, Kiyoshi Agusa, Kun Wu, Qing Zhu

Proceedings of the First International Workshop on Database Technology and Applications, 2009

Sequence Diagram Slicing.

Kunihiro Noda, Takashi Kobayashi, Kiyoshi Agusa, Shinichiro Yamamoto

Proceedings of the 16th Asia-Pacific Software Engineering Conference, 2009

2007

Practice and analysis of an extension course for training trainers of embedded software.

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

SIGBED Rev., 2007

A Synchronization Flow Analysis of Concurrent Objects in AIBO OPEN-R Programs Based on Communicating Processes.

Ryo Suetsugu, Shoji Yuen, Kiyoshi Agusa

Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 2007

2006

Web Automata: A Behavioral Model of Web applications based on the MVC model.

Shoji Yuen, Keishi Kato, Daiju Kato, Kiyoshi Agusa

Inf. Media Technol., 2006

2005

NEXCESS: Nagoya university extension courses for embedded software specialists.

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

SIGBED Rev., 2005

Image retrieval by pattern categorization using wavelet domain perceptual features with LVQ neural network.

Md. Khayrul Bashar, Noboru Ohnishi, Tetsuya Matsumoto, Yoshinori Takeuchi, Hiroaki Kudo, Kiyoshi Agusa

Pattern Recognit. Lett., 2005

Towards assuring quality attributes of client dynamic Web applications: Identifying and addressing the challenges.

Mohamed Sharaf Aun, Shoji Yuen, Kiyoshi Agusa

J. Web Eng., 2005

Local Feature Saliency for Texture Representation.

Md. Khayrul Bashar, Noboru Ohnishi, Kiyoshi Agusa

Proceedings of the Pattern Recognition and Image Analysis, 2005

2004

Name-passing style GUI programming in the <i>pi</i>-calculus-based language Nepi.

Atsushi Mizuno, Ken Mano, Yoshinobu Kawabe, Hiroaki Kuwabara, Kiyoshi Agusa, Shoji Yuen

Proceedings of the 6th AMAST Workshop on Real-Time Systems, 2004

Image Retrieval by Categorization Using LVQ Network with Wavelet Domain Perceptual Features.

Md. Khayrul Bashar, Noboru Ohnishi, Kiyoshi Agusa

Proceedings of the Advances in Multimedia Information Processing - PCM 2004, 5th Pacific Rim Conference on Multimedia, Tokyo, Japan, November 30, 2004

Software Engineering Evolution.

Kiyoshi Agusa

Proceedings of the 7th International Workshop on Principles of Software Evolution (IWPSE 2004), 2004

Separating Features for Assuring Quality Attributes of Client Web Applications.

Mohamed Sharaf Aun, I. M. Atiqul, Shoji Yuen, Kiyoshi Agusa

Proceedings of the IADIS International Conference WWW/Internet 2004, 2004

2003

Towards Assuring the Quality Attributes of Web Applications: An Approach for Separating Features.

Mohamed Sharaf Aun, Shoji Yuen, Kiyoshi Agusa

Proceedings of the IADIS International Conference WWW/Internet 2003, 2003

2002

Library evolution for reliable software.

Noritoshi Atsumi, Shoji Yuen, Kiyoshi Agusa, Shinichirou Yamamoto

Proceedings of the International Workshop on Principles of Software Evolution, 2002

Descendants and Head Normalization of Higher-Order Rewrite Systems.

Hideto Kasuya, Masahiko Sakai, Kiyoshi Agusa

Proceedings of the Functional and Logic Programming, 6th International Symposium, 2002

1997

Algebraic specification with provision for the automatic addition of error descriptions.

Takeshi Hamaguchi, Masahiko Sakai, Shinichirou Yamamoto, Kiyoshi Agusa

Syst. Comput. Jpn., 1997

1996

Error description on algebraic specification and its automatic addition.

Takeshi Hamaguchi, Shinichirou Yamamoto, Kiyoshi Agusa, Masahiko Sakai

Syst. Comput. Jpn., 1996

1995

MEMO-PEN: a new input device.

Shinji Nabeshima, Shinichirou Yamamoto, Kiyoshi Agusa, Toshio Taguchi

Proceedings of the Human Factors in Computing Systems, 1995

1993

CARD: a software requirements definition environment.

Atsushi Ohnishi, Kiyoshi Agusa

Proceedings of IEEE International Symposium on Requirements Engineering, 1993

1989

A software process model based on unit workload network.

Yoshihiro Matsumoto, Kiyoshi Agusa, Tsuneo Ajisaka

Proceedings of the Fifth International Software Process Workshop (ISPW '89), 1989

1988

A Programming Environment Supporting Reuse of Object-Oriented Software.

H. Tarumi, Kiyoshi Agusa, Yutaka Ohno

Proceedings of the Proceedings, 1988

1983

A Multi-Microprocessor System for Concurrent LISP.

Shigeo Sugimoto, Kiyoshi Agusa, Koichi Tabata, Yutaka Ohno

Proceedings of the International Conference on Parallel Processing, 1983

1982

Verification System for Formal Requirements Description.

Kiyoshi Agusa, Atsushi Ohnishi, Yutaka Ohno

Proceedings of the Proceedings, 1982

A parallel processor system dedicated to SIMD and its application to three-dimensional color graphics.

Masatoshi Kubo, E. Toshima, N. Mori, H. Hoshino, Kiyoshi Agusa, Yutaka Ohno

Proceedings of the Proceedings of the 3rd International Conference on Distributed Computing Systems, 1982

1981

Concurrent LISP on a Multi-Micro-Processor System.

Shigeo Sugimoto, Koichi Tabata, Kiyoshi Agusa, Yutaka Ohno

Proceedings of the 7th International Joint Conference on Artificial Intelligence, 1981

1980

Multi-Microprocessor System for Three-Dimensional Color Graphs.

Masatoshi Kubo, Yasushi Taguchi, Kiyoshi Agusa, Yutaka Ohno

Proceedings of the Information Processing, Proceedings of the 8th IFIP Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia, 1980