Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
SS |
2004-11-25 13:00 |
Yamanashi |
Univ. of Yamanashi, Kofu(Takeda) Campus |
Specification and Verification of Digital Logic based on Automaton Model Kazuhiro Yamanaka, Satoru Izumi, Yasushi Kato, Kaoru Takahashi (SNCT) |
As application of formal methods, there have been researches for specification of digital logic, based on E-LOTOS and SD... [more] |
SS2004-26 pp.1-6 |
SS |
2004-11-25 13:30 |
Yamanashi |
Univ. of Yamanashi, Kofu(Takeda) Campus |
Study on a Testing Method for Java Programs with UML Diagrams Yusuke Yabuya, Kiyohito Shimomura, Tetsuro Katayama (U. of Miyazaki) |
In software development, UML(Unified Modeling Language) is used more as the development by using object-oriented technol... [more] |
SS2004-27 pp.7-12 |
SS |
2004-11-25 14:00 |
Yamanashi |
Univ. of Yamanashi, Kofu(Takeda) Campus |
Verification method of scenarios with rules based on pre-conditions and post-conditions Tatsuya Toyama, Atsushi Ohnishi (Ritsumeikan Univ.) |
In this paper, we propose a verification method of scenarios with rules based on pre-conditions and post -condition in o... [more] |
SS2004-28 pp.13-18 |
SS |
2004-11-25 14:30 |
Yamanashi |
Univ. of Yamanashi, Kofu(Takeda) Campus |
A supporting method of generating Alternative and Exception scenarios from scenario Kouji Kitamoto, Hiroya Itoga, Atsushi Ohnishi (Ritsumeikan Univ.) |
A generation method of an alternative and an exception scenario using the requirements frame from a scenario in the scen... [more] |
SS2004-29 pp.19-24 |
SS |
2004-11-25 15:30 |
Yamanashi |
Univ. of Yamanashi, Kofu(Takeda) Campus |
Integration technique of table type similar data on WEB Chiaki Yoshimura (Univ. of Yamanashi/FITC), Yoshimichi Watanabe (Univ. of Yamanashi) |
In this research, we propose the integration technique of table-type similar data on Web. The table-type data currently ... [more] |
SS2004-30 pp.25-29 |
SS |
2004-11-25 16:00 |
Yamanashi |
Univ. of Yamanashi, Kofu(Takeda) Campus |
Reconstruction method of an XBRL document corresponding to revision of taxonomy Yohei Yahata, Yoshimichi Watanabe (UY) |
An XBRL document includes taxonomy which defined the items of the financial information. Generally, taxonomy of an organ... [more] |
SS2004-31 pp.31-36 |
SS |
2004-11-25 16:30 |
Yamanashi |
Univ. of Yamanashi, Kofu(Takeda) Campus |
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) |
This paper presents a method to estimate the cost of mental simulation of programs. In our previous research, we develop... [more] |
SS2004-32 pp.37-42 |
SS |
2004-11-25 17:00 |
Yamanashi |
Univ. of Yamanashi, Kofu(Takeda) Campus |
Simulating Fusion Transformation by Program-Generation Transformation Masanori Nagashima, Masahiko Sakai, Naoki Nishida, Toshiki Sakabe, Keiichirou Kusakari (Nagoya Univ.) |
Program-Generation Transformation $\mathcal{GS}$ based on first-order logic with equality can handle specifications with... [more] |
SS2004-33 pp.43-48 |
SS |
2004-11-26 09:30 |
Yamanashi |
Univ. of Yamanashi, Kofu(Takeda) Campus |
Support Mechanism of Software Self-regulation Katsumasa Watanabe, Akihiro Inoue, Youhei Yamada, Masaki Nakanishi, Shigeru Yamashita (NAIST) |
The concept of active software is proposed as a basis of software design methodology, which is suitable to the uncertain... [more] |
SS2004-34 pp.1-6 |
SS |
2004-11-26 10:00 |
Yamanashi |
Univ. of Yamanashi, Kofu(Takeda) Campus |
An approach to the XML document transformation using attribute grammars derived from its schemas Takeshi Hagiwara, Masatoshi Iioka (Niigata Univ.) |
We are constructing the xml2ag XML document translator compiler
which generates skeleton rules for OOAG attribute gramm... [more] |
SS2004-35 pp.7-12 |
SS |
2004-11-26 10:30 |
Yamanashi |
Univ. of Yamanashi, Kofu(Takeda) Campus |
Prediction of Runaway Software Projects with Multiple Classification Methods
-- Comparison of Accuracy among Classification Methods -- Kouta Kudou, Osamu Mizuno, Tohru Kikuno (Osaka Univ.) |
[more] |
SS2004-36 pp.13-18 |
SS |
2004-11-26 11:00 |
Yamanashi |
Univ. of Yamanashi, Kofu(Takeda) Campus |
Modeling Web Applications with State Machines Masayo Osaki, Teruhiko Teraoka, Hideo Nakata (Mitsubishi Electric Corp.) |
This paper proposes the method of modeling Web applications with state machines of the UML. In this method, a Web page... [more] |
SS2004-37 pp.19-24 |
SS |
2004-11-26 11:30 |
Yamanashi |
Univ. of Yamanashi, Kofu(Takeda) Campus |
A Large-Scale Distributed File System with Flexible Access Control and Authority Delegation Hiroyoshi Kohinata (Yamanashi Univ.) |
With the development of network infrastructure in the near future, network computing environment will be realized and us... [more] |
SS2004-38 pp.25-30 |
SS |
2004-11-26 13:00 |
Yamanashi |
Univ. of Yamanashi, Kofu(Takeda) Campus |
A fast collision detection using bounding volume Kazuhiro Ikegaya, Hidetoshi Ando (Univ. of Yamanashi) |
Collision detection is a very important process in physical simulations in the areas such as virtual reality, robot engi... [more] |
SS2004-39 pp.31-36 |
SS |
2004-11-26 13:30 |
Yamanashi |
Univ. of Yamanashi, Kofu(Takeda) Campus |
An encrypted mailing list system with a certificate management function Yusuke Kume (Yamanashi Univ.) |
Aiming at promotion of wide deployment of encryption mailing lists, we discuss the problems of the existing systems and ... [more] |
SS2004-40 pp.37-41 |
SS |
2004-11-26 14:00 |
Yamanashi |
Univ. of Yamanashi, Kofu(Takeda) Campus |
An Electronic Guidebook for Support of Software Process Management Data Collection and Utilization Hiroshi Murakami, Hajimu Iida, Ken-ichi Matsumoto (NAIST) |
[more] |
SS2004-41 pp.43-48 |
SS |
2004-11-26 14:30 |
Yamanashi |
Univ. of Yamanashi, Kofu(Takeda) Campus |
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.) |
(To be available after the conference date) [more] |
SS2004-42 pp.49-54 |