Information and Systems-Knowledge-Based Software Engineering(Date:2007/04/12)

Presentation
表紙

,  

[Date]2007/4/12
[Paper #]
目次

,  

[Date]2007/4/12
[Paper #]
A Study of Unit Testing with Orthogonal Array : A Support Tool for JUnit

Akira YAMADA,  Hirohisa AMAN,  Yuzo TAKAMATSU,  

[Date]2007/4/12
[Paper #]SS2007-1,KBSE2007-1
A study of applying formal methods to enterprise architecture of Japanese governmental corporations

Takahiro SEINO,  Osamu TAKAKI,  Izumi TAKEUTI,  Koichi TAKAHASHI,  Noriaki IZUMI,  

[Date]2007/4/12
[Paper #]SS2007-2,KBSE2007-2
Spectrum Analysis of an Application Domain by using Quality Characteristics

Tomonori SATO,  Akira OSADA,  Naoyuki KITAZAWA,  Haruhiko KAIYA,  Kenji KAIJIRI,  

[Date]2007/4/12
[Paper #]SS2007-3,KBSE2007-3
Providing Domain Knowledge to System Engineers based on their Knowledge

Daigo OZAWA,  Akira OSADA,  Naoyuki KITAZAWA,  Haruhiko KAIYA,  Kenji KAIJIRI,  

[Date]2007/4/12
[Paper #]SS2007-4,KBSE2007-4
The Empirical Study of Integrated Requirements Engineering

Shozo HORI,  Takako NAKATANI,  Keiichi Katamine,  Naoyasu UBAYASHI,  Masaaki HASHIMOTO,  

[Date]2007/4/12
[Paper #]SS2007-5,KBSE2007-5
A Method of Detecting Security Flaws in Web Sessions through Model Checking

Ikuya MORIKAWA,  Yuji YAMAOKA,  Yuko NAKAYAMA,  

[Date]2007/4/12
[Paper #]SS2007-6,KBSE2007-6
Change Impact Analysis tool for UML diagrams

Masayuki KOTANI,  Takumi SUGAI,  Koichiro OCHIMIZU,  

[Date]2007/4/12
[Paper #]SS2007-7,KBSE2007-7
Selecting metrics for effective software quality management using over-sampling method

Yusuke SASAKI,  Seiya ABE,  Osamu MIZUNO,  Tohru KIKUNO,  Sachie YOSHIOKA,  Yoshiyuki ANAN,  Mataharu TANAKA,  

[Date]2007/4/12
[Paper #]SS2007-8,KBSE2007-8
複写される方へ

,  

[Date]2007/4/12
[Paper #]
奥付

,  

[Date]2007/4/12
[Paper #]