| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
ソフトウェアサイエンス研究会 (SS) (検索条件: 2007年度)
「from:2007-10-22 to:2007-10-22」による検索結果
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| SS | 2007-10-22 14:00 |
宮城 | 宮城大学 | 導出木からのループ検出による論理プログラムの非停止性証明法 ○水谷知博・西田直樹・酒井正彦・坂部俊樹・草刈圭一朗（名大）  SS2007-30 |
本稿では，論理プログラムの非停止性を自動的に証明する手法を提案する．本手法では，与えられた質問パターンを代表する質問から... [more] | SS2007-30 pp.1-6 |
| SS | 2007-10-22 14:30 |
宮城 | 宮城大学 | セマンティックウェブにおける時制的拡張 ○富樫 敦（宮城大）・湯本純也（NECソフトウェア） |
[more] | |
| SS | 2007-10-22 15:15 |
宮城 | 宮城大学 | QOCの相対的重みに関する表現能力欠如を解決するRational Decision Makingを用いた設計根拠獲得手法 ○小林祐介・櫨山淳雄（学芸大） SS2007-31 |
近年，ソフトウェア設計において，設計根拠獲得の重要性が広く認識されている．そして，設計根拠獲得のためにQOC (Ques... [more] | SS2007-31 pp.7-12 |
| SS | 2007-10-22 15:45 |
宮城 | 宮城大学 | 組込みシステムの外部環境に着目した動作仕様検証 ○金川太俊・瀬戸敏喜・谷口 奨・吉田 純・鵜林尚靖（九工大）・鷲見 毅・平山雅之（東芝） SS2007-32 |
組込みシステムの多くはセンサやアクチュエータを通して外部のコンテキストから影響を受ける．そこで我々はそれらの影響を分析す... [more] | SS2007-32 pp.13-18 |
| SS | 2007-10-22 16:15 |
宮城 | 宮城大学 | ロボット制御ソフトウェアの形式的モデル検証 ○大森洋一・井ノ口裕也・荒木啓二郎（九大） SS2007-33 |
産業用ロボットの分野に対して形式仕様記述を適用し，ロボットおよびその動作環境の数学的なモデルを記述する． 得られた数学... [more] |
SS2007-33 pp.19-24 |
| SS | 2007-10-23 09:40 |
宮城 | 宮城大学 | e-Learningによる英語構文基礎学力養成SYSTEM ○伴 浩美（東京未来大）・菅田 徹（金沢星稜大） SS2007-34 |
[more] | SS2007-34 pp.25-28 |
| SS | 2007-10-23 10:10 |
宮城 | 宮城大学 | 計算機上で処理を受ける対象の意味づけを保存する場合の処理のモデル化の試案 ○古宇田フミ子・近山 隆（東大） SS2007-35 |
計算機上の処理指示を利用者の視点に基づいた処理の(部分的な)記述からできるように 処理の意味づけを明確化して、処理の説... [more] |
SS2007-35 pp.29-34 |
| SS | 2007-10-23 10:55 |
宮城 | 宮城大学 | 相関ルールマイニングによる企業横断データにおける不具合工数密度の分析 ○出張純也・水野 修・菊野 亨（阪大）・菊地奈穂美・平山雅之（情報処理推進機構） SS2007-36 |
[more] | SS2007-36 pp.35-40 |
| SS | 2007-10-23 11:25 |
宮城 | 宮城大学 | メールスレッドのクラスター分析によるOSSプロジェクトのアクティビティ予測手法 ○大蔵君治・大西洋司・川口真司・大平雅雄・飯田 元・松本健一（奈良先端大） SS2007-37 |
オープンソースソフトウェア(OSS)開発において，プロジェクトのアクティビティ（開発の活発度）は成果物の品質に影響を及ぼ... [more] | SS2007-37 pp.41-46 |
[研究会発表申込システムのトップページに戻る]