Information and Systems-Software Science(Date:2001/01/16)

Presentation
表紙

,  

[Date]2001/1/16
[Paper #]
目次

,  

[Date]2001/1/16
[Paper #]
Development Method for Control Software : An Approach to Bridge between Control Theory and Computer Science

Noriyoshi SANO,  Satoshi YAMANE,  Tohru NAOI,  

[Date]2001/1/16
[Paper #]SS2000-42
Relation between stepwise satisfiablity and safety property of reactive system specification.

Noriaki Yoshiura,  Naoki Yonezaki,  

[Date]2001/1/16
[Paper #]SS2000-43
Formal Development Methodology of the E-commerce Software

CHIKAHIRO UMEDA,  SATOSHI YAMANE,  

[Date]2001/1/16
[Paper #]SS2000-44
Function Point Measurement for JAVA Program

Masahiro Imagawa,  Shinji Kusumoto,  Katsuro Inoue,  

[Date]2001/1/16
[Paper #]SS2000-45
Comparison between Software Process Description in Timed Automata and Description in Timed Modules

Yoshinobu Tachi,  Satoshi Hattori,  Koichiro Ochimizu,  

[Date]2001/1/16
[Paper #]SS2000-46
A Token-based Code Clone Detection Technique and Its Evaluation

Toshihiro Kamiya,  Shinji Kusumoto,  Katsuro Inoue,  

[Date]2001/1/16
[Paper #]SS2000-47
Consideration on a software process model for a distributed co-operative software development

Koichiro OCHIMIZU,  

[Date]2001/1/16
[Paper #]SS2000-48
Quantitative Analysis of Cloned Code on Legacy Software

Daikai Nakae,  Toshihiro Kamiya,  Akito Monden,  Hiroshi Kato,  Shin-ichi Sato,  Katsuro Inoue,  

[Date]2001/1/16
[Paper #]SS2000-49
Program Slicing Method Using Dynamic Data Dependence Analysis for Java Programs

Koya Hirose,  Fumiaki Ohata,  Katsuro Inoue,  

[Date]2001/1/16
[Paper #]SS2000-50
An Analysis for Characteristics Supplemented by Patterns

Kenichiro OOTA,  Yoshiaki FUKAZAWA,  

[Date]2001/1/16
[Paper #]SS2000-51
A Method of Finding Software Problems by Rearranging Source Codes

Atsuhiro Terai,  Shinji Uchida,  Kazuyuki Shima,  Yasuhiro Takemura,  Kenichi Matsumoto,  Katsuro Inoue,  Kouji Torii,  

[Date]2001/1/16
[Paper #]SS2000-52
[OTHERS]

,  

[Date]2001/1/16
[Paper #]