| IEICE Technical Committee Submission System Advance Program |
Online Proceedings [Sign in] Tech. Rep. Archives |
| Go Top | Go Back | Prev KBSE Conf / Next KBSE Conf | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
|
=============================================== Technical Committee on Knowledge-Based Software Engineering (KBSE) Chair: Takahira Yamaguchi Vice Chair: Ａｔｓｕｓｈｉ 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         i === 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:    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 |
Notification: Mail addresses are partially hidden against SPAM.
[Download Paper's Information (in Japanese)] <-- Press download button after click here.
[Cover and Index of IEICE Technical Report by Issue]
[Presentation and Participation FAQ] (in Japanese)
[Return to SS Schedule Page] / [Return to KBSE Schedule Page] /
| Go Top | Go Back | Prev KBSE Conf / Next KBSE Conf | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
[Return to Top Page]