| Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
| SS |
2005-06-23
13:00 |
Nagano |
Shinshu Univ. Ohta-Kokusai-Kinenkan |
Modeling Software Characteristics and Their Correlations in A Specific Domain by Comparing Existing Similar Systems
Akira Osada, Daigo Ozawa, Haruhiko Kaiya, Kenji Kaijiri (Shinshu Univ.) |
[more] |
SS2005-12
pp.1-6 |
| SS |
2005-06-23
13:30 |
Nagano |
Shinshu Univ. Ohta-Kokusai-Kinenkan |
Software Technology Recommendation Based on Collaborative Filtering
Tomohiro Akinaga, Naoki Ohsugi, Takeshi Kakimoto, Masateru Tsunoda, Akito Monden, Ken-ichi Matsumoto (NAIST) |
In recent years, much software development technology is proposed. It is difficult for the software engineer to be maste... [more] |
SS2005-13
pp.7-13 |
| SS |
2005-06-23
14:15 |
Nagano |
Shinshu Univ. Ohta-Kokusai-Kinenkan |
A Verification Method of Invalid Cells of State Transition Matrices
Michihiro Matsumoto, Naohito Yamashita (Fukuoka IST), Ikuko Suzuki (Sharp), Akira Fukuda (Kyushu Univ.) |
The system like embedded software is constructed from some subsystems (tasks). The state transition matrix of each subsy... [more] |
SS2005-14
pp.15-20 |
| SS |
2005-06-23
14:45 |
Nagano |
Shinshu Univ. Ohta-Kokusai-Kinenkan |
Analysis of Review Process using Programmers' Eye Movement
Hidetake Uwano, Noboru Nakamichi, Hiroshi Igaki, Akito Monden, Masahide Nakamura, Ken-ichi Matsumoto (NAIST) |
Although there exists a lot of studies to evaluate the effectiveness (fault detection rate) of software review technique... [more] |
SS2005-15
pp.21-26 |
| SS |
2005-06-23
15:15 |
Nagano |
Shinshu Univ. Ohta-Kokusai-Kinenkan |
An extended regular expression matching System which can dynamically define operations
Yoshifumi Okada, Hiroaki Yamamoto (Shinshu Univ.) |
[more] |
SS2005-16
pp.27-32 |
| SS |
2005-06-23
16:00 |
Nagano |
Shinshu Univ. Ohta-Kokusai-Kinenkan |
[Invited Talk]
Self-proliferate software product diagnosis system
Kenji Kaijiri (Shinshu Univ.) |
We survey the researches about software product diagnosis and propose a self-proliferate software product diagnosis syst... [more] |
SS2005-17
pp.33-38 |
| SS |
2005-06-24
09:00 |
Nagano |
Shinshu Univ. Ohta-Kokusai-Kinenkan |
A Static Analysis using Tree Automata for XML Access Control
Isao Yagi, Yoshiaki Takata, Hiroyuki Seki (NAIST) |
Recently, an access control for XML database is one of the key issues in
database security. Given an access control po... [more] |
SS2005-18
pp.1-6 |
| SS |
2005-06-24
09:30 |
Nagano |
Shinshu Univ. Ohta-Kokusai-Kinenkan |
A Study on Software Design Using Ontology Technologies
Hiroshi Yoshida, Takashi Inoue, Yasumi Matsuyuki, Tetsuya Yamamura (NTT) |
(To be available after the conference date) [more] |
SS2005-19
pp.7-12 |
| SS |
2005-06-24
10:00 |
Nagano |
Shinshu Univ. Ohta-Kokusai-Kinenkan |
A Formal Model for Stateful Trust Management Systems
Hisashi Mouri, Yoshiaki Takata, Hiroyuki Seki (NAIST) |
[more] |
SS2005-20
pp.13-18 |
| SS |
2005-06-24
10:45 |
Nagano |
Shinshu Univ. Ohta-Kokusai-Kinenkan |
On Proving Termination of Simply-Typed Term Rewriting Systems Based on Strong Computability
Keiichirou Kusakari, Takahiro Sakurai, Naoki Nishida, Masahiko Sakai, Toshiki Sakabe (Nagoya Univ.) |
Terminating functional programs are safe in execution, and valuable because their reduction relations are suitable for i... [more] |
SS2005-21
pp.19-24 |
| SS |
2005-06-24
11:15 |
Nagano |
Shinshu Univ. Ohta-Kokusai-Kinenkan |
Programming Method in Obfuscated Language Malbolge
Hisashi Iizawa, Toshiki Sakabe, Masahiko Sakai, Keiichirou Kusakari, Naoki Nishida (Nagoya Univ.) |
Malbolge is an obfuscated (esoteric) programming language, which is designed to be difficult to program in. In this pape... [more] |
SS2005-22
pp.25-30 |
| SS |
2005-06-24
11:45 |
Nagano |
Shinshu Univ. Ohta-Kokusai-Kinenkan |
Dependency Graph Method for Proving Termination of Narrowing
Koichi Miura, Naoki Nishida, Masahiko Sakai, Keiichirou Kusakari, Toshiki Sakabe (Nagoya Univ.) |
Term rewriting systems with extra variables (called EV-TRSs) has an ability to represent inverse-computation programs, a... [more] |
SS2005-23
pp.31-36 |