IEICE Technical Report

Print edition: ISSN 0913-5685

Software Science

Workshop Date : 2007-02-01 / Issue Date : 2007-01-25

SS2006-71
Automatic Programming of XML Transformer between Schemas based on Correspondence of Structures
Junpei Ogawa, Hideto Kasuya, Hirotaka Ohkubo, Shinichiro Yamamoto (Aichi Pref Univ.)
pp. 1 - 6

SS2006-72
Information flow analysis using model checking for history-based access control programs
Jing Wang, Nobuhiro Itoh, Yoshiaki Takata, Hiroyuki Seki (NAIST)
pp. 7 - 12

SS2006-73
Anomaly Detection Using Dataflow Analysis
Hiroki Kuzuno, Hiroyuki Seki (NAIST)
pp. 13 - 18

SS2006-74
Psuedo Method Callback in Java
Noriki Amano (Okayama Univ)
pp. 19 - 24

SS2006-75
Prediction of fault prone source code modules using text classifier
Shiro Ikami, Shuya Nakaichi, Osamu Mizuno, Tohru Kikuno (Osaka Univ.)
pp. 25 - 30

SS2006-76
A Consideration on UML Representation of Existing Feature Models
Yousuke Sadamatsu, Tsuneo Nakanishi, Teruaki Kitasuka, Akira Fukuda (Kyushu Univ.)
pp. 31 - 36

SS2006-77
On Delegation Based Design Method and Model Checking Method of Interrupt Processing
Yoshinori Sugata, Shingo Yamaguchi, Ryuuich Kurisu, Minoru Tanaka (Yamaguchi Univ.)
pp. 37 - 42

SS2006-78
On A Representation of A Procedural Processing Part in UML Based Visualization of Java Programs
Yoshihiko Hotta, Hirotaka Ohkubo, Hideto Kasuya, Shinichiro Yamamoto (Aichi Pref Univ.), Kunihiko Saito (Shiga Univ.)
pp. 43 - 48

Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.

The Institute of Electronics, Information and Communication Engineers (IEICE), Japan