IEICE Technical Committee Submission System
Conference Schedule
Online Proceedings
[Sign in]
Tech. Rep. Archives
    [Japanese] / [English] 
( Committee/Place/Topics  ) --Press->
 
( Paper Keywords:  /  Column:Title Auth. Affi. Abst. Keyword ) --Press->

All Technical Committee Conferences  (Searched in: All Years)

Search Results: Conference Papers
 Conference Papers (Available on Advance Programs)  (Sort by: Date Descending)
 Results 21 - 25 of 25 [Previous]  /   
Committee Date Time Place Paper Title / Authors Abstract Paper #
KBSE 2012-11-23
15:05
Ishikawa Kanazawa University An Automatic Use of Model Checking Tool for Validating Data Lifecycle
Shinpei Ogata (Shinshu Univ.), Satoshi Yazawa, Kazuhiko Nishimura (VR), Yoshitaka Aoki, Hirotaka Okuda, Saeko Matsuura (SIT) KBSE2012-56
Model checking techniques are a promised technique to detect errors in a specification efficiently and exhaustively. How... [more] KBSE2012-56
pp.109-114
WIT 2012-01-28
14:30
Aichi Nagoya Institute of Technology Development of simplified repeated resistance training system for severe hemiparetic stroke patient
Yoshifumi Morita, Yuki Iida, Yuki Hiramatsu, Michito Yasukita, Kazunori Yamazaki, Noritaka Sato, Hiroyuki Ukai (Nagoya Inst. Tech.), Yoshiaki Takagi, Yoshitaka Aoki (Sanyo Machine Works), Hirofumi Tanabe, Rumi Tanemura (Kobe Univ.) WIT2011-64
 [more] WIT2011-64
pp.67-72
KBSE 2012-01-23
16:20
Tokyo Kikai-Shinko-Kaikan Bldg. A Method for Detecting Defects of Program Based on Model Checking Techniques for Development Site
Yoshitaka Aoki (NUL), Saeko Matsuura (S.I.T) KBSE2011-60
 [more] KBSE2011-60
pp.43-48
KBSE 2011-03-11
15:55
Oita Beppu International Convention Center A Method for Detecting Unusual Latent Defects in Enterprise System Using Model Checking Techniques -- Verification of Database Lock Problem --
Yoshitaka Aoki, Saeko Matsuura (Shibaura Inst. of Tech) KBSE2010-60
 [more] KBSE2010-60
pp.79-84
KBSE 2009-11-27
14:10
Shimane Shimane Univ. A Method for Detecting Defects in Source Codes Using Model Checking Techniques
Yoshitaka Aoki, Saeko Matsuura (Shibaura Inst. of Tech.) KBSE2009-44
The programs made by the developer who doesn't correctly understand the specifications include unexpected bugs, so that ... [more] KBSE2009-44
pp.79-84
 Results 21 - 25 of 25 [Previous]  /   
Choose a download format for default settings. [NEW !!]
Text format pLaTeX format CSV format BibTeX format
Copyright and reproduction : All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)


[Return to Top Page]

[Return to IEICE Web Page]


The Institute of Electronics, Information and Communication Engineers (IEICE), Japan