Information and Systems-Knowledge-Based Software Engineering(Date:2010/05/20)

Presentation
表紙

,  

[Date]2010/5/20
[Paper #]
目次

,  

[Date]2010/5/20
[Paper #]
A Re-definition of "Conceptual Data Modeling" from the Viewpoint of Pragmatism

Shigeo KANEDA,  

[Date]2010/5/20
[Paper #]KBSE2010-1,SS2010-1
A Basic Study of Cognitive Processing based on Ontology Oriented Architecture

Chiaki Kino,  Yoshio Suzuki,  Hiroshi Takemiya,  

[Date]2010/5/20
[Paper #]KBSE2010-2,SS2010-2
Goal-oriented modeling method for security requirements

Masue SHIBA,  Naokazu SASAKI,  Kenji TAGUCHI,  Nobukazu YOSHIOKA,  

[Date]2010/5/20
[Paper #]KBSE2010-3,SS2010-3
Scenario generation method using scenario parts

Masato NISHIMURA,  Atsushi OHNISHI,  

[Date]2010/5/20
[Paper #]KBSE2010-4,SS2010-4
Approximate String Matching Using Markovian Distance

Akifumi KATSUMATA,  Takao MIURA,  

[Date]2010/5/20
[Paper #]KBSE2010-5,SS2010-5
Proposal of the Integrated Software Testing Support Environment based on the XML-based source code representation

Akihisa SUEHIRO,  Ryota SASAKI,  Hirohide HAGA,  

[Date]2010/5/20
[Paper #]KBSE2010-6,SS2010-6
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,  

[Date]2010/5/20
[Paper #]KBSE2010-7,SS2010-7
Supporting Difference Extraction for Merging Similar Methods

Tomoo MASAI,  Norihiro YOSHIDA,  Makoto MATSUSHITA,  Katsuro INOUE,  

[Date]2010/5/20
[Paper #]KBSE2010-8,SS2010-8
A Proposal for Goal-oriented business planning with patterns

Takuya SARUWATARI,  Kenji TAGUCHI,  Shinobu SAITO,  Shuichiro YAMAMOTO,  

[Date]2010/5/20
[Paper #]KBSE2010-9,SS2010-9
Selection Criteria for Allocating Requirements to IT Functions and Operations

Noboru HATTORI,  Tsuneo AJISAKA,  Shuichiro YAMAMOTO,  

[Date]2010/5/20
[Paper #]KBSE2010-10,SS2010-10
Rewriting Logic Approach to Separating Policy Rules from Behavioral Specification

Xiaoxi DONG,  Shin NAKAJIMA,  

[Date]2010/5/20
[Paper #]KBSE2010-11,SS2010-11
Dynamic Real Time CEGAR

Makoto SAKAI,  Yuji TANAKA,  Satoshi YAMANE,  

[Date]2010/5/20
[Paper #]KBSE2010-12,SS2010-12
Symbolic Verification Method of Priced Probabilistic Timed Automaton with Spaces

Katsuya HATANAKA,  Hiroshi KAMAZAWA,  Satoshi YAMANE,  

[Date]2010/5/20
[Paper #]KBSE2010-13,SS2010-13
Implementation and Evaluation of Probabilistic Timed Real-Example Guided Abstraction Refinement

Takaya SHIMIZU,  Masaki TAKAHASHI,  Satoshi YAMANE,  

[Date]2010/5/20
[Paper #]KBSE2010-14,SS2010-14
Fundamental Program Structure Patterns of Recursive Programs

Masanori OHDAN,  Tadamasa SATOU,  

[Date]2010/5/20
[Paper #]KBSE2010-15,SS2010-15
複写される方へ

,  

[Date]2010/5/20
[Paper #]
奥付

,  

[Date]2010/5/20
[Paper #]
裏表紙

,  

[Date]2010/5/20
[Paper #]