|
|
| Chair |
|
Toshiki Sakabe |
| Vice Chair |
|
Tsuneo Ajisaka |
| Secretary |
|
Katsuhiko Gondow, Keiichirou Kusakari |
|
|
|
| Chair |
|
Takahira Yamaguchi |
| Vice Chair |
|
Ａｔｓｕｓｈｉ Ohnishi |
| Secretary |
|
Noriaki Izumi, Mina Akaishi |
| Assistant |
|
Hirohisa Aman, Masato Yaegashi |
|
| Conference Date |
Thu, Apr 19, 2007 14:20 - 17:15
Fri, Apr 20, 2007 09:00 - 11:55 |
| Topics |
general |
| Conference Place |
The University of Aizu |
| Transportation Guide |
http://www.u-aizu.ac.jp/official/introduction/intr08_e.html |
Contact
Person |
Suzuki Taro |
Copyright
and
reproduction |
All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
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 --  SS2007-1 KBSE2007-1 |
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 SS2007-2 KBSE2007-2 |
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 SS2007-3 KBSE2007-3 |
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 SS2007-4 KBSE2007-4 |
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 SS2007-5 KBSE2007-5 |
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 SS2007-6 KBSE2007-6 |
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 SS2007-7 KBSE2007-7 |
Masayuki Kotani, Takumi Sugai, Koichiro Ochimizu (JAIST) |
| (8) |
11:15-11:55 |
Selecting metrics for effective software quality management using over-sampling method SS2007-8 KBSE2007-8 |
Yusuke Sasaki, Seiya Abe, Osamu Mizuno, Tohru Kikuno (Osaka Univ.), Sachie Yoshioka, Yoshiyuki Anan, Mataharu Tanaka (OMRON Software) |
| Contact Address and Latest Schedule Information |
| 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/ |
| KBSE |
Technical Committee on Knowledge-Based Software Engineering (KBSE) [Latest Schedule]
|
| Contact Address |
Atsushi Ohnishi (Ritsumeikan Univ.)
E-: oh     i |
Last modified: 2007-04-03 17:54:49
|