Mon, Jan 25 PM 13:30 - 15:00 |
(1) |
13:30-14:15 |
A Proposal of Cohesion Metric Focusing on Distance Between Statements in Program Dependency Graph and Its Application to Bug Prediction |
Kenta Kato, Hirohisa Aman, Minoru Kawahara (Ehime Univ.) |
(2) |
14:15-15:00 |
Verification of Temporal Constraints in Business Process Specified by Object Oriented Petri-Nets |
Ryohei Hata, Tadashi Iijima (Keio Univ.) |
|
15:00-15:15 |
Break ( 15 min. ) |
Mon, Jan 25 PM 15:15 - 17:30 |
(3) |
15:15-16:00 |
Design and Implementation of an Architecture for Authorization Control based on a Context-Aware Security Model |
Satoshi Kido, Tadashi Iijima (Keio Univ.) |
(4) |
16:00-16:45 |
Code clone detecting method based on the degree of tree structure similarity |
Ryota Ami, Hirohide Haga (Doshisha Univ.) |
(5) |
16:45-17:30 |
Conception of Usability Evaluation Support for Model-Driven Development |
Shinpei Ogata (Shinshu Univ.) |
Tue, Jan 26 AM 11:30 - 13:45 |
(6) |
11:30-12:15 |
Modeling and Implementation of Human Behavior Planning for Indoor Multi-Agent Evacuation Simulation |
Takatoshi Iwasa, Tadashi Iijima (Keio Univ.) |
(7) |
12:15-13:00 |
Interpolation and Composition of Basic Behaviours for Visualizing of a Multi-Agent Evacuation Simulation |
Yuta Kaneko, Tadashi Iijima (Keio Univ.) |
(8) |
13:00-13:45 |
Scenario Descriptions and their Visualization for Psychological Experiments and Experience-oriented Evacuation Trainings in a Virtual Reality Space |
Koki Takanami, Tadashi Iijima (Keio Univ.) |
|
13:45-14:00 |
Break ( 15 min. ) |
Tue, Jan 26 PM 14:00 - 14:00 |