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

Presentation
表紙

,  

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

,  

[Date]2006/1/26
[Paper #]
An analysis method of unexpected obstacles in embedded software by Information Flow Diagram

Hidehiro KAMETANI,  Yasuhumi SHINYASHIKI,  Toshiro MISE,  Masaaki HASHIMOTO,  Naoyasu UBAYASHI,  Keiichi KATAMINE,  Takako NAKATANI,  

[Date]2006/1/26
[Paper #]SS2005-76
Formally Verifying Correctness of Refactoring with ESC/Java2

Shin NAKAJIMA,  Yoshiaki FUKUSHIMA,  Yusuke HASHIMOTO,  Shin'ichi IWASAKI,  

[Date]2006/1/26
[Paper #]SS2005-77
Experiments for Ontology-based Requirements Elicitation Method

Takayuki SUGIURA,  Atsushi OHNISHI,  

[Date]2006/1/26
[Paper #]SS2005-78
Report on Automated Software Engineering 2005

Kenji TAGUCHI,  Motoshi SAEKI,  Shinichi HONIDEN,  

[Date]2006/1/26
[Paper #]SS2005-79
A Supporting Method of Management of Software Requirements Specification with Differential Analysis

Kanako SHIMIZU,  Atsushi OHNISHI,  

[Date]2006/1/26
[Paper #]SS2005-80
create the framework of active program from π-expression

Katsumasa WATANABE,  LO FUCHUAN,  Masaki NAKANISHI,  Sigeru YAMASHITA,  

[Date]2006/1/26
[Paper #]SS2005-81
Secrecy Verification of Spi Calculus based on Term Regular Expressions

Yoshihiko TASHIRO,  Toshiki SAKABE,  Masahiko SAKAI,  Keiichirou KUSAKARI,  Naoki NISHIDA,  

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

,  

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

,  

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

,  

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