| IEICE Technical Committee Submission System Conference Schedule |
Online Proceedings [Sign in] Tech. Rep. Archives |
Technical Committee on Knowledge-Based Software Engineering (KBSE) (Searched in: 2009)
Search Results: Keywords 'from:2009-05-21 to:2009-05-21'
| Committee | Date Time | Place | Paper Title / Authors | Abstract | Paper # | |
| SS, KBSE | 2009-05-21 14:00 |
Akita | Akita University | Aspect oriented requirement extraction procedure and its application of office design Komon Ibe (NTT DATA Co./Kyushu Univ.), Shinobu Saito (NTT DATA Co.)  SS2009-1 KBSE2009-1 |
[more] | SS2009-1 KBSE2009-1 pp.1-6 |
| SS, KBSE | 2009-05-21 14:30 |
Akita | Akita University | Requirement Analysis Technique based on Business Situation and User Dependency Shinobu Saito, Komon Ibe (NTT Data) SS2009-2 KBSE2009-2 |
[more] | SS2009-2 KBSE2009-2 pp.7-11 |
| SS, KBSE | 2009-05-21 15:00 |
Akita | Akita University | An Integrated CASE Tool for Supporting Attributed Goal-Oriented Requirements Analysis Method Motoshi Saeki, Shinpei Hayashi (Tokyo Inst. of Tech.), Haruhiko Kaiya (Shinshu Univ.) SS2009-3 KBSE2009-3 |
This paper presents an integrated supporting tool for requirements analysis using attributed goal graphs. The tool assi... [more] | SS2009-3 KBSE2009-3 pp.13-18 |
| SS, KBSE | 2009-05-21 15:45 |
Akita | Akita University | A Comparing Analysis for Software Analysis Techniques based on activated pattern of cerebral cortex Mikio Ohki, Toshiki Uehara, Haruki Murase (Nippon Inst. of Tech.) SS2009-4 KBSE2009-4 |
This paper analyses software analysis tasks from the viewpoint of brain physiology based on the measurement results atta... [more] | SS2009-4 KBSE2009-4 pp.19-24 |
| SS, KBSE | 2009-05-21 16:15 |
Akita | Akita University | Issues on Analysis Large Dependable System Shuichiro Yamamoto, Masakazu Kanbe (NTT DATA), Shaoying Liu (Hosei Univ.) SS2009-5 KBSE2009-5 |
[more] | SS2009-5 KBSE2009-5 pp.25-30 |
| SS, KBSE | 2009-05-21 16:45 |
Akita | Akita University | Proposal and Implementation of Feature Model Drawing Algorithm Masaaki Hasuo, Tsuneo Nakanishi, Shigeaki Tagashira, Yutaka Arakawa, Kenji Hisazumi, Akira Fukuda (Kyushu Univ.) SS2009-6 KBSE2009-6 |
The feature model can contain hundreds of features, that makes it impossible to be manually organized in an easy-to unde... [more] | SS2009-6 KBSE2009-6 pp.31-36 |
| SS, KBSE | 2009-05-22 09:30 |
Akita | Akita University | A Design Model Based Methodology for Test Case Extraction and Test Data Generation Xiaojing Zhang, Takashi Hoshino (NTT) SS2009-7 KBSE2009-7 |
In terms of software quality assurance, it is necessary to improve the testing process, which ensure that software works... [more] | SS2009-7 KBSE2009-7 pp.37-42 |
| SS, KBSE | 2009-05-22 10:00 |
Akita | Akita University | Modeling and Verification of Web Applications Using Formal Approach Kei Homma (Miyagi Univ.), Kaoru Takahashi (Sendai National Coll. of Tech.), Atsushi Togashi (Miyagi Univ.) SS2009-8 KBSE2009-8 |
The number of web applications handling online transaction is increasing, but verification of the correctness of the we... [more] |
SS2009-8 KBSE2009-8 pp.43-48 |
| SS, KBSE | 2009-05-22 10:30 |
Akita | Akita University | An SOS interpreter with negative premises and an equivalence checker by Maude Jun Ban, Keigo Imai, Shoji Yuen (Nagoya Univ.) SS2009-9 KBSE2009-9 |
This paper presents a general implementation by Maude of labelled transition systems specified by SOS (structural oper... [more] |
SS2009-9 KBSE2009-9 pp.49-54 |
| SS, KBSE | 2009-05-22 11:15 |
Akita | Akita University | Reuse of the estimation model of error-prone module Shinya Watanabe, Haruhiko Kaiya, Kenji Kaijiri (Shinshu Univ.) SS2009-10 KBSE2009-10 |
The well known method of predicting error prone modules is to construct the prediction model by using training data of t... [more] | SS2009-10 KBSE2009-10 pp.55-60 |
| SS, KBSE | 2009-05-22 11:45 |
Akita | Akita University | An Application of Control Chart and Growth Curve Model for Estimating Number of Bugs in Open Source Development Takahiro Ohkochi, Hirohisa Aman (Ehime Univ.) SS2009-11 KBSE2009-11 |
This paper focuses on a growth curve model-based method for estimating the total number of bugs in open source develop... [more] |
SS2009-11 KBSE2009-11 pp.61-66 |
[Return to Top Page]