Information and Systems-Software Science(Date:2004/11/18)

Presentation
表紙

,  

[Date]2004/11/18
[Paper #]
目次

,  

[Date]2004/11/18
[Paper #]
Specification and Verification of Digital Logic Based on Automaton Model

Kazuhiro YAMANAKA,  Satoru IZUMI,  Yasushi KATO,  Kaoru TAKAHAHSI,  

[Date]2004/11/18
[Paper #]SS2004-26
Study on a Testing Method for Java Programs with UML Diagrams

Yusuke YABUYA,  Kiyohito SHIMOMURA,  Tetsuro KATAYAMA,  

[Date]2004/11/18
[Paper #]SS2004-27
Verification method of scenarios with rules based on pre-conditions and post-conditions

Tatsuya TOYAMA,  Atsushi OHNISHI,  

[Date]2004/11/18
[Paper #]SS2004-28
A supporting method of generating Alternative and Exceptional scenarios

Kouji KITAMOTO,  Hiroya ITOGA,  Atsushi OHNISHI,  

[Date]2004/11/18
[Paper #]SS2004-29
Integration technique of table type similar data on Web

Chiaki YOSHIMURA,  Yoshimichi WATANABE,  

[Date]2004/11/18
[Paper #]SS2004-30
Reconstruction method of an XBRL document corresponding to revision of taxonomy

Yohei YAHATA,  Yooshimichi WATANABE,  

[Date]2004/11/18
[Paper #]SS2004-31
Evaluating the Cost of Program Mental Simulation Based on the Number and Variance of Variable Updates

Takahisa ISHIGURO,  Hiroshi IGAKI,  Masahide NAKAMURA,  Akito MONDEN,  Ken-ichi MATSUMOTO,  

[Date]2004/11/18
[Paper #]SS2004-32
Simulating Fuison Transformation by Program-Generation Transformation

Masanori NAGASHIMA,  Masahiko SAKAI,  Naoki NISHIDA,  Toshiki SAKABE,  Keiichirou KUSAKARI,  

[Date]2004/11/18
[Paper #]SS2004-33
複写される方へ

,  

[Date]2004/11/18
[Paper #]
奥付

,  

[Date]2004/11/18
[Paper #]