|
Chair |
|
Takahira Yamaguchi |
Vice Chair |
|
Atsushi 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-: ohi |
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
|