===============================================
Technical Committee on Knowledge-Based Software Engineering (KBSE)
Chair: Takahira Yamaguchi Vice Chair: Atsushi Ohnishi
Secretary: Noriaki Izumi, Mina Akaishi
Assistant: Hirohisa Aman, Masato Yaegashi
===============================================
Technical Committee on Software Science (SS)
Chair: Toshiki Sakabe Vice Chair: Tsuneo Ajisaka
Secretary: Katsuhiko Gondow, Keiichirou Kusakari
DATE:
Thu, Apr 19, 2007 14:20 - 17:15
Fri, Apr 20, 2007 09:00 - 11:55
PLACE:
The University of Aizu(http://www.u-aizu.ac.jp/official/introduction/intr08_e.html. Suzuki Taro)
TOPICS:
general
----------------------------------------
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)
----- 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.)
----- 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)
=== Technical Committee on Knowledge-Based Software Engineering (KBSE) ===
# FUTURE SCHEDULE:
Tue, Jul 24, 2007: [Fri, May 25]
# SECRETARY:
Atsushi Ohnishi (Ritsumeikan Univ.)
E-mail: oh![](/ken/images/new/in.gif) ![](/ken/images/new/1111awed.gif) ![](/ken/images/new/ta.gif) ![](/ken/images/new/0507vcui.gif) ![](/ken/images/new/tod.gif) ![](/ken/images/new/1217ir.bmp) ![](/ken/images/new/ust.gif) i![](/ken/images/new/pjca.gif)
=== Technical Committee on Software Science (SS) ===
# FUTURE SCHEDULE:
Thu, Jun 21, 2007 - Fri, Jun 22, 2007: JAIST [Fri, Apr 20], Topics: General
# SECRETARY:
KUSAKARI Keiichirou (Nagoya University)
TEL 052-789-3973
FAX 052-789-3801
E-mail: ![](/ken/images/new/1111uqde.gif) ![](/ken/images/new/1111uqds.gif) ![](/ken/images/new/1111vauy.gif) ![](/ken/images/new/1217ir.bmp) is![](/ken/images/new/tod.gif) ![](/ken/images/new/an.gif) ![](/ken/images/new/1217og.bmp) -u![](/ken/images/new/pjca.gif)
# 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
|
Notification: Mail addresses are partially hidden against SPAM.
|