| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
ソフトウェアサイエンス研究会 (SS) (検索条件: 2010年度)
「from:2010-10-14 to:2010-10-14」による検索結果
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| SS | 2010-10-14 14:00 |
岩手 | 岩手県立大学 | 要求フレームを利用した品質要求分析支援 ○海谷治彦（信州大）・大西 淳（立命館大）  SS2010-28 |
要求定義において，半形式的な記法である要求フレームに基づく要求言語を採用し， 要求フレームの構成要素に従って定義すべき... [more] |
SS2010-28 pp.1-6 |
| SS | 2010-10-14 14:30 |
岩手 | 岩手県立大学 | スペクトラム分析の実績に基づくソフトウェア品質要求評価ツールの実現と評価 ○鈴木駿一・梅村真弘・谷川正明・小川 亮・海谷治彦・海尻賢二（信州大） SS2010-29 |
良い要求仕様書を作成するためには，ドメインの持つ特性を把握し，また顧客の暗黙的な要求を引き出すことが重要である．このとき... [more] | SS2010-29 pp.7-12 |
| SS | 2010-10-14 15:00 |
岩手 | 岩手県立大学 | 形式的洗練パターンによるコンポーネントベース・ゴールモデリング手法 ○野村 潤・成瀬龍人（九工大）・外村慶二・鵜林尚靖（九大）・司代尊裕・岩井明史（デンソー） SS2010-30 |
ソフトウェア開発の初期段階において要求の抽出に効果的な分析手法にゴール指向分析法がある．しかし，開発するシステムが多くの... [more] | SS2010-30 pp.13-18 |
| SS | 2010-10-14 15:45 |
岩手 | 岩手県立大学 | コードの生存期間を考慮したコードクローンと欠陥修正の関係調査 ○齋藤 晃（阪大）・吉田則裕（奈良先端大）・松下 誠・井上克郎（阪大） SS2010-31 |
[more] | SS2010-31 pp.19-24 |
| SS | 2010-10-14 16:15 |
岩手 | 岩手県立大学 | ソフトウェアライセンスがコピーアンドペーストによる再利用に与える影響の調査 ○鹿島 悠（阪大）・早瀬康裕（東洋大）・吉田則裕（奈良先端大）・真鍋雄貴・井上克郎（阪大） SS2010-32 |
オープンソースソフトウェア(OSS)のソースコードは，ライセンスに示された条件を満たすことで再利用することが出来る． ... [more] |
SS2010-32 pp.25-30 |
| SS | 2010-10-14 17:00 |
岩手 | 岩手県立大学 | ［招待講演］近年の一階論理定理証明プログラムの実際 ○岩沼宏治（山梨大） SS2010-33 |
本稿では近年発展を遂げてきた一階論理定理証明システム，特に，応用上極めて重要な等号推論システムについて概説を行う．現在ま... [more] | SS2010-33 pp.31-36 |
| SS | 2010-10-15 09:45 |
岩手 | 岩手県立大学 | 結合テストにおけるテスト項目自動生成手法の提案と評価 ○丹野治門・張 暁晶・星野 隆（NTT） SS2010-34 |
Webアプリケーションのテスト工程では，プレゼンテーション層，ビジネスロジック層，データ層 という3層間の結合テストが... [more] |
SS2010-34 pp.37-42 |
| SS | 2010-10-15 10:15 |
岩手 | 岩手県立大学 | 欠損を含むプロジェクトデータからのプロジェクト成否予測のための特徴抽出 ○出張純也・菊野 亨（阪大）・菊地奈穂美（OKI）・平山雅之（情報処理推進機構） SS2010-35 |
本研究では，企業で収集されている欠損を含むソフトウェア開発プロジェクトデータから，プロジェクトの成否と関連がある特徴の抽... [more] | SS2010-35 pp.43-48 |
| SS | 2010-10-15 11:00 |
岩手 | 岩手県立大学 | 等式理論を法とするDPLL遷移系について ○馬場達也・坂部俊樹・西田直樹・草刈圭一朗・酒井正彦（名大） SS2010-36 |
SMTソルバは，指定された述語理論の下で論理式の充足可能性判定を行うツールであり，配列，リスト，キューなどの多くの理論を... [more] | SS2010-36 pp.49-54 |
| SS | 2010-10-15 11:30 |
岩手 | 岩手県立大学 | 難解言語Malbolgeのチューリング完全性について ○長坂 哲・酒井正彦・坂部俊樹・草刈圭一朗・西田直樹（名大） SS2010-37 |
Malbolge は最も難解なプログラミング言語として知られている．本研究では，飯澤らが提案したプログラミング手法に基づ... [more] | SS2010-37 pp.55-60 |
| SS | 2010-10-15 12:00 |
岩手 | 岩手県立大学 | FreeBSDのソースコードレポジトリにおけるリビジョンを超えたコード断片のコピーの分析 ○神谷年洋（公立はこだて未来大） SS2010-38 |
本稿では，全リビジョンを対象としたコード検索ツールの潜在的な有効性の評価の一環として，ソースコード管理システムを用いた開... [more] | SS2010-38 pp.61-65 |
[研究会発表申込システムのトップページに戻る]