電子情報通信学会技術研究報告

Print edition: ISSN 0913-5685
Online edition: ISSN 2432-6380

vol. 105, no. 596

ソフトウェアサイエンス

[PREV] [NEXT]

SS2005-76
情報フロー・ダイアグラムによる組込みソフトウェア非正常系の分析手法
○亀谷秀洋（九工大）・新屋敷泰史・三瀬敏郎（松下電工/九工大）・橋本正明・鵜林尚靖・片峯恵一（九工大）・中谷多哉子（エス・ラグーン/九工大）
pp. 1 - 6

SS2005-77
リファクタリングの正しさのESC/Java2による形式検証
○中島　震（NII）・福島慶明・橋本祐介・岩崎新一（NEC）
pp. 7 - 12

SS2005-78
オントロジーを用いた要求獲得手法のための比較実験
○杉浦剛之・大西　淳（立命館大）
pp. 13 - 18

SS2005-79
Automated Software Engineering 2005 参加報告
○田口研治（NII）・佐伯元司（東工大）・本位田真一（NII）
pp. 19 - 22

SS2005-80
差分分析による要求仕様の管理支援手法
○清水可奈子・大西　淳（立命館大）
pp. 23 - 28

SS2005-81
π計算表示から能動形プログラムの枠組みの生成
○渡邉勝正（奈良先端大）・駱　福全（台湾凸版）・中西正樹・山下　茂（奈良先端大）
pp. 29 - 34

SS2005-82
項正規表現に基づくSpi計算の機密性検証
○田代善彦・坂部俊樹・酒井正彦・草刈圭一朗・西田直樹（名大）
pp. 35 - 40

今後、次の点を修正する予定です。(1)欠けている表紙画像・奥付画像を補完いたします。(2)欠けている発行日の情報を補完いたします。