Print edition: ISSN 0913-5685
Online edition: ISSN 2432-6380
[TOP] | [2006] | [2007] | [2008] | [2009] | [2010] | [2011] | [2012] | [Japanese] / [English]
SS2005-76
An analysis method of unexpected obstacles in embedded software by Information Flow Diagram
Hidehiro Kametani (KIT), Yasufumi Shinyashiki, Toshiro Mise (MEW), Masaaki Hashimoto, Naoyasu Ubayashi, Keiichi Katamine (KIT), Takako Nakatani (S-Lagoon)
pp. 1 - 6
SS2005-77
Formal Verification of Refactoring with ESC/Java
Shin Nakajima (NII), Yoshiaki Fukushima, Yusuke Hashimoto, Shinichi Iwasaki (NEC)
pp. 7 - 12
SS2005-78
Experiments for Ontology-based Requirements Elicitation Method
Takayuki Sugiura, Atsushi Ohnishi (Ritsumeikan Univ.)
pp. 13 - 18
SS2005-79
Report on Automated Software Engineering 2005
Kenji Taguchi (NII), Motoshi Saeki (TIT), Shinichi Honiden (NII)
pp. 19 - 22
SS2005-80
A supporting method of management of software requirements specification with differential analysis
Kanako Shimizu, Atsushi Ohnishi (Ritsumeikan Univ.)
pp. 23 - 28
SS2005-81
create the framework of active program from pi-expression
Katsumasa Watanabe (NAIST), LO Fuchuan (TOPPAN CFI), Masaki Nakanishi, Shigeru Yamashita (NAIST)
pp. 29 - 34
SS2005-82
Secrecy Verification of Spi Calculus based on Term Regular Expressions
Yoshihiko Tashiro, Toshiki Sakabe, Masahiko Sakai, Keiichirou Kusakari, Naoki Nishida (Nagoya Univ.)
pp. 35 - 40