|
|
| Chair |
|
Toshiki Sakabe (Nagoya Univ.) |
| Vice Chair |
|
Tsuneo Ajisaka (Wakayama Univ.) |
| Secretary |
|
Katsuhiko Gondow (Tokyo Inst. of Tech.), Keiichirou Kusakari (Nagoya Univ.) |
|
| Conference Date |
Mon, Oct 22, 2007 14:00 - 16:45
Tue, Oct 23, 2007 09:40 - 11:55 |
| Topics |
general |
| Conference Place |
Miyagi University |
| Transportation Guide |
http://www.myu.ac.jp/guide/gu06.html |
Contact
Person |
Prof. Togashi |
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) |
Mon, Oct 22 PM
14:00 - 16:45 |
| (1) |
14:00-14:30 |
Proving Non-termination of Logic Programs by Detecting Loops in Derivation Trees  SS2007-30 |
Tomohiro Mizutani, Naoki Nishida, Masahiko Sakai, Toshiki Sakabe, Keiichirou Kusakari (Nagoya Univ.) |
| (2) |
14:30-15:00 |
Temporal Extension in Semantic Web |
Atsushi Togashi (Miyagi Univ.), Junya Yumoto (NEC Software Ltd.) |
| |
15:00-15:15 |
Break ( 15 min. ) |
| (3) |
15:15-15:45 |
A Design Rationale Elicitation Method Using Rational Decision Making to Resolve The Lack of Expression Power about QOC's Relative Weight SS2007-31 |
Yusuke Kobayashi, Atsuo Hazeyama (Tokyo Gakugei Univ.) |
| (4) |
15:45-16:15 |
Behavior Verification for Embedded Systems Focusing on System Contexts SS2007-32 |
Hirotoshi Kanagawa, Toshiki Seto, Susumu Taniguchi, Jyun Yoshida, Naoyasu Ubayashi (KIT), Takeshi Sumi, Masayuki Hirayama (TOSHIBA) |
| (5) |
16:15-16:45 |
A Formal Model Verification on Robot Control Software SS2007-33 |
Yoichi Omori, Yuya Inokuchi, Keijiro Araki (Kyushu Univ.) |
Tue, Oct 23 AM
09:40 - 11:55 |
| (6) |
09:40-10:10 |
e-Learning SYSTEM of mastering basic English sentences SS2007-34 |
Hiromi Ban (Tokyo Future Univ.), Toru Sugata (Kanazawa Seiryo Univ.) |
| (7) |
10:10-10:40 |
A modelling of a processing in which it preserves the meaning of the affected object by it SS2007-35 |
Fumiko Kouda, Takashi Chikayama (Univ. Tokyo) |
| |
10:40-10:55 |
Break ( 15 min. ) |
| (8) |
10:55-11:25 |
Analysis of fault density by association rule mining using cross-company data SS2007-36 |
Junya Debari, Osamu Mizuno, Tohru Kikuno (Osaka Univ.), Nahomi Kikuchi, Masayuki Hirayama (IPA) |
| (9) |
11:25-11:55 |
A Method for Activity Prediction using Cluster Analysis on Email Thereads SS2007-37 |
Kimiharu Ohkura, Yoji Onishi, Shinji Kawaguchi, Masao Ohira, Hajimu Iida, Ken-ichi Matsumoto (NAIST) |
| 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 |
KUSAKARI Keiichirou (Nagoya University)
TEL 052-789-3973
FAX 052-789-3801
E- :      is    -u |
| Announcement |
Latest information will be presented on the homepage
http://www.sakabe.i.is.nagoya-u.ac.jp/ss/ |
Last modified: 2007-10-05 13:41:16
|