| 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) Chair: Toshiki Sakabe Vice Chair: Tsuneo Ajisaka Secretary: Katsuhiko Gondow, Keiichirou Kusakari DATE: Thu, Aug 2, 2007 13:30 - 18:00 Fri, Aug 3, 2007 09:00 - 12:15 PLACE: Hokkaido University(http://www.ist.hokudai.ac.jp/eng/contact/index.html. Prof. KURIHARA Masahito) TOPICS: general ---------------------------------------- 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 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 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 Haruhiko Sato, Masahito Kurihara (Hokkaido Univ.) ----- Break ( 15 min. ) ----- (4) 15:15 - 15:45 Scenario Map for Classifying Scenarios Satoru Yanagawa, Atsushi Ohnishi (Ritsumeikan U.) (5) 15:45 - 16:15 Proposal and Implementation of an API Documentation Tool for the Java Language Kazuaki Hashimoto, Yasuhiro Sugiyama (Nihon Univ.) (6) 16:15 - 16:45 TrmiMonitor: A Remote Object Management Console for TRMI Kazuki Toyama (Nihon Univ.), Toshihiro Kitagawa (SRA OSS), Mitsuru Nagata, Yasuhiro Sugiyama (Nihon Univ.) ----- Break ( 15 min. ) ----- (7) 17:00 - 17:30 A Case study - Design of Warehouse Management Program in JML and Verification with ESC/Java2 - Masayuki Owashi, Kozo Okano, Shinji Kusumoto (Osaka Univ.) (8) 17:30 - 18:00 Scenario Validation with Definition-Reference Relationships upon Condition of Actors 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 Takuto Yanagida, Hidetoshi Nonaka (Hokkaido Univ.) (10) 09:30 - 10:00 Supporting Construction of Domain Ontologies for Requirements Analysis 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 Inge van de Weerd (Utrecht Univ.), Motoshi Saeki (Tokyo Inst. of Tech.) ----- Break ( 15 min. ) ----- (12) 10:45 - 11:15 Right-weight Formal Methods for Real-Time Components Shin Nakajima (NII) (13) 11:15 - 11:45 Analyzing failures and their recovery operations in information systems based on state transition models Teruyoshi Zenmyo (Toshiba) (14) 11:45 - 12:15 Abstraction of Extended Timed Automata for UPPAAL Based on Counterexample-Guided Abstraction Refinement Loop Takeshi Nagaoka, Kozo Okano, Shinji Kusumoto (Osaka Univ) # Information for speakers General Talk will have 20 minutes for presentation and 10 minutes for discussion. === Technical Committee on Software Science (SS) === # FUTURE SCHEDULE: Mon, Oct 22, 2007 - Tue, Oct 23, 2007: Miyagi Univ. [Fri, Aug 24], Topics: general # SECRETARY: 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]