Information and Systems-Software Science(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 #]SS2010-1,KBSE2010-1
A Basic Study of Cognitive Processing based on Ontology Oriented Architecture

Chiaki Kino,  Yoshio Suzuki,  Hiroshi Takemiya,  

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

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

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

Masato NISHIMURA,  Atsushi OHNISHI,  

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

Akifumi KATSUMATA,  Takao MIURA,  

[Date]2010/5/20
[Paper #]SS2010-5,KBSE2010-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 #]SS2010-6,KBSE2010-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 #]SS2010-7,KBSE2010-7
Supporting Difference Extraction for Merging Similar Methods

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

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

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

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

Noboru HATTORI,  Tsuneo AJISAKA,  Shuichiro YAMAMOTO,  

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

Xiaoxi DONG,  Shin NAKAJIMA,  

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

Makoto SAKAI,  Yuji TANAKA,  Satoshi YAMANE,  

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

Katsuya HATANAKA,  Hiroshi KAMAZAWA,  Satoshi YAMANE,  

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

Takaya SHIMIZU,  Masaki TAKAHASHI,  Satoshi YAMANE,  

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

Masanori OHDAN,  Tadamasa SATOU,  

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

,  

[Date]2010/5/20
[Paper #]
Notice for Photocopying

,  

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

,  

[Date]2010/5/20
[Paper #]
12>> 1-20hit(21hit)