IEICE Technical Report

Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380

Knowledge-Based Software Engineering

Workshop Date : 2007-04-19 - 2007-04-20 / Issue Date : 2007-04-12

KBSE2007-1
A Study of Unit Testing with Orthogonal Array -- A Support Tool for JUnit --
Akira Yamada (NEC), Hirohisa Aman, Yuzo Takamatsu (Ehime Univ.)
pp. 1 - 6

KBSE2007-2
A study of applying formal methods to enterprise architecture of Japanese governmental corporations
Takahiro Seino, Osamu Takaki, Izumi Takeuti, Koichi Takahashi, Noriaki Izumi (AIST)
pp. 7 - 12

KBSE2007-3
Spectrum Analysis of an Application Domain by using Software Quality Characteristics
Tomonori Sato, Akira Osada, Naoyuki Kitazawa, Haruhiko Kaiya, Kenji Kaijiri (ShinShu u)
pp. 13 - 18

KBSE2007-4
Providing Domain Knowledge to System Engineers based on their Knowledge
Daigo Ozawa, Akira Osada, Naoyuki Kitazawa, Haruhiko Kaiya, Kenji Kaijiri (SU)
pp. 19 - 24

KBSE2007-5
The empirical study of unified type requirement engineering
Shozo Hori (KIT), Takako Nakatani (Tsukuba), Keiichi Katamine, Naoyasu Ubayashi, Masaaki Hashimoto (KIT)
pp. 25 - 28

KBSE2007-6
A Method of Detecting Security Flaws in Web Sessions through Model Checking
Ikuya Morikawa, Yuji Yamaoka, Yuko Nakayama (Fujitsu Labs.)
pp. 29 - 34

KBSE2007-7
Change Impact Analysis tool for UML diagrams
Masayuki Kotani, Takumi Sugai, Koichiro Ochimizu (JAIST)
pp. 35 - 39

KBSE2007-8
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)
pp. 41 - 46

Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.

The Institute of Electronics, Information and Communication Engineers (IEICE), Japan