IEICE Technical Committee Submission System
Advance Program
Online Proceedings
[Sign in]
Tech. Rep. Archives
 Go Top  Go Back   Prev SS Conf / Next SS Conf [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 


Technical Committee on Software Science (SS) [schedule] [select]
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 TalkEach 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--mail: is-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


Notification: Mail addresses are partially hidden against SPAM.

[Download Paper's Information (in Japanese)] <-- Press download button after click here.
 
[Cover and Index of IEICE Technical Report by Issue]
 

[Presentation and Participation FAQ] (in Japanese)
 

[Return to SS Schedule Page]   /  
 
 Go Top  Go Back   Prev SS Conf / Next SS Conf [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 


[Return to Top Page]

[Return to IEICE Web Page]


The Institute of Electronics, Information and Communication Engineers (IEICE), Japan