|
|
| 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.) |
|
|
|
| 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.) |
|
| 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
|
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) |
| |
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 Talk | Each speech will have 30 minutes for presentation and 10 minutes for discussion. |
| Young Researcher's Talk | Each speech will have 20 minutes for presentation and 10 minutes for discussion. |
| Contact Address and Latest Schedule Information |
| 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/ |
| KBSE |
Technical Committee on Knowledge-Based Software Engineering (KBSE) [Latest Schedule]
|
| Contact Address |
Hirohide Haga (Doshisha University)
E-: h    s |
Last modified: 2010-03-22 15:40:53
|