| IEICE Technical Committee Submission System Conference Schedule |
Online Proceedings [Sign in] Tech. Rep. Archives |
Technical Committee on Knowledge-Based Software Engineering (KBSE) (Searched in: 2010)
Search Results: Keywords 'from:2010-05-27 to:2010-05-27'
| Committee | Date Time | Place | Paper Title / Authors | Abstract | Paper # | |
| KBSE, SS | 2010-05-27 10:40 |
Kyoto | Doshisha University, Imadegawa Campus | A Re-definition of "Conceptual Data Modeling" from the Viewpoint of Pragmatism Shigeo Kaneda (Doshisha Univ.)  SS2010-1 KBSE2010-1 |
Most software design methodologies were born in the United States. Especially, the "modeling" in requirement analysis is... [more] | SS2010-1 KBSE2010-1 pp.1-8 |
| KBSE, SS | 2010-05-27 11:20 |
Kyoto | Doshisha University, Imadegawa Campus | A Basic Study of Cognitive Processing based on Ontology Oriented Architecture Chiaki Kino, Yoshio Suzuki, Hiroshi Takemiya (JAEA) SS2010-2 KBSE2010-2 |
Ontology Oriented Architecture (OOA) has been proposed to actualize an annotation system which is able to extract meani... [more] |
SS2010-2 KBSE2010-2 pp.9-14 |
| KBSE, SS | 2010-05-27 12:00 |
Kyoto | Doshisha University, Imadegawa Campus | Goal-oriented modeling method for security requirements Masue Shiba, Naokazu Sasaki (Toshiba Solutions Corp.), Kenji Taguchi (AIST), Nobukazu Yoshioka (NII) SS2010-3 KBSE2010-3 |
In the upper process of the system development, it is important to set the problem of security, and to define the securi... [more] | SS2010-3 KBSE2010-3 pp.15-20 |
| KBSE, SS | 2010-05-27 13:45 |
Kyoto | Doshisha University, Imadegawa Campus | Scenario generation method using scenario parts Masato Nishimura(F), Atsushi Ohnishi (Ritsumeikan Univ.) SS2010-4 KBSE2010-4 |
In scenario based software requirements elicitation, a lot of scenarios should be written. We propose a scenario generat... [more] | SS2010-4 KBSE2010-4 pp.21-26 |
| KBSE, SS | 2010-05-27 14:15 |
Kyoto | Doshisha University, Imadegawa Campus | Approximate String Matching Using Markovian Distance Akifumi Katsumata (F), Takao Miura (Hosei Univ.) SS2010-5 KBSE2010-5 |
[more] | SS2010-5 KBSE2010-5 pp.27-32 |
| KBSE, SS | 2010-05-27 14:45 |
Kyoto | Doshisha University, Imadegawa Campus | Proposal of the Integrated Software Testing Support Environment based on the XML-based source code representation
-- (1) Implementation of mutant operators for mutation testing -- Akihisa Suehiro, Ryota Sasaki, Hirohide Haga (Doshisha Univ.) SS2010-6 KBSE2010-6 |
We propose the Integrated Software Testing Support Environment(IST) based on the XML-based source code representation of... [more] | SS2010-6 KBSE2010-6 pp.33-38 |
| KBSE, SS | 2010-05-27 15:30 |
Kyoto | Doshisha University, Imadegawa Campus | Knowledge Representation and its Implementation of a Shared System based on the Hierarchy of Tax Practice Atsuki Osamura, Syunsuke Yoshioka, Syouhei Fukami, Yoshiyuki Kaminaka, Shigeo Kaneda (Doshisha Univ.) SS2010-7 KBSE2010-7 |
Presently, each local government procures a unique local tax practice information system. This application architecture ... [more] | SS2010-7 KBSE2010-7 pp.39-44 |
| KBSE, SS | 2010-05-27 16:00 |
Kyoto | Doshisha University, Imadegawa Campus | Supporting Difference Extraction for Merging Similar Methods Tomoo Masai, Norihiro Yoshida, Makoto Matsushita, Katsuro Inoue (Osaka Univ.) SS2010-8 KBSE2010-8 |
[more] | SS2010-8 KBSE2010-8 pp.45-50 |
| KBSE, SS | 2010-05-28 10:30 |
Kyoto | Doshisha University, Imadegawa Campus | A Proposal for Goal-oriented business planning with patterns Takuya Saruwatari (NTTDATA), Kenji Taguchi (NII), Shinobu Saito (NTTDATA), Shuichiro Yamamoto (Nagoya Univ.) SS2010-9 KBSE2010-9 |
When the business is planned by using GORE, it is necessary to start constructing without the support under the present ... [more] | SS2010-9 KBSE2010-9 pp.51-56 |
| KBSE, SS | 2010-05-28 11:10 |
Kyoto | Doshisha University, Imadegawa Campus | Selection Criteria for Allocating Requirements to IT Functions and Operations Noboru Hattori (NTT DATA/Wakayama Univ.), Tsuneo Ajisaka (Wakayama Univ.), Shuichiro Yamamoto (Nagoya Univ.) SS2010-10 KBSE2010-10 |
We discuss the selection criteria for allocating requirements to IT functions and human operations. We referred the rese... [more] | SS2010-10 KBSE2010-10 pp.57-62 |
| KBSE, SS | 2010-05-28 11:50 |
Kyoto | Doshisha University, Imadegawa Campus | Rewriting Logic Approach to Separating Policy Rules from Behavioral Specification Xiaoxi Dong, Shin Nakajima (NII) SS2010-11 KBSE2010-11 |
[more] | SS2010-11 KBSE2010-11 pp.63-68 |
| KBSE, SS | 2010-05-28 13:45 |
Kyoto | Doshisha University, Imadegawa Campus | Dynamic Real Time CEGAR Makoto Sakai, Yuji Tanaka, Satoshi Yamane (Kanazawa Univ.) SS2010-12 KBSE2010-12 |
In the present study, it proposes an effective model checking technique to the real time system into which the compositi... [more] | SS2010-12 KBSE2010-12 pp.69-74 |
| KBSE, SS | 2010-05-28 14:25 |
Kyoto | Doshisha University, Imadegawa Campus | Symbolic Verification Method of Priced Probabilistic Timed Automaton with Spaces Katsuya Hatanaka, Hiroshi Kamazawa, Satoshi Yamane (Kanazawa Univ.) SS2010-13 KBSE2010-13 |
Recently, wireless sensor networks attracts attention in various fields. Moreover, with the making of the embedded syste... [more] | SS2010-13 KBSE2010-13 pp.75-79 |
| KBSE, SS | 2010-05-28 15:20 |
Kyoto | Doshisha University, Imadegawa Campus | Implementation and Evaluation of Probabilistic Timed Real-Example Guided Abstraction Refinement Takaya Shimizu, Masaki Takahashi, Satoshi Yamane (Kanazawa Univ.) SS2010-14 KBSE2010-14 |
Probabilistic Timed REGAR (Real-Example Guided Abstraction Refinement) is a subclass of PTCTL(Probabilistic Timed Comput... [more] | SS2010-14 KBSE2010-14 pp.81-86 |
| KBSE, SS | 2010-05-28 16:00 |
Kyoto | Doshisha University, Imadegawa Campus | Fundamental Program Structure Patterns of Recursive Programs Masanori Ohdan (Shiname Univ./NST), Tadamasa Satou SS2010-15 KBSE2010-15 |
It requires programming aids to improve the understandability for recursive programs that are not easy to follow the log... [more] | SS2010-15 KBSE2010-15 pp.87-91 |
[Return to Top Page]