| 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 |