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.) |
|
15:00-15:15 |
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.) |
|
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 - |
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.) |
|
10:30-10:45 |
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) |