|
|
| Chair |
|
Tsuneo Ajisaka (Wakayama Univ.) |
| Vice Chair |
|
Hiroyuki Seki (NAIST) |
| Secretary |
|
Naruki Mitsuda (Wakayama Univ.), Keiichirou Kusakari (Nagoya Univ.) |
|
| Conference Date |
Thu, Dec 18, 2008 14:00 - 16:15
Fri, Dec 19, 2008 09:30 - 12:15 |
| Topics |
general |
| Conference Place |
Kochi Univiersity of Technology |
| Address |
Tosayamada-cho, Kochi, 782-8502, Japan |
Contact
Person |
Dr. Yoshiaki Takata |
Copyright
and
reproduction |
All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
Thu, Dec 18 PM
14:00 - 16:15 |
| (1) |
14:00-14:30 |
An Observation of Maintenance Process in Agile Software Development using Bug Tracking System  SS2008-39 |
Kyohei Fushida, Yuki Ohmae, Masataka Nagura, Shinji Kawaguchi, Kimiharu Ohkura, Hajimu Iida (Nara Inst. of Scie and Tech.) |
| (2) |
14:30-15:00 |
Experimentally Deriving Probability of Program Piracy based on Length of Code Clone SS2008-40 |
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.) |
| |
15:00-15:15 |
Break ( 15 min. ) |
| (3) |
15:15-15:45 |
Checking the Compliance of Requirements Specifications to Regulations using a Model Checker SS2008-41 |
Motoshi Saeki (Tokyo Tech.), Haruhiko Kaiya (Shinshu Univ.), Satoshi Hattori (Tokyo Tech.) |
| (4) |
15:45-16:15 |
Overheads in using version control systems and techniques to reduce them SS2008-42 |
Hitoshi Sakai, Katsuhiko Gondow (Tokyo Inst. of Tech.) |
Fri, Dec 19 AM
09:30 - 12:15 |
| (5) |
09:30-10:00 |
A modelling method for understanding computer behaviours at the user-interface level SS2008-43 |
Fumiko Kouda, Takashi Chikayama (Univ. of Tokyo) |
| (6) |
10:00-10:30 |
Solving Satisfiability of CNF Formulas with Elementary Symmetric Functions SS2008-44 |
Yohei Umano, Masahiko Sakai, Naoki Nishida, Toshiki Sakabe, Keiichirou Kusakari (Nagoya Univ.) |
| (7) |
10:30-11:00 |
Decidability of Termination Properties for Term Rewriting Systems Consisting of Shallow Dependency Pairs SS2008-45 |
Keita Uchiyama, Masahiko Sakai, Toshiki Sakabe, Keiichirou Kusakari, Naoki Nishida (Nagoya Univ.) |
| |
11:00-11:15 |
Break ( 15 min. ) |
| (8) |
11:15-11:45 |
XML Processing Techniqes Based on Tree Automata SS2008-46 |
Yoshiaki Takata (Kochi Univ. of Tech.), Hiroyuki Seki (Nara Inst. of Scei and Tech.) |
| (9) |
11:45-12:15 |
Description and Query of Sensing Data for Their Open Access SS2008-47 |
Hiroshi Takahashi, Naruki Mitsuda, Tsuneo Ajisaka (Wakayama Univ.) |
| Announcement for Speakers |
| General Talk | Each speech will have 20 minutes for presentation and 10 minutes for discussion. |
| Contact Address and Latest Schedule Information |
| SS |
Technical Committee on Software Science (SS) [Latest Schedule]
|
| Contact Address |
Naruki Mitsuda (Wakayama Univ.)
TEL 073-457-8433
FAX 073-457-8434
E- :  n       -u |
| Announcement |
Latest information will be presented on the homepage
http://sdlab.sys.wakayama-u.ac.jp/ss/ |
Last modified: 2008-11-27 01:40:39
|