|
|
| Chair |
|
Takahira Yamaguchi |
| Vice Chair |
|
Ａｔｓｕｓｈｉ Ohnishi |
| Secretary |
|
Noriaki Izumi, Mina Akaishi |
| Assistant |
|
Hirohisa Aman, Masato Yaegashi |
|
|
|
| Chair |
|
Toshiki Sakabe |
| Vice Chair |
|
Tsuneo Ajisaka |
| Secretary |
|
Katsuhiko Gondow, Keiichirou Kusakari |
|
Thu, Apr 19 PM
14:20 - 17:15 |
| (1) |
14:20-15:00 |
A Study of Unit Testing with Orthogonal Array
-- A Support Tool for JUnit -- |
Akira Yamada (NEC), Hirohisa Aman, Yuzo Takamatsu (Ehime Univ.) |
| (2) |
15:00-15:40 |
A study of applying formal methods to enterprise architecture of Japanese governmental corporations |
Takahiro Seino, Osamu Takaki, Izumi Takeuti, Koichi Takahashi, Noriaki Izumi (AIST) |
| |
15:40-15:55 |
Break ( 15 min. ) |
| (3) |
15:55-16:35 |
Spectrum Analysis of an Application Domain by using Software Quality Characteristics |
Tomonori Sato, Akira Osada, Naoyuki Kitazawa, Haruhiko Kaiya, Kenji Kaijiri (ShinShu u) |
| (4) |
16:35-17:15 |
Providing Domain Knowledge to System Engineers based on their Knowledge |
Daigo Ozawa, Akira Osada, Naoyuki Kitazawa, Haruhiko Kaiya, Kenji Kaijiri (SU) |
Fri, Apr 20 AM
09:00 - 11:55 |
| (5) |
09:00-09:40 |
The empirical study of unified type requirement engineering |
Shozo Hori (KIT), Takako Nakatani (Tsukuba), Keiichi Katamine, Naoyasu Ubayashi, Masaaki Hashimoto (KIT) |
| (6) |
09:40-10:20 |
A Method of Detecting Security Flaws in Web Sessions through Model Checking |
Ikuya Morikawa, Yuji Yamaoka, Yuko Nakayama (Fujitsu Labs.) |
| |
10:20-10:35 |
Break ( 15 min. ) |
| (7) |
10:35-11:15 |
Change Impact Analysis tool for UML diagrams |
Masayuki Kotani, Takumi Sugai, Koichiro Ochimizu (JAIST) |
| (8) |
11:15-11:55 |
Selecting metrics for effective software quality management using over-sampling method |
Yusuke Sasaki, Seiya Abe, Osamu Mizuno, Tohru Kikuno (Osaka Univ.), Sachie Yoshioka, Yoshiyuki Anan, Mataharu Tanaka (OMRON Software) |
| Contact Address and Latest Schedule Information |
| KBSE |
Technical Committee on Knowledge-Based Software Engineering (KBSE) [Latest Schedule]
|
| Contact Address |
Atsushi Ohnishi (Ritsumeikan Univ.)
E- : oh        i |
| SS |
Technical Committee on Software Science (SS) [Latest Schedule]
|
| Contact Address |
KUSAKARI Keiichirou (Nagoya University)
TEL 052-789-3973
FAX 052-789-3801
E-:    is   -u |
| Announcement |
Latest information will be presented on the homepage
http://www.sakabe.i.is.nagoya-u.ac.jp/ss/ |
Last modified: 2007-04-03 17:54:49
|