| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
ソフトウェアサイエンス研究会 (SS) (検索条件: 2011年度)
「from:2011-10-27 to:2011-10-27」による検索結果
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| SS | 2011-10-27 13:20 |
石川 | 北陸先端科学技術大学院大学 | ソーシャルメディアにおける情報の伝播がもたらす商品の売れ行きに対する影響について ～ Twitterのつぶやき数の推移とiTunes AppStoreのモバイルアプリの売れ行きの相関性 ～ ○奥田 輔・安田孝美（名大）・水野政司（クエリーアイ）  SS2011-27 |
近年,ソーシャルメディアの普及に伴い,ユーザが情報の発信,受信の双方を手軽に,かつリアルタイムな 情報の共有ができるよう... [more] | SS2011-27 pp.1-6 |
| SS | 2011-10-27 13:50 |
石川 | 北陸先端科学技術大学院大学 | サービス需給スキーマに基づく情報システム開発手法の提案 ○坪田佳久・鯵坂恒夫（和歌山大） SS2011-28 |
情報システムの分析・設計への新たなアプローチの提案である．従来の機能構造化やオブジェクト指向のようにプログラム構成法に端... [more] | SS2011-28 pp.7-11 |
| SS | 2011-10-27 14:20 |
石川 | 北陸先端科学技術大学院大学 | DBスキーマ変更を吸収するXMLDB向けDAO設計パターンの提案 ○榎本俊文・鈴木源吾・小林伸幸・山室雅司（NTT） SS2011-29 |
XML 技術をうまく活用することで, データベースのスキーマ変更か... [more] | SS2011-29 pp.13-18 |
| SS | 2011-10-27 15:05 |
石川 | 北陸先端科学技術大学院大学 | ソフトウェア部品検索に適したファセット探索の一考察 ○駒水孝裕・早瀬康裕・北川博之（筑波大） SS2011-30 |
ソフトウェア再利用はソフトウェアの品質向上と開発工程数の低減に役立つと考えられており，再利用するソフトウェア部品を見つけ... [more] | SS2011-30 pp.19-24 |
| SS | 2011-10-27 15:35 |
石川 | 北陸先端科学技術大学院大学 | デルタ抽出のための効率の良いアルゴリズムの開発と実装 ○山根敬史・新田直也（甲南大） SS2011-31 |
オブジェクト指向プログラムでは, ある機能の実行が別の機能の実行に影響を及ぼす現象が多く見られる. そのため, デバッグ... [more] | SS2011-31 pp.25-30 |
| SS | 2011-10-27 16:20 |
石川 | 北陸先端科学技術大学院大学 | ［招待講演］ソフトウェア工学研究推進の駆動力 ○落水浩一郎（北陸先端大） SS2011-32 |
ソフトウェアプロセスモデル、ソフトウェア開発方法論、プロジェクト管理技術、言語と環境などに関するソフトウェア工学の達成点... [more] | SS2011-32 pp.31-36 |
| SS | 2011-10-28 09:30 |
石川 | 北陸先端科学技術大学院大学 | 再帰プログラムに対するパラメトリック実行時間解析手法とツールの試作 ○椛島和宏・中田明夫（広島市大） SS2011-33 |
実時間性を持つソフトウェア部品に関しては，実行時間がプロセッサなどの実行環境に依存するため，異なる環境への再利用は一般に... [more] | SS2011-33 pp.37-42 |
| SS | 2011-10-28 10:00 |
石川 | 北陸先端科学技術大学院大学 | リソース制約を持つ複数タスク動作仕様におけるタイムバジェット最適化の一手法 ○倉田和哉・百々太市・中田明夫（広島市大） SS2011-34 |
[more] | SS2011-34 pp.43-48 |
| SS | 2011-10-28 10:30 |
石川 | 北陸先端科学技術大学院大学 | パターンに基づくCSP記述の検査に関する考察 ○張 漢明・野呂昌満・沢田篤史・吉田 敦・蜂巣吉成・横森励士（南山大） SS2011-35 |
モデル検査では，デッドロックや仕様が満たされないことを検出した場合，反例が提示されるが，その原因となるフォールトを特定す... [more] | SS2011-35 pp.49-54 |
| SS | 2011-10-28 11:15 |
石川 | 北陸先端科学技術大学院大学 | 有限Alloy記述の段階的な構築について ○小飼 敬（茨城高専）・中島 震（NII）・上田賀一（茨城大） SS2011-36 |
Alloy記述を作成する過程では，記述の確認を行う繰り返し作業の際に，探索スコープを限定したコマンドで解析することが多い... [more] | SS2011-36 pp.55-60 |
| SS | 2011-10-28 11:45 |
石川 | 北陸先端科学技術大学院大学 | 分離論理を用いたTOPPERS/ASPの割込み動作に対する検証 ○中島 崇・結縁祥治（名大） SS2011-37 |
本研究では，TOPPERS/ASPの割込み処理におけるARMアセンブリ言語コードの振舞を分離論理を用いて検証する．ARM... [more] | SS2011-37 pp.61-66 |
| SS | 2011-10-28 12:15 |
石川 | 北陸先端科学技術大学院大学 | 2リテラル監視法で実装されたSATソルバへの基本対称節処理機能の組み込み ○日野善信・酒井正彦・坂部俊樹・草刈圭一朗・西田直樹（名大） SS2011-38 |
論論理式の充足可能性判定問題（SAT問題）を解くSATソルバの高速化の一手法として，馬野らは2010年にCNFへの基本対... [more] | SS2011-38 pp.67-72 |
[研究会発表申込システムのトップページに戻る]