Information and Systems-Software Science(Date:2000/01/18)

Presentation
表紙

,  

[Date]2000/1/18
[Paper #]
目次

,  

[Date]2000/1/18
[Paper #]
Analysis and Visualization of Log Information in Open Source Software Development

Mitsunori FUJITA,  Kazuhiro FUJIEDA,  Koichiro OCHIMIZU,  

[Date]2000/1/18
[Paper #]SS99-50
Computer Aided Method Engineering Based on Object Base and WWW

Motoshi Saeki,  Mikiya Tsuchida,  Koichiro Nishiue,  

[Date]2000/1/18
[Paper #]SS99-51
A Proposal of Debugging Method with Changes between Versions

Masayoshi Teraguchi,  Makoto Matsushita,  Katsuro Inoue,  

[Date]2000/1/18
[Paper #]SS99-52
Generating Test Items by Applying Software Fault Tree Analysis

Masayuki Hirayama,  Takuya Kishimoto,  Osamu Mizuno,  Tohru Kikuno,  

[Date]2000/1/18
[Paper #]SS99-53
Fomal specification and deductive verification based on Timed Statechart

Satoshi Yamane,  

[Date]2000/1/18
[Paper #]SS99-54
A specification language for reactive systems and characterization of specification refinements in reactive systems

Kenji Yamashita,  Vaithinathan Vanitha,  Kimiyuki Fukuzawa,  Naoki Yonezaki,  

[Date]2000/1/18
[Paper #]SS99-55
Finding Optimal Resourse Allocation that Maximizes Reliability of Distributed Systems

Yoshinobu Enami,  Tatsuhiro Tsuchiya,  Tohru Kikuno,  

[Date]2000/1/18
[Paper #]SS99-56
An Agent Model Based on Collaboration and Scenario

Shin-ya WATANABE,  Takashi NAKANISHI,  Eiichi MIYAMOTO,  

[Date]2000/1/18
[Paper #]SS99-57
Message control mechanism in concurrent object systems based on GIM

Tomoyoshi Seki,  Shin-ya Watanabe,  Eiichi Miyamoto,  

[Date]2000/1/18
[Paper #]SS99-58
Trial Experiments of Distributed Parallel Processing with JavaSpaces:Linda-based Object Shared Space

Takaya Yuizono,  Shigeru Nakayama,  

[Date]2000/1/18
[Paper #]SS99-59
[OTHERS]

,  

[Date]2000/1/18
[Paper #]