Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380
[TOP] | [2006] | [2007] | [2008] | [2009] | [2010] | [2011] | [2012] | [Japanese] / [English]
SS2008-39
An Observation of Maintenance Process in Agile Software Development using Bug Tracking System
Kyohei Fushida, Yuki Ohmae, Masataka Nagura, Shinji Kawaguchi, Kimiharu Ohkura, Hajimu Iida (Nara Inst. of Scie and Tech.)
pp. 1 - 6
SS2008-40
Experimentally Deriving Probability of Program Piracy based on Length of Code Clone
Satoshi Okahara (Nara Inst. of Sence and Tech.), Yuki Manabe (Osaka Univ.), Hiroki Yamauchi, Akito Monden, Ken-ichi Matsumoto (Nara Inst. of Sence and Tech.), Katsuro Inoue (Osaka Univ.)
pp. 7 - 11
SS2008-41
Checking the Compliance of Requirements Specifications to Regulations using a Model Checker
Motoshi Saeki (Tokyo Tech.), Haruhiko Kaiya (Shinshu Univ.), Satoshi Hattori (Tokyo Tech.)
pp. 13 - 18
SS2008-42
Overheads in using version control systems and techniques to reduce them
Hitoshi Sakai, Katsuhiko Gondow (Tokyo Inst. of Tech.)
pp. 19 - 24
SS2008-43
A modelling method for understanding computer behaviours at the user-interface level
Fumiko Kouda, Takashi Chikayama (Univ. of Tokyo)
pp. 25 - 30
SS2008-44
Solving Satisfiability of CNF Formulas with Elementary Symmetric Functions
Yohei Umano, Masahiko Sakai, Naoki Nishida, Toshiki Sakabe, Keiichirou Kusakari (Nagoya Univ.)
pp. 31 - 36
SS2008-45
Decidability of Termination Properties for Term Rewriting Systems Consisting of Shallow Dependency Pairs
Keita Uchiyama, Masahiko Sakai, Toshiki Sakabe, Keiichirou Kusakari, Naoki Nishida (Nagoya Univ.)
pp. 37 - 42
SS2008-46
XML Processing Techniqes Based on Tree Automata
Yoshiaki Takata (Kochi Univ. of Tech.), Hiroyuki Seki (Nara Inst. of Scei and Tech.)
pp. 43 - 50
SS2008-47
Description and Query of Sensing Data for Their Open Access
Hiroshi Takahashi, Naruki Mitsuda, Tsuneo Ajisaka (Wakayama Univ.)
pp. 51 - 56
Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.