| IEICE Technical Committee Submission System Conference Schedule |
Online Proceedings [Sign in] Tech. Rep. Archives |
All Technical Committee Conferences (Searched in: All Years)
| Committee | Date Time | Place | Paper Title / Authors | Abstract | Paper # | |
| SS | 2024-03-09 10:35 |
Okinawa | (Primary: On-site, Secondary: Online) |
Considerations of an Automatic Feedback Method for a Learner's Editing Source Codes in Programming Exercises
-- Guided Feedback Using Edit Transition Graphs of a Model Answer Program -- Yuki Sawada, Yoshinari Hachisu, Atsushi Yoshida, Hiroaki Kuwabara (Nanzan Univ.)  SS2023-78 |
In programming exercises, it is difficult for some learners to complete source codes by themselves. Many researches on a... [more] | SS2023-78 pp.174-179 |
| SS | 2015-03-10 11:25 |
Okinawa | OKINAWAKEN SEINENKAIKAN | A Code Review Method with Def-use Graph of Single Variable Daisuke Kato, Yoshinari Hachisu, Atsushi Yoshida, Kiyoshi Agusa (Nanzan Univ.) SS2014-73 |
On code review, reviewers point out codes that should be modified from software qualities. In some cases, they review a... [more] |
SS2014-73 pp.109-114 |
| MSS, SS | 2013-03-06 17:20 |
Fukuoka | Shikanoshima | Automatic Generation of Error Correction Questions for Programming Learning Yoshinari Hachisu, Atsushi Yoshida (Nanzan Univ.) MSS2012-70 SS2012-70 |
We propose a method for automatic generation of error correction questions for learning programming. Error correction ... [more] |
MSS2012-70 SS2012-70 pp.63-68 |
| SS, IPSJ-SE | 2012-11-01 13:40 |
Hiroshima | Hiroshima City University | A discussion of fault patterns for concurrent systems Han-Myung Chang, Masami Noro, Atsushi Sawada, Atsushi Yoshida, Yoshinari Hachisu, Reishi Yokomori (Nanzan Univ.) SS2012-40 |
In model checking, when a model checker fails to verify deadlock free, or some safety property or liveness property, its... [more] | SS2012-40 pp.41-46 |
| SS | 2011-10-28 10:30 |
Ishikawa | JAIST | A discussion of inspections based on patterns for CSP descriptions Han-Myung Chang, Masami Noro, Atsushi Sawada, Atsushi Yoshida, Yoshinari Hachisu, Reishi Yokomori (Nanzan Univ.) SS2011-35 |
In model checking, when a model checker fails to verify deadlock free, or some safety property or liveness property, its... [more] | SS2011-35 pp.49-54 |
| SS | 2010-03-08 16:30 |
Kagoshima | Kagoshima Univ. | Light-weight XQuery Processor using Lazy Parsing Yoshinari Hachisu, Masami Noro, Atsushi Sawada, Han-Myung Chang (Nanzan Univ.) SS2009-74 |
[more] | SS2009-74 pp.157-162 |
| KBSE | 2009-03-06 11:30 |
Aichi | NANZAN University satellite campus | Design of a generator for a high-performance and light-weight XQuery processing program Yoshinari Hachisu, Masami Noro, Atsushi Sawada (Nanzan Univ.) KBSE2008-60 |
In this paper,we propose a gererator for a high-performance and light-weight XQuery processor. An existing XQuery p... [more] |
KBSE2008-60 pp.49-54 |
| KBSE | 2009-03-06 13:30 |
Aichi | NANZAN University satellite campus | A Documentation Method for Aspect-Oriented Software Architecture Daichi Kato, Yoshinari Hachisu, Atsushi Sawada, Masami Noro (Nanzan Univ.) KBSE2008-61 |
Designing software architecture is an important development process in which developers analyze and represent the abstra... [more] | KBSE2008-61 pp.55-60 |
| KBSE | 2009-03-06 15:00 |
Aichi | NANZAN University satellite campus | Design of the Undergraduate Software Engineering Educatin Program Mikio Aoyama, Yoshinari Hachisu, Yoshihisa Mano, Atsushi Sawada, Masami Noro (Nanzan Univ.) KBSE2008-63 |
This article reports on the design of the undergraduate software engineering education program at Nanzan University, to ... [more] | KBSE2008-63 pp.67-72 |
[Return to Top Page]