Information and Systems-Knowledge-Based Software Engineering(Date:2006/10/19)

Presentation
表紙

,  

[Date]2006/10/19
[Paper #]
目次

,  

[Date]2006/10/19
[Paper #]
Detecting Web Application Vulnerabilities with Static Analysis

SEIKOH NISHITA,  

[Date]2006/10/19
[Paper #]SS2006-40,KBSE2006-16
Approach to Software Verification Based on Transformation from Procedural Programs to Rewrite Systems

Yuki FURUICHI,  Naoki NISHIDA,  Masahiko SAKAI,  Keiichiro KUSAKARI,  Toshiki SAKABE,  

[Date]2006/10/19
[Paper #]SS2006-41,KBSE2006-17
Security Analysis of Information Flow for an Object-Oriented Language with Exception Handling

Sho KUROKAWA,  Hiroaki KUWABARA,  Shinichiro YAMAMOTO,  Toshiki SAKABE,  Masahiko SAKAI,  Keiichirou KUSAKARI,  Naoki NISHIDA,  

[Date]2006/10/19
[Paper #]SS2006-42,KBSE2006-18
A Trace and Analysis of Source Code Change Chain on Maintenance Phase

Jun MORISAKI,  Hirohisa AMAN,  Hiroyuki YAMADA,  

[Date]2006/10/19
[Paper #]SS2006-43,KBSE2006-19
A Study of Relationship between Class Cohesion and Corrective Maintainability

Junichi YAMASHITA,  Hirohisa AMAN,  Hiroyuki YAMADA,  

[Date]2006/10/19
[Paper #]SS2006-44,KBSE2006-20
A Relationship between Source Code External Dependency and Maintainability

Michio DOI,  Hirohisa AMAN,  Hiroyuki YAMADA,  

[Date]2006/10/19
[Paper #]SS2006-45,KBSE2006-21
Example programs generated by GeneSys and proposal of Introduction rule

Satoru KONDO,  Masahiko SAKAI,  Naoki NISHIDA,  Toshiki SAKABE,  Keiichirou KUSAKARI,  

[Date]2006/10/19
[Paper #]SS2006-46,KBSE2006-22
Supporting Generation of Exceptional Scenarios with a Normal Scenario

Hiroki SHUDO,  Taishi YAMAMOTO,  Atsushi OHNISHI,  

[Date]2006/10/19
[Paper #]SS2006-47,KBSE2006-23
Report on the 18^ International Conference on Advanced Information Systems Engineering

Shinobu SAITO,  Shuichiro YAMAMOTO,  Motoshi SAEKI,  

[Date]2006/10/19
[Paper #]SS2006-48,KBSE2006-24
複写される方へ

,  

[Date]2006/10/19
[Paper #]
Notice about Photocopying

,  

[Date]2006/10/19
[Paper #]
奥付

,  

[Date]2006/10/19
[Paper #]