| IEICE Technical Committee Submission System Conference Schedule |
Online Proceedings [Sign in] Tech. Rep. Archives |
Technical Committee on Software Science (SS) (Searched in: 2007)
Search Results: Keywords 'from:2007-04-19 to:2007-04-19'
| Committee | Date Time | Place | Paper Title / Authors | Abstract | Paper # | |
| SS, KBSE | 2007-04-19 14:20 |
Fukushima | Univ. of Aizu | A Study of Unit Testing with Orthogonal Array
-- A Support Tool for JUnit -- Akira Yamada (NEC), Hirohisa Aman, Yuzo Takamatsu (Ehime Univ.)  SS2007-1 KBSE2007-1 |
In recent years, the orthogonal array has been a key topic to enhance software testing. The orthogonal array can be use... [more] |
SS2007-1 KBSE2007-1 pp.1-6 |
| SS, KBSE | 2007-04-19 15:00 |
Fukushima | Univ. of Aizu | A study of applying formal methods to enterprise architecture of Japanese governmental corporations Takahiro Seino, Osamu Takaki, Izumi Takeuti, Koichi Takahashi, Noriaki Izumi (AIST) SS2007-2 KBSE2007-2 |
AIST has been working on the development of the next-term information system for three years. The system is developed b... [more] | SS2007-2 KBSE2007-2 pp.7-12 |
| SS, KBSE | 2007-04-19 15:55 |
Fukushima | Univ. of Aizu | Spectrum Analysis of an Application Domain by using Software Quality Characteristics Tomonori Sato, Akira Osada, Naoyuki Kitazawa, Haruhiko Kaiya, Kenji Kaijiri (ShinShu u) SS2007-3 KBSE2007-3 |
To make a good requirement specifications, it is important to understand domain characteristics and elicit the tacit req... [more] | SS2007-3 KBSE2007-3 pp.13-18 |
| SS, KBSE | 2007-04-19 16:35 |
Fukushima | Univ. of Aizu | Providing Domain Knowledge to System Engineers based on their Knowledge Daigo Ozawa, Akira Osada, Naoyuki Kitazawa, Haruhiko Kaiya, Kenji Kaijiri (SU) SS2007-4 KBSE2007-4 |
In system development, the knowledge of a target business is very important factor. However, parts of suitable knowledge... [more] | SS2007-4 KBSE2007-4 pp.19-24 |
| SS, KBSE | 2007-04-20 09:00 |
Fukushima | Univ. of Aizu | The empirical study of unified type requirement engineering Shozo Hori (KIT), Takako Nakatani (Tsukuba), Keiichi Katamine, Naoyasu Ubayashi, Masaaki Hashimoto (KIT) SS2007-5 KBSE2007-5 |
We study the mechanism of controlling the process of requirements changes of software development. We analyze the requir... [more] | SS2007-5 KBSE2007-5 pp.25-28 |
| SS, KBSE | 2007-04-20 09:40 |
Fukushima | Univ. of Aizu | A Method of Detecting Security Flaws in Web Sessions through Model Checking Ikuya Morikawa, Yuji Yamaoka, Yuko Nakayama (Fujitsu Labs.) SS2007-6 KBSE2007-6 |
We propose a method to find security flaws related to sessions in Web applications with model checking. In this method, ... [more] | SS2007-6 KBSE2007-6 pp.29-34 |
| SS, KBSE | 2007-04-20 10:35 |
Fukushima | Univ. of Aizu | Change Impact Analysis tool for UML diagrams Masayuki Kotani, Takumi Sugai, Koichiro Ochimizu (JAIST) SS2007-7 KBSE2007-7 |
In this paper, we propose an impact analysis tool which can automatic generation the dependency relationships among UML ... [more] | SS2007-7 KBSE2007-7 pp.35-39 |
| SS, KBSE | 2007-04-20 11:15 |
Fukushima | Univ. of Aizu | 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) SS2007-8 KBSE2007-8 |
In software development, managing projects based on software metrics is important to assure software quality.Although ... [more] |
SS2007-8 KBSE2007-8 pp.41-46 |
[Return to Top Page]