|
|
| Chair |
|
Motoshi Saeki |
| Vice Chair |
|
Toshiki Sakabe |
| Secretary |
|
Katsuhiko Gondow, Makoto Matsushita |
|
| Conference Date |
Thu, Feb 2, 2006 13:30 - 17:15
Fri, Feb 3, 2006 09:30 - 12:45 |
| Topics |
general |
| Conference Place |
Fukuoka Laboratory for Emerging and Enabling Technology of SoC |
| Transportation Guide |
http://www.fleets.jp/access/index.html |
Contact
Person |
Dr. Michihiro Matsumoto
092-832-2520（代表） |
Thu, Feb 2 PM
13:30 - 17:15 |
| (1) |
13:30-14:00 |
An analysis method of unexpected obstacles in embedded software by Information Flow Diagram |
Hidehiro Kametani (KIT), Yasufumi Shinyashiki, Toshiro Mise (MEW), Masaaki Hashimoto, Naoyasu Ubayashi, Keiichi Katamine (KIT), Takako Nakatani (S-Lagoon) |
| (2) |
14:00-14:30 |
Formal Verification of Refactoring with ESC/Java |
Shin Nakajima (NII), Yoshiaki Fukushima, Yusuke Hashimoto, Shinichi Iwasaki (NEC) |
| (3) |
14:30-15:00 |
Experiments for Ontology-based Requirements Elicitation Method |
Takayuki Sugiura, Atsushi Ohnishi (Ritsumeikan Univ.) |
| (4) |
15:00-15:30 |
Report on Automated Software Engineering 2005 |
Kenji Taguchi (NII), Motoshi Saeki (TIT), Shinichi Honiden (NII) |
| |
15:30-15:45 |
Break ( 15 min. ) |
| (5) |
15:45-16:15 |
A supporting method of management of software requirements specification with differential analysis |
Kanako Shimizu, Atsushi Ohnishi (Ritsumeikan Univ.) |
| (6) |
16:15-16:45 |
create the framework of active program from pi-expression |
Katsumasa Watanabe (NAIST), LO Fuchuan (TOPPAN CFI), Masaki Nakanishi, Shigeru Yamashita (NAIST) |
| (7) |
16:45-17:15 |
Secrecy Verification of Spi Calculus based on Term Regular Expressions |
Yoshihiko Tashiro, Toshiki Sakabe, Masahiko Sakai, Keiichirou Kusakari, Naoki Nishida (Nagoya Univ.) |
Fri, Feb 3 AM
09:30 - 12:45 |
| (8) |
09:30-10:00 |
An AHP Based Technique for Selecting Requirements Alternatives |
Takao Yamazaki, Motoshi Saeki (Tokyo Inst. of Tech.) |
| (9) |
10:00-10:30 |
Model Checking Integrated Services of Home Network Systems |
Takafumi Matsuo, Pattara Leelaprute, Tatsuhiro Tsuchiya, Tohru Kikuno (Osaka Univ.) |
| (10) |
10:30-11:00 |
Lexicographic Path Ordering for Proving Termination of Functional Programs |
Yumi Hoshino, Keiichirou Kusakari, Masahiko Sakai, Toshiki Sakabe, Naoki Nishida (Nagoya Univ.) |
| |
11:00-11:15 |
Break ( 15 min. ) |
| (11) |
11:15-11:45 |
Performance verification considering the network delay for Real-time Distributed Systems with the probabilistic model checker PRISM |
Eigo Nagai, Kozo Okano, Shinji Kusumoto (Osaka Univ.) |
| (12) |
11:45-12:15 |
A proposal for Web ApplicationFramework improving Modularity of page and function |
Takao Haraguchi (Waseda Univ.), Kouichi Ono (IBM Japan), Yoshiaki Fukazawa (Waseda Univ.) |
| (13) |
12:15-12:45 |
Runtime environment of workflows for change support in a cooperative software development |
Masayuki Kotani, Koichiro Ochimizu (JAIST) |
| 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 |
Katsuhiko Gondow (Tokyo Institute of Technology)
TEL 03-5734-2810
FAX 03-5734-2772
E- :  n w      |
| Announcement |
Latest information will be presented on the homepage
http://www.sde.cs.titech.acjp/ss/ |
Last modified: 2006-01-12 16:28:45
|
Notification: Mail addresses are partially hidden against SPAM.
|