IEICE Technical Committee Submission System
Advance Program
Online Proceedings
[Sign in]
Tech. Rep. Archives
 Go Top  Go Back   Prev KBSE Conf / Next KBSE Conf [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 

Technical Committee on Knowledge-Based Software Engineering (KBSE) [schedule] [select]
Chair Takako Nakatani (Univ. of Tsukuba)
Vice Chair Saeko Matsuura (Shibaura Inst. of Tech.)
Secretary Hirohide Haga (Doshisha Univ.), Keiichi Katamine (Kyushu Inst. of Tech.)
Assistant Hirohisa Aman (Ehime Univ.), Junko Shirogane (Tokyo Woman's Christian Univ.)

Technical Committee on Software Science (SS) [schedule] [select]
Chair Hiroyuki Seki (NAIST)
Vice Chair Shin Nakajima (NII)
Secretary Yoshiaki Takata (Kochi Univ. of Tech.), Naruki Mitsuda (Wakayama Univ.)
Assistant Hironori Washizaki (Waseda Univ.)

Conference Date Thu, May 27, 2010 10:40 - 16:30
Fri, May 28, 2010 10:30 - 16:40
Topics General, Freshers' session 
Conference Place  
Transportation Guide
Prof. Hirohide Haga
Sponsors This conference is co-sponsored by Doshisha University, Faculty of Science and Engineering
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)

  10:30-10:40 Opening Address ( 10 min. )
Thu, May 27 AM 
10:40 - 12:40
(1) 10:40-11:20 A Re-definition of "Conceptual Data Modeling" from the Viewpoint of Pragmatism SS2010-1 KBSE2010-1 Shigeo Kaneda (Doshisha Univ.)
(2) 11:20-12:00 A Basic Study of Cognitive Processing based on Ontology Oriented Architecture SS2010-2 KBSE2010-2 Chiaki Kino, Yoshio Suzuki, Hiroshi Takemiya (JAEA)
(3) 12:00-12:40 Goal-oriented modeling method for security requirements SS2010-3 KBSE2010-3 Masue Shiba, Naokazu Sasaki (Toshiba Solutions Corp.), Kenji Taguchi (AIST), Nobukazu Yoshioka (NII)
  12:40-13:45 Lunch Break ( 65 min. )
Thu, May 27 PM 
13:45 - 16:30
(4) 13:45-14:15 Scenario generation method using scenario parts SS2010-4 KBSE2010-4 Masato Nishimura(F), Atsushi Ohnishi (Ritsumeikan Univ.)
(5) 14:15-14:45 Approximate String Matching Using Markovian Distance SS2010-5 KBSE2010-5 Akifumi Katsumata (F), Takao Miura (Hosei Univ.)
(6) 14:45-15:15 Proposal of the Integrated Software Testing Support Environment based on the XML-based source code representation
-- (1) Implementation of mutant operators for mutation testing --
SS2010-6 KBSE2010-6
Akihisa Suehiro, Ryota Sasaki, Hirohide Haga (Doshisha Univ.)
  15:15-15:30 Break ( 15 min. )
(7) 15:30-16:00 Knowledge Representation and its Implementation of a Shared System based on the Hierarchy of Tax Practice SS2010-7 KBSE2010-7 Atsuki Osamura, Syunsuke Yoshioka, Syouhei Fukami, Yoshiyuki Kaminaka, Shigeo Kaneda (Doshisha Univ.)
(8) 16:00-16:30 Supporting Difference Extraction for Merging Similar Methods SS2010-8 KBSE2010-8 Tomoo Masai, Norihiro Yoshida, Makoto Matsushita, Katsuro Inoue (Osaka Univ.)
Fri, May 28 AM 
10:30 - 12:30
(9) 10:30-11:10 A Proposal for Goal-oriented business planning with patterns SS2010-9 KBSE2010-9 Takuya Saruwatari (NTTDATA), Kenji Taguchi (NII), Shinobu Saito (NTTDATA), Shuichiro Yamamoto (Nagoya Univ.)
(10) 11:10-11:50 Selection Criteria for Allocating Requirements to IT Functions and Operations SS2010-10 KBSE2010-10 Noboru Hattori (NTT DATA/Wakayama Univ.), Tsuneo Ajisaka (Wakayama Univ.), Shuichiro Yamamoto (Nagoya Univ.)
(11) 11:50-12:30 Rewriting Logic Approach to Separating Policy Rules from Behavioral Specification SS2010-11 KBSE2010-11 Xiaoxi Dong, Shin Nakajima (NII)
Fri, May 28 PM 
13:45 - 16:40
(12) 13:45-14:25 Dynamic Real Time CEGAR SS2010-12 KBSE2010-12 Makoto Sakai, Yuji Tanaka, Satoshi Yamane (Kanazawa Univ.)
(13) 14:25-15:05 Symbolic Verification Method of Priced Probabilistic Timed Automaton with Spaces SS2010-13 KBSE2010-13 Katsuya Hatanaka, Hiroshi Kamazawa, Satoshi Yamane (Kanazawa Univ.)
  15:05-15:20 Break ( 15 min. )
(14) 15:20-16:00 Implementation and Evaluation of Probabilistic Timed Real-Example Guided Abstraction Refinement SS2010-14 KBSE2010-14 Takaya Shimizu, Masaki Takahashi, Satoshi Yamane (Kanazawa Univ.)
(15) 16:00-16:40 Fundamental Program Structure Patterns of Recursive Programs SS2010-15 KBSE2010-15 Masanori Ohdan (Shiname Univ./NST), Tadamasa Satou

Announcement for Speakers
General TalkEach speech will have 30 minutes for presentation and 10 minutes for discussion.
Young Researcher's TalkEach speech will have 20 minutes for presentation and 10 minutes for discussion.

Contact Address and Latest Schedule Information
KBSE Technical Committee on Knowledge-Based Software Engineering (KBSE)   [Latest Schedule]
Contact Address Hirohide Haga (Doshisha University)
E-: hs 
SS Technical Committee on Software Science (SS)   [Latest Schedule]
Contact Address Naruki Mitsuda (Wakayama Univ.)
TEL 073-457-8433
FAX 073-457-8434
E-: n-u 
Announcement Latest information will be presented on the homepage

Last modified: 2010-03-22 15:40:53

Notification: Mail addresses are partially hidden against SPAM.

[Download Paper's Information (in Japanese)] <-- Press download button after click here.

[Presentation and Participation FAQ] (in Japanese)
[Cover and Index of IEICE Technical Report by Issue]

[Return to SS Schedule Page]   /   [Return to KBSE Schedule Page]   /  
 Go Top  Go Back   Prev KBSE Conf / Next KBSE Conf [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 

[Return to Top Page]

[Return to IEICE Web Page]

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