|
|
| Chair |
|
Toshiki Sakabe |
| Vice Chair |
|
Tsuneo Ajisaka |
| Secretary |
|
Katsuhiko Gondow, Keiichirou Kusakari |
|
| Conference Date |
Thu, Jun 22, 2006 13:30 - 17:30
Fri, Jun 23, 2006 09:30 - 12:15 |
| Topics |
general |
| Conference Place |
|
Contact
Person |
Murakami, Masaki |
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.) |
| 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- :      is    -u |
| Announcement |
Latest information will be presented on the homepage http://www.sakabe.i.is.nagoya-u.ac.jp/ss/ |
Last modified: 2006-05-31 16:49:43
|
Notification: Mail addresses are partially hidden against SPAM.
|