Information and Systems-Software Science(Date:2005/01/13)

Presentation
表紙

,  

[Date]2005/1/13
[Paper #]
目次

,  

[Date]2005/1/13
[Paper #]
Comparison of CafeOBJ and Coq by Formally Specifying and Verifying of STS protocol

Koutaro HARA,  Kazuhiro OGATA,  Masaki NAKAMURA,  Kokichi FUTATSUGI,  

[Date]2005/1/13
[Paper #]SS2004-43
A Web Application Framework for Developing Rich Clients

Ichiro AKITA,  Naruki MITSUDA,  Naoki FUKUYASU,  Atsushi YOSHIDA,  Tsuneo AJISAKA,  

[Date]2005/1/13
[Paper #]SS2004-44
Ripple Down Rules, a practical method of learning from code rewrites

Eddy PARKINSON,  Shinji KAWAGUCHI,  Katsuro INOUE,  

[Date]2005/1/13
[Paper #]SS2004-45
Study on an Automatic Visualization Tool for Java to Educate Novice Programmers

Yoshihiro KITA,  Takanori KAWASOE,  Tetsuro KATAYAMA,  

[Date]2005/1/13
[Paper #]SS2004-46
Extraction of the Conversion Rules to Support the Programming from UML to Java Source Codes

Kiyohito SHIMOMURA,  Tetsuro KATAYAMA,  

[Date]2005/1/13
[Paper #]SS2004-47
Call Graph Construction for Aspect-Oriented Programs

Ryuugen HAYASHIDA,  Masanori IWAMOTO,  Atushi TOKUMON,  Jianjun ZHAO,  

[Date]2005/1/13
[Paper #]SS2004-48
Report on the Automated Software Engineering 2004

Yuji SAKATA,  Shigeyuki Matsuda,  Shuichiro YAMAMOTO,  Motoshi SAEKI,  Shinichi Honiden,  

[Date]2005/1/13
[Paper #]SS2004-49
複写される方へ

,  

[Date]2005/1/13
[Paper #]
Notice about Photocopying

,  

[Date]2005/1/13
[Paper #]
奥付

,  

[Date]2005/1/13
[Paper #]