Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380
[TOP] | [2007] | [2008] | [2009] | [2010] | [2011] | [2012] | [2013] | [Japanese] / [English]
SS2010-1
A Re-definition of "Conceptual Data Modeling" from the Viewpoint of Pragmatism
Shigeo Kaneda (Doshisha Univ.)
pp. 1 - 8
SS2010-2
A Basic Study of Cognitive Processing based on Ontology Oriented Architecture
Chiaki Kino, Yoshio Suzuki, Hiroshi Takemiya (JAEA)
pp. 9 - 14
SS2010-3
Goal-oriented modeling method for security requirements
Masue Shiba, Naokazu Sasaki (Toshiba Solutions Corp.), Kenji Taguchi (AIST), Nobukazu Yoshioka (NII)
pp. 15 - 20
SS2010-4
Scenario generation method using scenario parts
Masato Nishimura(F), Atsushi Ohnishi (Ritsumeikan Univ.)
pp. 21 - 26
SS2010-5
Approximate String Matching Using Markovian Distance
Akifumi Katsumata (F), Takao Miura (Hosei Univ.)
pp. 27 - 32
SS2010-6
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.)
pp. 33 - 38
SS2010-7
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.)
pp. 39 - 44
SS2010-8
Supporting Difference Extraction for Merging Similar Methods
Tomoo Masai, Norihiro Yoshida, Makoto Matsushita, Katsuro Inoue (Osaka Univ.)
pp. 45 - 50
SS2010-9
A Proposal for Goal-oriented business planning with patterns
Takuya Saruwatari (NTTDATA), Kenji Taguchi (NII), Shinobu Saito (NTTDATA), Shuichiro Yamamoto (Nagoya Univ.)
pp. 51 - 56
SS2010-10
Selection Criteria for Allocating Requirements to IT Functions and Operations
Noboru Hattori (NTT DATA/Wakayama Univ.), Tsuneo Ajisaka (Wakayama Univ.), Shuichiro Yamamoto (Nagoya Univ.)
pp. 57 - 62
SS2010-11
Rewriting Logic Approach to Separating Policy Rules from Behavioral Specification
Xiaoxi Dong, Shin Nakajima (NII)
pp. 63 - 68
SS2010-12
Dynamic Real Time CEGAR
Makoto Sakai, Yuji Tanaka, Satoshi Yamane (Kanazawa Univ.)
pp. 69 - 74
SS2010-13
Symbolic Verification Method of Priced Probabilistic Timed Automaton with Spaces
Katsuya Hatanaka, Hiroshi Kamazawa, Satoshi Yamane (Kanazawa Univ.)
pp. 75 - 79
SS2010-14
Implementation and Evaluation of Probabilistic Timed Real-Example Guided Abstraction Refinement
Takaya Shimizu, Masaki Takahashi, Satoshi Yamane (Kanazawa Univ.)
pp. 81 - 86
SS2010-15
Fundamental Program Structure Patterns of Recursive Programs
Masanori Ohdan (Shiname Univ./NST), Tadamasa Satou
pp. 87 - 91
Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.