Fri, Nov 18 AM Room 2201 Chair: Susumu Kurose 10:00 - 12:10 |
|
10:00-10:05 |
Opening Address Akira Horimai ( 5 min. ) |
(1) |
10:05-10:30 |
A Procedure to make WBS at System Development Project |
Akihiro Hayashi (ISM) |
(2) |
10:30-10:55 |
An Integrated Design and Verification Environment from Upstream Design to Model Checking Process
-- Automatic Conversion from UML Descriptions into the Process Definitions and Linear Temporal Logic for SPIN Model Checker -- |
Naoki Miyamoto, Katsumi Wasaki (Shinshu Univ) |
(3) |
10:55-11:20 |
Proposal of Music Therapy Support Model |
Tadashi Ogino (Mitsubishi Electric Information Tech.), Tamotsu Noji, Osamu Mayama (Tokai Univ.), Susumu Kurose (NEC Software Hokuriku) |
(4) |
11:20-11:45 |
A Case Study on a Business Model and its Branding |
Akira Horimai (Figeo) |
(5) |
11:45-12:10 |
To propose continuous evolving model for conceptual model of smart society
-- In reference to the keynote meeting lecture by IPA/SEC integrated project -- |
Kanae Cho |
|
12:10-13:00 |
Lunch ( 50 min. ) |
Fri, Nov 18 Room 2201 Chair: Tamotsu Noji 13:00 - 16:55 |
(6) |
13:00-13:25 |
A Proposal of Mass Data Update Method with Transaction Feature |
Tsukasa Kudo (SIST), Yui Takeda (MDIS), Masahiko Ishino (FUT), Kenji Saotome (Hosei Univ.), Nobuhiro Kataoka (Tokai Univ.) |
(7) |
13:25-14:25 |
[Keynote Address]
The mutual agreement method on the non-function requirements |
Masayuki Kashiwagi (IPA) |
|
14:25-14:35 |
Break ( 10 min. ) |
(8) |
14:35-15:00 |
A study on the problem of measures to trouble and failure in information communication system under disaster |
Megumi Ando, Michinori Hatayama (Kyoto Univ.) |
(9) |
15:00-15:25 |
Proposal of Remote Medical Care Model through INMARSAT Satellite |
Masafumi Chiba, Tamotsu Noji, Shigeki Tanaka, Kayo Ubukata, Yasuhiro Fujita, Toru Kaizu (Tokai Univ.), Hiroshi Senda (JDC) |
(10) |
15:25-15:50 |
Considerations on Conceptual System Model in Feeling Environment
-- Implementation of the Medical Care Records with Negative Feeling -- |
Tamotsu Noji (Tokai Univ.) |
|
15:50-16:00 |
Break ( 10 min. ) |
(11) |
16:00-16:25 |
Quantitative Evaluation of Organizational Communication Improvement Using Business Microscope |
Satomi Tsuji, Nobuo Sato, Fumiko Beniyama, Norihiko Moriwaki, Kazuo Yano (Hitachi) |
(12) |
16:25-16:50 |
Consistency Analysis between UML State Machine and Activity Diagrams |
Masato Nomura, Yoshiyuki Shinkawa (Ryukoku Univ.) |
|
16:50-16:55 |
Closing Address ( 5 min. ) |