Information and Systems-Software Science(Date:2006/01/27)

Presentation
表紙

,  

[Date]2006/1/27
[Paper #]
目次

,  

[Date]2006/1/27
[Paper #]
An AHP Based Technique for Selecting Requirements Alternatives

Takao YAMAZAKI,  Motoshi SAEKI,  

[Date]2006/1/27
[Paper #]SS2005-83
Model Checking Integrated Services of Home Network Systems

Takafumi MATSUO,  Pattara LEELAPRUTE,  Tatsuhiro TSUCHIYA,  Tohru KIKUNO,  

[Date]2006/1/27
[Paper #]SS2005-84
Lexicographic Path Ordering for Proving Termination of Functional Programs

Yumi HOSHINO,  Keiichirou KUSAKARI,  Masahiko SAKAI,  Toshiki SAKABE,  Naoki NISHIDA,  

[Date]2006/1/27
[Paper #]SS2005-85
A Verification Considering the Network Delay for Real-time Distributed Systems with the Probabilistic Model Checker PRISM

Eigo NAGAI,  Kozo OKANO,  Shinji KUSUMOTO,  

[Date]2006/1/27
[Paper #]SS2005-86
A Proposal for Web Application Framework Improving Modularity of Page and Function

Takao HARAGUCHI,  Kouichi ONO,  Yoshiaki FUKAZAWA,  

[Date]2006/1/27
[Paper #]SS2005-87
Runtime environment of work flows for change support in a cooperative software development

Masayuki KOTANI,  Koichiro OCHIMIZU,  

[Date]2006/1/27
[Paper #]SS2005-88
複写される方へ

,  

[Date]2006/1/27
[Paper #]
Notice about photocopying

,  

[Date]2006/1/27
[Paper #]
奥付

,  

[Date]2006/1/27
[Paper #]