===============================================
Technical Committee on Software Science (SS)
Chair: Toshiki Sakabe Vice Chair: Tsuneo Ajisaka
Secretary: Katsuhiko Gondow, Keiichirou Kusakari
DATE:
Thu, Jun 22, 2006 13:30 - 17:30
Fri, Jun 23, 2006 09:30 - 12:15
PLACE:
(Murakami, Masaki)
TOPICS:
general
----------------------------------------
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.)
----- 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)
----- 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.)
----- 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.)
# Information for speakers
General Talk will have 20 minutes for presentation and 10 minutes for discussion.
=== Technical Committee on Software Science (SS) ===
# FUTURE SCHEDULE:
Thu, Aug 3, 2006 - Fri, Aug 4, 2006: Hokkaido University [Mon, Jun 19], 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: 2006-05-31 16:49:43
|
Notification: Mail addresses are partially hidden against SPAM.
|