| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
ソフトウェアサイエンス研究会 (SS) (検索条件: 2010年度)
「from:2010-08-05 to:2010-08-05」による検索結果
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| SS | 2010-08-05 10:30 |
北海道 | 旭川市民文化会館 | ソフトウェア開発組織のプロセス特性とソフトウェア品質との因果関係の定量的な推定法 ○板橋吉徳（パナソニック/北陸先端大）・落水浩一郎（北陸先端大）  SS2010-16 |
ソフトウェア品質の改善のために有効な対象プロセスの決定には，一般に経験的で定性的な手法が用いられる．これはプロセス特性が... [more] | SS2010-16 pp.1-4 |
| SS | 2010-08-05 11:00 |
北海道 | 旭川市民文化会館 | パターンに基づくコーディングルール構成手法の提案 ○長谷川 勇（野村総研） SS2010-17 |
企業における開発など大規模なソフトウェア開発では，コーディングルールを定めることが多い．コーディングルールはマネジメント... [more] | SS2010-17 pp.5-10 |
| SS | 2010-08-05 11:30 |
北海道 | 旭川市民文化会館 | ユーザ満足度を損ねずに省エネルギーを目指す要求適正化手法 ～ 開発コストを考慮した省エネルギー仕様選択 ～ ○中里 竜・安東孝信・深谷哲司（東芝） SS2010-18 |
環境への配慮等から，多くの製品で低消費エネルギー化が求められている．我々は，開発の上流工程から統括的にエネルギー消費を低... [more] | SS2010-18 pp.11-16 |
| SS | 2010-08-05 13:15 |
北海道 | 旭川市民文化会館 | デバッギングのための関心事指向推薦システム ○塩塚 大（九工大）・鵜林尚靖（九大） SS2010-19 |
デバッグをおこなう際，熟練したプログラマは経験をもとにバグの原因を推測することができる．一方で初心者はプログラミング言語... [more] | SS2010-19 pp.17-22 |
| SS | 2010-08-05 13:45 |
北海道 | 旭川市民文化会館 | プログラム依存グラフの一貫性検査に基づく欠陥検出手法の提案 ○山田吾郎（阪大）・吉田則裕（奈良先端大）・井上克郎（阪大） SS2010-20 |
本稿では，プロジェクト内の各ソースファイルから構築したプログラム依存グラフに対し一貫性検査を行うことで，ソースコードから... [more] | SS2010-20 pp.23-28 |
| SS | 2010-08-05 14:15 |
北海道 | 旭川市民文化会館 | モバイルFeliCa ICチップ開発におけるSPINを用いたモデル検査による品質確保 ○只野賢二・栗田太郎（フェリカネットワークス） SS2010-21 |
モバイル FeliCa IC チップのファームウェアの品質向上手法として,モデル検査器である SPIN を用いて, C ... [more] | SS2010-21 pp.29-34 |
| SS | 2010-08-05 15:00 |
北海道 | 旭川市民文化会館 | 実時間システムを対象としたCEGARによる抽象洗練の並列化手法 ○田中俊彰・長岡武志・岡野浩三・楠本真二（阪大） SS2010-22 |
時間オートマトンのCEGARを用いた到達可能性解析を行う手法について，高速化に関する技法を提案する．本稿では、初期抽象を... [more] | SS2010-22 pp.35-40 |
| SS | 2010-08-05 15:30 |
北海道 | 旭川市民文化会館 | Event-Bで書かれたシステム要求仕様の妥当性検査 ○中島 震（NII） SS2010-23 |
[more] | SS2010-23 pp.41-46 |
| SS | 2010-08-05 16:00 |
北海道 | 旭川市民文化会館 | 高階書換え系における引数切り落とし法と実効規則 ○鈴木 翔・草刈圭一朗（名大）・フレデリック ブランキ（INRIA） SS2010-24 |
静的依存対法は高階書換え系の停止性証明法である． この手法は一階の書換え系上で提案された依存対法と型付き$\lambd... [more] |
SS2010-24 pp.47-52 |
| SS | 2010-08-06 10:00 |
北海道 | 旭川市民文化会館 | OCLのJMLへの変換ツールの実装 ○宮澤清介・岡野浩三・楠本真二（阪大） SS2010-25 |
OCL(Object Constraint Language) はUML 記述に対しさらに詳細に性質記述を行うために設計... [more] | SS2010-25 pp.53-58 |
| SS | 2010-08-06 10:30 |
北海道 | 旭川市民文化会館 | バージョン管理システムのリポジトリを対象とするコード検索ツールの試作 ○神谷年洋（公立はこだて未来大） SS2010-26 |
本稿では，全リビジョンを対象としたコード検索ツールの潜在的な有効性の評価の一環として，ソースコード管理システムを用いた開... [more] | SS2010-26 pp.59-63 |
| SS | 2010-08-06 11:00 |
北海道 | 旭川市民文化会館 | コメント文によるプログラム中に出現する名詞の説明文生成 ○藤木哲也（阪大）・早瀬康裕（東洋大）・井上克郎（阪大） SS2010-27 |
ソフトウェア開発者はプログラム理解の際に，ソフトウェア中の識別子から関数や変数の役割や振舞いを類推する．識別子名中の単語... [more] | SS2010-27 pp.65-69 |
[研究会発表申込システムのトップページに戻る]