Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
SS |
2008-12-18 14:00 |
Kochi |
Kochi Univiersity of Technology |
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.) SS2008-39 |
In agile software development, development documents are not well maintained. That makes it difficult to conduct post an... [more] |
SS2008-39 pp.1-6 |
SS |
2008-12-18 14:30 |
Kochi |
Kochi Univiersity of Technology |
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.) SS2008-40 |
[more] |
SS2008-40 pp.7-11 |
SS |
2008-12-18 15:15 |
Kochi |
Kochi Univiersity of Technology |
Checking the Compliance of Requirements Specifications to Regulations using a Model Checker Motoshi Saeki (Tokyo Tech.), Haruhiko Kaiya (Shinshu Univ.), Satoshi Hattori (Tokyo Tech.) SS2008-41 |
This paper proposes the technique to apply model checking in order to show the compliance of requirements
specification... [more] |
SS2008-41 pp.13-18 |
SS |
2008-12-18 15:45 |
Kochi |
Kochi Univiersity of Technology |
Overheads in using version control systems and techniques to reduce them Hitoshi Sakai, Katsuhiko Gondow (Tokyo Inst. of Tech.) SS2008-42 |
Most of the existing version control systems need a lot of utilization costs when you use them.
For example, if you add... [more] |
SS2008-42 pp.19-24 |
SS |
2008-12-19 09:30 |
Kochi |
Kochi Univiersity of Technology |
A modelling method for understanding computer behaviours at the user-interface level Fumiko Kouda, Takashi Chikayama (Univ. of Tokyo) SS2008-43 |
There are situations where the primitives given as UI are specified in terms of processing, so that those users unfamili... [more] |
SS2008-43 pp.25-30 |
SS |
2008-12-19 10:00 |
Kochi |
Kochi Univiersity of Technology |
Solving Satisfiability of CNF Formulas with Elementary Symmetric Functions Yohei Umano, Masahiko Sakai, Naoki Nishida, Toshiki Sakabe, Keiichirou Kusakari (Nagoya Univ.) SS2008-44 |
In recent years, several efficient SAT solvers, which decide satisfiability of boolean formulas, have been developed.
S... [more] |
SS2008-44 pp.31-36 |
SS |
2008-12-19 10:30 |
Kochi |
Kochi Univiersity of Technology |
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.) SS2008-45 |
In this paper, we show some decidable properties: termination, innermost termination and context-sensitive termination f... [more] |
SS2008-45 pp.37-42 |
SS |
2008-12-19 11:15 |
Kochi |
Kochi Univiersity of Technology |
XML Processing Techniqes Based on Tree Automata Yoshiaki Takata (Kochi Univ. of Tech.), Hiroyuki Seki (Nara Inst. of Scei and Tech.) SS2008-46 |
Tree automata, which are finite automata over trees, have been investigated in various research areas for a long time. ... [more] |
SS2008-46 pp.43-50 |
SS |
2008-12-19 11:45 |
Kochi |
Kochi Univiersity of Technology |
Description and Query of Sensing Data for Their Open Access Hiroshi Takahashi, Naruki Mitsuda, Tsuneo Ajisaka (Wakayama Univ.) SS2008-47 |
For the observation of the real world, many sensors are set to acquire information automatically and precisely. The appl... [more] |
SS2008-47 pp.51-56 |