Thu, Apr 21 PM 13:00 - 17:10 |
(1) |
13:00-13:35 |
Supporting Version Management of Models Described in Diagram |
Takafumi Oda, Motoshi Saeki (Tokyo Inst. of Tech.) |
(2) |
13:35-14:10 |
A proposal for a precious estimate of test coverage metrics ofcomponents on object-oriented framework |
Yuji Sakata, Takashi Okamoto, Kazutoshi Yokoyama, Shigeyuki Matsuda (NTT Data), Hironori Washizaki (NII), Yoshiaki Fukazawa (Waseda univ.) |
(3) |
14:10-14:45 |
Ontology based requirements elicitation method: REO |
Hidetaka Tomoda, Atsushi Ohnishi (Ritsumeikan U.) |
|
14:45-15:00 |
Break ( 15 min. ) |
(4) |
15:00-15:35 |
Design Pattern Detection Using Static and Dynamic Analysis |
Junya Katada, Takashi Kobayashi, Motoshi Saeki (Tokyo Tech) |
(5) |
15:35-16:10 |
Toward an effective fine-grained syntactic and semantic scheme for program analysis |
Atsushi Yoshida, Tsuneo Ajisaka, Naoki Fukuyasu, Naruki Mitsuda (Wakayama Univ.) |
(6) |
16:10-17:10 |
[Invited Talk]
On a simple IT skill standard motivated by real work requirements |
Tsuneo Ajisaka (Wakayama Univ.) |
Fri, Apr 22 AM 10:00 - 13:10 |
(7) |
10:00-10:35 |
How to Extract Goals for Business Domain Analysis? |
Takako Nakatani (S-Lagoon Co.,Ltd.), Terunobu Fujino (InArcadia Cipo.) |
(8) |
10:35-11:10 |
Ontology based Requirements Analysis |
Haruhiko Kaiya (Shishu Univ.), Motoshi Saeki (titech) |
(9) |
11:10-11:45 |
Experimental production of web browser with browsing state restoration function in support of understanding software |
Takaaki Imaeda, Yasuhiro Hayase, Makoto Matsushita, Katsuro Inoue (Osaka Univ.) |
|
11:45-12:00 |
Break ( 15 min. ) |
(10) |
12:00-12:35 |
Mining "Concept Keywords"Technique from Identifiers for Program Understanding |
Masaru Ohba, Katsuhiko Gondow (titech) |
(11) |
12:35-13:10 |
JavaScript Type Checker based on Model Generation Theorem Prover |
Hirotaka Ohkubo, Shinichiro Yamamoto (Aichi Pref. Univ.), Toshiki Sakabe (Nagoya Univ.), Yasuyoshi Inagaki (Aichi Pref. Univ.) |