| 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) 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) 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.) DATE: Thu, May 27, 2010 10:40 - 16:30 Fri, May 28, 2010 10:30 - 16:40 PLACE: (http://www.doshisha.ac.jp/access/ima_access.html. Prof. Hirohide Haga. 090-1912-1954) TOPICS: General, Freshers' session ----- 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) ----- 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.) ----- 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.) ----- 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 # Information for speakers General Talk will have 30 minutes for presentation and 10 minutes for discussion. Young Researcher's Talk will have 20 minutes for presentation and 10 minutes for discussion. # CONFERENCE SPONSORS: - This conference is co-sponsored by Doshisha University, Faculty of Science and Engineering === Technical Committee on Knowledge-Based Software Engineering (KBSE) === # FUTURE SCHEDULE: Thu, Jul 29, 2010 - Fri, Jul 30, 2010: Kushiro Public University of Economics [Thu, May 20], Topics: General topks # SECRETARY: Hirohide Haga (Doshisha University) E-mail: h        s === Technical Committee on Software Science (SS) === # FUTURE SCHEDULE: Thu, Aug 5, 2010 - Fri, Aug 6, 2010: Asahikawa Shimin-Bunka-Kaikan (Civic Culture Hall) [Sun, Jun 20], Topics: General # SECRETARY: Naruki Mitsuda (Wakayama Univ.) TEL 073-457-8433 FAX 073-457-8434 E-mail:  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.
[Cover and Index of IEICE Technical Report by Issue]
[Presentation and Participation FAQ] (in Japanese)
[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]