|
|
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 |
2013-03-14 15:30 |
Tokyo |
Shibaura Institute of Technology |
Model checking potential deadlocks of DB transactions Takuya Saruwatari, Hideaki Tsukamoto, Shingo Kamiya, Shunsuke Miyata (NTT) KBSE2012-76 |
Improvement of IT system’s dependability using formal methods is expected. In a typical IT system development, formal me... [more] |
KBSE2012-76 pp.43-48 |
KBSE |
2006-03-14 13:00 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
An Environment for Model Driven Development Tomoyuki Azuma, Shingo Kamiya (NTTDATA), Naohiro Oohira, Makoto Matsushita, Shinji Kusumoto, Katsuro Inoue (Osaka Univ.) |
[more] |
KBSE2005-47 pp.1-6 |
KBSE |
2005-09-12 14:20 |
Tokyo |
Kikai-Shinko-Kaikan Bldg |
Software Model Traceability based on metamodel Tomoyuki Azuma, Shingo Kamiya (NTT DATA), Naohiro Oohira, Makoto Matsushita, Shinji Kusumoto, Katsuro Inoue (Osaka Univ) |
[more] |
KBSE2005-20 pp.25-30 |
KBSE |
2005-07-26 12:10 |
Ehime |
Ehime University |
Supporting Analysis Class Modeling with Ontologies Shingo Kamiya, Masahiko Ishibashi, Takeshi Morita (Keio Univ.), Naoki Fukuta (Shizuoka Univ.), Tadashi Iijima, Takahira Yamaguchi (Keio Univ.) |
[more] |
KBSE2005-15 pp.25-30 |
KBSE |
2005-03-14 10:50 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
A Software Configuration Management Method based on Meta Object Facility Repositories Yusuke Yamashita, Tomoyuki Azuma, Hideki Oka, Shingo Kamiya (NTT DATA) |
[more] |
KBSE2004-47 pp.13-18 |
|
|
|
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]
|