|
Chair |
|
Motoshi Saeki |
Vice Chair |
|
Toshiki Sakabe |
Secretary |
|
Katsuhiko Gondow, Makoto Matsushita |
|
Conference Date |
Thu, Apr 21, 2005 13:00 - 17:10
Fri, Apr 22, 2005 10:00 - 13:10 |
Topics |
general |
Conference Place |
|
Contact Person |
Prof. Tsuneo Ajisaka
0739-26-4111 (Big-Uの電話番号) |
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.) |
Announcement for Speakers |
General Talk | Each speech will have 23 minutes for presentation and 12 minutes for discussion. |
Invited Talk | Each speech will have 30 minutes for presentation and 30 minutes for discussion. |
Contact Address and Latest Schedule Information |
SS |
Technical Committee on Software Science (SS) [Latest Schedule]
|
Contact Address |
Katsuhiko Gondow (Tokyo Institute of Technology)
TEL 03-5734-2810
FAX 03-5734-2772
E-: nw |
Announcement |
Latest information will be presented on the homepage
http://www.sde.cs.titech.ac.jp/ss/ |
Last modified: 2010-10-12 19:27:05
|