| IEICE Technical Committee Submission System Advance Program |
Online Proceedings [Sign in] Tech. Rep. Archives |
| Go Top | Go Back | Prev SS Conf / Next SS Conf | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
|
=============================================== Technical Committee on Software Science (SS) Chair: Motoshi Saeki Vice Chair: Toshiki Sakabe Secretary: Katsuhiko Gondow, Makoto Matsushita DATE: Thu, Nov 25, 2004 13:00 - 17:30 Fri, Nov 26, 2004 09:30 - 15:00 PLACE: Univ. of Yamanashi, Kofu(Takeda) Campus(4-3-11, Takeda, Kofu-shi, Yamagata, 400-8511 JAPAN.http://www.ipc.yamanashi.ac.jp/map/chizu.html. Prof. Yoshimichi Watanabe. 055-220-8651) TOPICS: general ---------------------------------------- Thu, Nov 25 PM (13:00 - 15:00) ---------------------------------------- (1) 13:00 - 13:30 Specification and Verification of Digital Logic based on Automaton Model Kazuhiro Yamanaka, Satoru Izumi, Yasushi Kato, Kaoru Takahashi (SNCT) (2) 13:30 - 14:00 Study on a Testing Method for Java Programs with UML Diagrams Yusuke Yabuya, Kiyohito Shimomura, Tetsuro Katayama (U. of Miyazaki) (3) 14:00 - 14:30 Verification method of scenarios with rules based on pre-conditions and post-conditions Tatsuya Toyama, Atsushi Ohnishi (Ritsumeikan Univ.) (4) 14:30 - 15:00 A supporting method of generating Alternative and Exception scenarios from scenario Kouji Kitamoto, Hiroya Itoga, Atsushi Ohnishi (Ritsumeikan Univ.) ----- Break ( 30 min. ) ----- ---------------------------------------- Thu, Nov 25 PM (15:30 - 17:30) ---------------------------------------- (5) 15:30 - 16:00 Integration technique of table type similar data on WEB Chiaki Yoshimura (Univ. of Yamanashi/FITC), Yoshimichi Watanabe (Univ. of Yamanashi) (6) 16:00 - 16:30 Reconstruction method of an XBRL document corresponding to revision of taxonomy Yohei Yahata, Yoshimichi Watanabe (UY) (7) 16:30 - 17:00 Evaluating the Cost of Program Hand Simulation Based on the Number and Variance of Variable Updates Takahisa Ishiguro, Hiroshi Igaki, Masahide Nakamura, Akito Monden, Ken-ichi Matsumoto (NAIST) (8) 17:00 - 17:30 Simulating Fusion Transformation by Program-Generation Transformation Masanori Nagashima, Masahiko Sakai, Naoki Nishida, Toshiki Sakabe, Keiichirou Kusakari (Nagoya Univ.) ---------------------------------------- Fri, Nov 26 AM (09:30 - 12:00) ---------------------------------------- (9) 09:30 - 10:00 Support Mechanism of Software Self-regulation Katsumasa Watanabe, Akihiro Inoue, Youhei Yamada, Masaki Nakanishi, Shigeru Yamashita (NAIST) (10) 10:00 - 10:30 An approach to the XML document transformation using attribute grammars derived from its schemas Takeshi Hagiwara, Masatoshi Iioka (Niigata Univ.) (11) 10:30 - 11:00 Prediction of Runaway Software Projects with Multiple Classification Methods -- Comparison of Accuracy among Classification Methods -- Kouta Kudou, Osamu Mizuno, Tohru Kikuno (Osaka Univ.) (12) 11:00 - 11:30 Modeling Web Applications with State Machines Masayo Osaki, Teruhiko Teraoka, Hideo Nakata (Mitsubishi Electric Corp.) (13) 11:30 - 12:00 A Large-Scale Distributed File System with Flexible Access Control and Authority Delegation Hiroyoshi Kohinata (Yamanashi Univ.) ----- Lunch ( 60 min. ) ----- ---------------------------------------- Fri, Nov 26 PM (13:00 - 15:00) ---------------------------------------- (14) 13:00 - 13:30 A fast collision detection using bounding volume Kazuhiro Ikegaya, Hidetoshi Ando (Univ. of Yamanashi) (15) 13:30 - 14:00 An encrypted mailing list system with a certificate management function Yusuke Kume (Yamanashi Univ.) (16) 14:00 - 14:30 An Electronic Guidebook for Support of Software Process Management Data Collection and Utilization Hiroshi Murakami, Hajimu Iida, Ken-ichi Matsumoto (NAIST) (17) 14:30 - 15:00 A Support Method of Web Application Development with Relationship Specification of Model 2 Architecture Components Tomoaki Ishiyama (Waseda Univ.), Kouichi Ono (IBM Japan), Yoshiaki Fukazawa (Waseda 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, Jan 20, 2005 - Fri, Jan 21, 2005: Miyazaki University, Kibana Campus [Mon, Nov 15], Topics: general # SECRETARY: Katsuhiko Gondow (Tokyo Institute of Technology) TEL 03-5734-2810 FAX 03-5734-2772 E-mail:  n w      # ANNOUNCEMENT: # Latest information will be presented on the homepage http://www.sde.cs.titech.acjp/ss/ Last modified: 2004-09-22 09:51:23 |
Notification: Mail addresses are partially hidden against SPAM.
[Download Paper's Information (in Japanese)] <-- Press download button after click here.
[Cover and Index of IEICE Technical Report by Issue]
[Presentation and Participation FAQ] (in Japanese)
[Return to SS Schedule Page] /
| Go Top | Go Back | Prev SS Conf / Next SS Conf | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
[Return to Top Page]