|
Chair |
|
Toshiki Sakabe |
Vice Chair |
|
Tsuneo Ajisaka |
Secretary |
|
Katsuhiko Gondow, Keiichirou Kusakari |
|
Conference Date |
Thu, Aug 2, 2007 13:30 - 18:00
Fri, Aug 3, 2007 09:00 - 12:15 |
Topics |
general |
Conference Place |
Hokkaido University |
Transportation Guide |
http://www.ist.hokudai.ac.jp/eng/contact/index.html |
Contact Person |
Prof. KURIHARA Masahito |
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, Aug 2 PM 13:30 - 18:00 |
(1) |
13:30-14:00 |
Recognizable Approximation of Descendant Sets for Left-Linear Oriented Conditional Term Rewriting Systems SS2007-16 |
Toshiki Murata, Naoki Nishida, Masahiko Sakai, Toshiki Sakabe, Keiichirou Kusakari (Nagoya Univ.) |
(2) |
14:00-14:30 |
Implicit Induction for Proving Behavioral Equivalence by Equational Rewriting SS2007-17 |
Yuji Sasada, Masahiko Sakai, Naoki Nishida, Toshiki Sakabe, Keiichirou Kusakari (Nagoya Univ.) |
(3) |
14:30-15:00 |
Multi-Completion Procedures of Term Rewriting Systems using the Dependency Pair Method SS2007-18 |
Haruhiko Sato, Masahito Kurihara (Hokkaido Univ.) |
|
15:00-15:15 |
Break ( 15 min. ) |
(4) |
15:15-15:45 |
Scenario Map for Classifying Scenarios SS2007-19 |
Satoru Yanagawa, Atsushi Ohnishi (Ritsumeikan U.) |
(5) |
15:45-16:15 |
Proposal and Implementation of an API Documentation Tool for the Java Language SS2007-20 |
Kazuaki Hashimoto, Yasuhiro Sugiyama (Nihon Univ.) |
(6) |
16:15-16:45 |
TrmiMonitor: A Remote Object Management Console for TRMI SS2007-21 |
Kazuki Toyama (Nihon Univ.), Toshihiro Kitagawa (SRA OSS), Mitsuru Nagata, Yasuhiro Sugiyama (Nihon Univ.) |
|
16:45-17:00 |
Break ( 15 min. ) |
(7) |
17:00-17:30 |
A Case study - Design of Warehouse Management Program in JML and Verification with ESC/Java2 - SS2007-22 |
Masayuki Owashi, Kozo Okano, Shinji Kusumoto (Osaka Univ.) |
(8) |
17:30-18:00 |
Scenario Validation with Definition-Reference Relationships upon Condition of Actors SS2007-23 |
Hiroya Itoga, Atsushi Ohnishi (Ritsumeikan Univ.) |
Fri, Aug 3 AM 09:00 - 12:15 |
(9) |
09:00-09:30 |
Interface Migration Using Abstract Interaction Description SS2007-24 |
Takuto Yanagida, Hidetoshi Nonaka (Hokkaido Univ.) |
(10) |
09:30-10:00 |
Supporting Construction of Domain Ontologies for Requirements Analysis SS2007-25 |
Ryo Hasegawa, Motohiro Kitamura (Tokyo Inst. of Tech.), Haruhiko Kaiya (Shinshu Univ.), Motoshi Saeki (Tokyo Inst. of Tech.) |
(11) |
10:00-10:30 |
An Evaluation of Computerized Tools for Method Construction SS2007-26 |
Inge van de Weerd (Utrecht Univ.), Motoshi Saeki (Tokyo Inst. of Tech.) |
|
10:30-10:45 |
Break ( 15 min. ) |
(12) |
10:45-11:15 |
Right-weight Formal Methods for Real-Time Components SS2007-27 |
Shin Nakajima (NII) |
(13) |
11:15-11:45 |
Analyzing failures and their recovery operations in information systems based on state transition models SS2007-28 |
Teruyoshi Zenmyo (Toshiba) |
(14) |
11:45-12:15 |
Abstraction of Extended Timed Automata for UPPAAL Based on Counterexample-Guided Abstraction Refinement Loop SS2007-29 |
Takeshi Nagaoka, Kozo Okano, Shinji Kusumoto (Osaka 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 |
KUSAKARI Keiichirou (Nagoya University)
TEL 052-789-3973
FAX 052-789-3801
E- : ![](/ken/images/new/1111uqde.gif) ![](/ken/images/new/1111uqds.gif) ![](/ken/images/new/1111vauy.gif) ![](/ken/images/new/1217ir.bmp) is![](/ken/images/new/tod.gif) ![](/ken/images/new/an.gif) ![](/ken/images/new/1217og.bmp) -u |
Announcement |
Latest information will be presented on the homepage
http://www.sakabe.i.is.nagoya-u.ac.jp/ss/ |
Last modified: 2007-06-25 17:26:36
|