Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380
[TOP] | [2006] | [2007] | [2008] | [2009] | [2010] | [2011] | [2012] | [Japanese] / [English]
SS2007-30
導出木からのループ検出による論理プログラムの非停止性証明法
○水谷知博・西田直樹・酒井正彦・坂部俊樹・草刈圭一朗（名大）
pp. 1 - 6
SS2007-31
QOCの相対的重みに関する表現能力欠如を解決するRational Decision Makingを用いた設計根拠獲得手法
○小林祐介・櫨山淳雄（学芸大）
pp. 7 - 12
SS2007-32
組込みシステムの外部環境に着目した動作仕様検証
○金川太俊・瀬戸敏喜・谷口 奨・吉田 純・鵜林尚靖（九工大）・鷲見 毅・平山雅之（東芝）
pp. 13 - 18
SS2007-33
ロボット制御ソフトウェアの形式的モデル検証
○大森洋一・井ノ口裕也・荒木啓二郎（九大）
pp. 19 - 24
SS2007-34
e-Learningによる英語構文基礎学力養成SYSTEM
○伴 浩美（東京未来大）・菅田 徹（金沢星稜大）
pp. 25 - 28
SS2007-35
計算機上で処理を受ける対象の意味づけを保存する場合の処理のモデル化の試案
○古宇田フミ子・近山 隆（東大）
pp. 29 - 34
SS2007-36
相関ルールマイニングによる企業横断データにおける不具合工数密度の分析
○出張純也・水野 修・菊野 亨（阪大）・菊地奈穂美・平山雅之（情報処理推進機構）
pp. 35 - 40
SS2007-37
メールスレッドのクラスター分析によるOSSプロジェクトのアクティビティ予測手法
○大蔵君治・大西洋司・川口真司・大平雅雄・飯田 元・松本健一（奈良先端大）
pp. 41 - 46
今後、次の点を修正する予定です。(1)欠けている表紙画像・奥付画像を補完いたします。(2)欠けている発行日の情報を補完いたします。
注： 本技術報告は査読を経ていない技術報告であり，推敲を加えられていずれかの場に発表されることがあります．