Information and Systems-Software Science(Date:2001/05/22)

Presentation
表紙

,  

[Date]2001/5/22
[Paper #]
目次

,  

[Date]2001/5/22
[Paper #]
A New Selective Software Testing Method Based on Priorities Assigned to Functional Modules

Masayuki Hirayama,  Tetsuya Yamamoto,  Jiro Okayasu,  Osamu Mizuno,  Tohru Kikuno,  

[Date]2001/5/22
[Paper #]SS2001-6
An Efficient Security Verification Method for Programs with Stack Inspection

Naoya Nitta,  Yoshiaki Takata,  Hiroyuki Seki,  

[Date]2001/5/22
[Paper #]SS2001-7
Detecting Equalities based on Eliminating Partial Must Aliases

M. Takimoto,  K. Harada,  

[Date]2001/5/22
[Paper #]SS2001-8
A Lightweight Formal Method for Component-based Software Development

Michihiro Matsumoto,  Kokichi Futatsugi,  

[Date]2001/5/22
[Paper #]SS2001-9
Quality of software component from static aspect.

Hirokazu YAMAMOTO,  Hironori WASHIZAKI,  Yoshiaki FUKAZAWA,  

[Date]2001/5/22
[Paper #]SS2001-10
Development of Home Page Assist Language System HALS

Shingo HAYASHI,  Akira NAKAMURA,  Tadashi ANDO,  

[Date]2001/5/22
[Paper #]SS2001-11
[OTHERS]

,  

[Date]2001/5/22
[Paper #]