Thu, Nov 25 PM 13:00 - 15:00 |
(1) |
13:00-13:30 |
Specification and Verification of Digital Logic based on Automaton Model |
Kazuhiro Yamanaka, Satoru Izumi, Yasushi Kato, Kaoru Takahashi (SNCT) |
(2) |
13:30-14:00 |
Study on a Testing Method for Java Programs with UML Diagrams |
Yusuke Yabuya, Kiyohito Shimomura, Tetsuro Katayama (U. of Miyazaki) |
(3) |
14:00-14:30 |
Verification method of scenarios with rules based on pre-conditions and post-conditions |
Tatsuya Toyama, Atsushi Ohnishi (Ritsumeikan Univ.) |
(4) |
14:30-15:00 |
A supporting method of generating Alternative and Exception scenarios from scenario |
Kouji Kitamoto, Hiroya Itoga, Atsushi Ohnishi (Ritsumeikan Univ.) |
|
15:00-15:30 |
Break ( 30 min. ) |
Thu, Nov 25 PM 15:30 - 17:30 |
(5) |
15:30-16:00 |
Integration technique of table type similar data on WEB |
Chiaki Yoshimura (Univ. of Yamanashi/FITC), Yoshimichi Watanabe (Univ. of Yamanashi) |
(6) |
16:00-16:30 |
Reconstruction method of an XBRL document corresponding to revision of taxonomy |
Yohei Yahata, Yoshimichi Watanabe (UY) |
(7) |
16:30-17:00 |
Evaluating the Cost of Program Hand Simulation Based on the Number and Variance of Variable Updates |
Takahisa Ishiguro, Hiroshi Igaki, Masahide Nakamura, Akito Monden, Ken-ichi Matsumoto (NAIST) |
(8) |
17:00-17:30 |
Simulating Fusion Transformation by Program-Generation Transformation |
Masanori Nagashima, Masahiko Sakai, Naoki Nishida, Toshiki Sakabe, Keiichirou Kusakari (Nagoya Univ.) |
Fri, Nov 26 AM 09:30 - 12:00 |
(9) |
09:30-10:00 |
Support Mechanism of Software Self-regulation |
Katsumasa Watanabe, Akihiro Inoue, Youhei Yamada, Masaki Nakanishi, Shigeru Yamashita (NAIST) |
(10) |
10:00-10:30 |
An approach to the XML document transformation using attribute grammars derived from its schemas |
Takeshi Hagiwara, Masatoshi Iioka (Niigata Univ.) |
(11) |
10:30-11:00 |
Prediction of Runaway Software Projects with Multiple Classification Methods
-- Comparison of Accuracy among Classification Methods -- |
Kouta Kudou, Osamu Mizuno, Tohru Kikuno (Osaka Univ.) |
(12) |
11:00-11:30 |
Modeling Web Applications with State Machines |
Masayo Osaki, Teruhiko Teraoka, Hideo Nakata (Mitsubishi Electric Corp.) |
(13) |
11:30-12:00 |
A Large-Scale Distributed File System with Flexible Access Control and Authority Delegation |
Hiroyoshi Kohinata (Yamanashi Univ.) |
|
12:00-13:00 |
Lunch ( 60 min. ) |
Fri, Nov 26 PM 13:00 - 15:00 |
(14) |
13:00-13:30 |
A fast collision detection using bounding volume |
Kazuhiro Ikegaya, Hidetoshi Ando (Univ. of Yamanashi) |
(15) |
13:30-14:00 |
An encrypted mailing list system with a certificate management function |
Yusuke Kume (Yamanashi Univ.) |
(16) |
14:00-14:30 |
An Electronic Guidebook for Support of Software Process Management Data Collection and Utilization |
Hiroshi Murakami, Hajimu Iida, Ken-ichi Matsumoto (NAIST) |
(17) |
14:30-15:00 |
A Support Method of Web Application Development with Relationship Specification of Model 2 Architecture Components |
Tomoaki Ishiyama (Waseda Univ.), Kouichi Ono (IBM Japan), Yoshiaki Fukazawa (Waseda Univ.) |