Fri, Nov 30 AM
Chair: Tadashi Ogino
10:30 - 11:50 |
| |
10:30-10:35 |
Opening Address ( 5 min. ) |
| (1) |
10:35-11:00 |
Cloud Transaction Equivalence Evaluation Using CPN |
Kazuki Tanaka, Yoshiyuki Shinkawa (Ryukoku Univ.) |
| (2) |
11:00-11:25 |
Event-B Based Development for Mobile Applications |
Hitoshi Koshika, Yoshiyuki Shinkawa (Ryukoku Univ.) |
| (3) |
11:25-11:50 |
Employment Information Analysis Using Data Mining Techniques
-- An Approach to Reducing the Mismatch between Companies and Students -- |
Shuta Ishijima, Yoshihisa Udagawa (Tokyo Polytechnic University) |
Fri, Nov 30 PM
Chair: Susumu Kurose
13:00 - 16:40 |
| (4) |
13:00-14:00 |
[Special Talk]
The Family of Shunsaku and its Frontoer of Big Data |
Masataka Matsuura, Hiroya Inakoshi (Fujitsu) |
| |
14:00-14:10 |
Break ( 10 min. ) |
| (5) |
14:10-14:35 |
Development of RFP for renewal of information network system at Miyagi University |
Atsushi Matsuda, Hiroki Suguri (Miyagi Univ.) |
| (6) |
14:35-15:00 |
An Approach to Retrieving Similar Source Codes by Control Structure and Method Identifiers |
Yoshihisa Udagawa (Tokyo Polytechnic University) |
| (7) |
15:00-15:25 |
Define, Design and Deploy Scheme in Biz Informatics
-- Part One -- |
Masao J. Matsumoto (UDO) |
| |
15:25-15:35 |
Break ( 10 min. ) |
| (8) |
15:35-16:35 |
[Panel Discussion]
A Scientific Approach on the Business Model
-- Project Report 001 -- |
Tamotsu Noji (Tokai Univ.) |
| |
16:35-16:40 |
Closing Address ( 5 min. ) |
i-u
c