|
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 |