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 http://www.doshisha.ac.jp/access/ima_access.html
Contact
Person
Prof. Hirohide Haga
090-1912-1954
Sponsors This conference is co-sponsored by Doshisha University, Faculty of Science and Engineering

  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 Shigeo Kaneda (Doshisha Univ.)
(2) 11:20-12:00 A Basic Study of Cognitive Processing based on Ontology Oriented Architecture Chiaki Kino, Yoshio Suzuki, Hiroshi Takemiya (JAEA)
(3) 12:00-12:40 Goal-oriented modeling method for security requirements 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 Masato Nishimura(F), Atsushi Ohnishi (Ritsumeikan Univ.)
(5) 14:15-14:45 Approximate String Matching Using Markovian Distance 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 --
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 Atsuki Osamura, Syunsuke Yoshioka, Syouhei Fukami, Yoshiyuki Kaminaka, Shigeo Kaneda (Doshisha Univ.)
(8) 16:00-16:30 Supporting Difference Extraction for Merging Similar Methods 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 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 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 Xiaoxi Dong, Shin Nakajima (NII)
Fri, May 28 PM 
13:45 - 16:40
(12) 13:45-14:25 Dynamic Real Time CEGAR Makoto Sakai, Yuji Tanaka, Satoshi Yamane (Kanazawa Univ.)
(13) 14:25-15:05 Symbolic Verification Method of Priced Probabilistic Timed Automaton with Spaces 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 Takaya Shimizu, Masaki Takahashi, Satoshi Yamane (Kanazawa Univ.)
(15) 16:00-16:40 Fundamental Program Structure Patterns of Recursive Programs 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
http://sdlab.sys.wakayama-u.ac.jp/ss/


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