|
|
| 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- :  n w      |
| 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
|