Thu, Jun 22 PM 13:30 - 17:30 |
(1) |
13:30-14:00 |
A complete specification transformation from OTS/CafeOBJ to OTS/Maude |
Masaki Nakamura, Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi (JAIST) |
(2) |
14:00-14:30 |
Transformation of Equational Rewriting Systems for Removing some Equations |
Koichi Miura, Naoki Nishida, Masahiko Sakai, Toshiki Sakabe, Keiichirou Kusakari (Nagoya Univ.) |
|
14:30-14:45 |
Break ( 15 min. ) |
(3) |
14:45-15:15 |
Usable Rules and Labeling Product-Typed Term for Dependency Pair Method in Simply-Typed Term Rewriting Systems |
Takahiro Sakurai, Keiichirou Kusakari, Masahiko Sakai, Toshiki Sakabe, Naoki Nishida (Nagoya Univ.) |
(4) |
15:15-15:45 |
Some Cases on Model-Checking of Finite-state Automaton with Constraints |
Shin Nakajima (NII/JST) |
|
15:45-16:00 |
Break ( 15 min. ) |
(5) |
16:00-16:30 |
Identification of Inconsistency between Class Diagram and Sequence Diagram |
Erwin Widodo, Atsushi Ohnishi (Ritsumeikan Univ.) |
(6) |
16:30-17:00 |
A Method of Reliability Assessment Based on Genetic Algorithm for Open Source Software |
Yoshinobu Tamura (HIT), Shigeru Yamada (Torrori Univ.) |
(7) |
17:00-17:30 |
Combining Software Development Methodologies with Project Management Technologies |
Koichiro Ochimizu (JAIST) |
Fri, Jun 23 AM 09:30 - 12:15 |
(8) |
09:30-10:00 |
Applying Partial Redundancy Elimination to Instruction Scheduling |
Munehiro Takimoto (TUS) |
(9) |
10:00-10:30 |
Management of temporary information by sticky notes and its application |
Daisuke Kiyosaki, Hirotaka Ohkubo, Hideto Kasuya, Shinichiro Yamamoto (Aichi Pref. Univ.) |
(10) |
10:30-11:00 |
Extraction of traceable differences between multiple versions of source code |
Takayuki Omori, Tetsuo Yamamoto, Katsuhisa Maruyama (Ritsumeikan Univ.) |
|
11:00-11:15 |
Break ( 15 min. ) |
(11) |
11:15-11:45 |
An Integrated Tool for Supporting Ontology Based Requirements Elicitation |
Motohiro Kitamura, Ryo Hasegawa (tokyo institute of technology), Nobuo Yamabe, Haruhiko Kaiya (shinshu university), Motoshi Saeki (tokyo institute of technology) |
(12) |
11:45-12:15 |
Implementation of Mail Archive System with Collaborative Editing |
Kho Yee Choy, Makoto Matsushita, Katsuro Inoue (Osaka Univ.) |