IEICE Technical Committee Submission System
Advance Program
Online Proceedings
[Sign in]
Tech. Rep. Archives
 Go Top  Go Back   / [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 

Technical Committee on Software Science (SS) [schedule] [select]
Chair Toshiki Sakabe
Vice Chair Tsuneo Ajisaka
Secretary Katsuhiko Gondow, Keiichirou Kusakari

Technical Committee on Knowledge-Based Software Engineering (KBSE) [schedule] [select]
Chair Takahira Yamaguchi
Vice Chair Atsushi 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
Suzuki Taro
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--mail: is-u 
Announcement Latest information will be presented on the homepage
KBSE Technical Committee on Knowledge-Based Software Engineering (KBSE)   [Latest Schedule]
Contact Address Atsushi Ohnishi (Ritsumeikan Univ.)
E--mail: ohi 

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.

[Presentation and Participation FAQ] (in Japanese)
[Cover and Index of IEICE Technical Report by Issue]

[Return to SS Schedule Page]   /   [Return to KBSE Schedule Page]   /  
 Go Top  Go Back   / [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 

[Return to Top Page]

[Return to IEICE Web Page]

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