|
|
All Technical Committee Conferences (Searched in: All Years)
|
|
Search Results: Conference Papers |
Conference Papers (Available on Advance Programs) (Sort by: Date Descending) |
|
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 |
|
|
|
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]
|