Information and Systems-Software Science(Date:2003/01/23)

Presentation
表紙

,  

[Date]2003/1/23
[Paper #]
目次

,  

[Date]2003/1/23
[Paper #]
Markovian Software Availability Measurement Based on the Number of Debuggings Under Intermittent Use

Yutaka SAITOH,  Koichi TOKUNO,  Shigeru YAMADA,  

[Date]2003/1/23
[Paper #]SS2002-27
Improving the performance of SAT-based model checking for Petri nets

Koji ICHIHARA,  Tatsuhiro TSUCHIYA,  Tohru KIKUNO,  

[Date]2003/1/23
[Paper #]SS2002-28
Specification and Verification of Real-Time System with Extended Timed Automata

Yuichiro KATO,  Horozumi YAMAGUCHI,  Kozo OKANO,  Kenichi TANIGUCHI,  

[Date]2003/1/23
[Paper #]SS2002-29
An Automatic Validation of Accessibility Guidelines for XML Document based on a Specification Language

Takeshi NAKAMURA,  Yoshiaki TAKATA,  Hiroyuki SEKI,  

[Date]2003/1/23
[Paper #]SS2002-30
Formal Refinement Varification Method of Real-Time Systems with Discrete Probability Distributions

Satoshi YAMANE,  

[Date]2003/1/23
[Paper #]SS2002-31
A Quality Engineering Analysis for Human Factors Affecting Software Reliability in the Design Review Process

Ryotaro MATSUDA,  Shigeru YAMADA,  

[Date]2003/1/23
[Paper #]SS2002-32
On Relationship Between the Number of Debuggings and Software Safety/Availability Measurement

Hisanaga SAITSU,  Koichi TOKUNO,  Shigeru YAMADA,  

[Date]2003/1/23
[Paper #]SS2002-33
Software Process Model and Process Centered Environment for Process Assets Reuse

Teppei GOTO,  Hajimu IIDA,  Ken'ichi MATSUMOTO,  Yasushi TANAKA,  

[Date]2003/1/23
[Paper #]SS2002-34
Development of Project-Case Sharing System based on Graph Model Expression of Software Process

Takeso KASUBUCHI,  Hajimu IIDA,  Ken'ichi MATSUMOTO,  Yasushi TANAKA,  

[Date]2003/1/23
[Paper #]SS2002-35
A Flexible Stochastic Differential Equation Model for Distributed Development Environment with Application to Optimal Software Release Problems

Masaya UCHIDA,  Yoshinobu TAMURA,  Shigeru YAMADA,  Mitsuhiro KIMURA,  

[Date]2003/1/23
[Paper #]SS2002-36
複写される方へ

,  

[Date]2003/1/23
[Paper #]
奥付

,  

[Date]2003/1/23
[Paper #]