| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
ソフトウェアサイエンス研究会 (SS) (検索条件: 2010年度)
「from:2011-03-07 to:2011-03-07」による検索結果
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| SS | 2011-03-07 09:00 |
沖縄 | 沖縄県青年会館 | センサ駆動連携サービスのための連鎖検出手法の検討 ○稲田卓也・池上弘祐・柗本真佑・中村匡秀（神戸大）・井垣 宏（東京工科大）  SS2010-53 |
[more] | SS2010-53 pp.1-6 |
| SS | 2011-03-07 09:25 |
沖縄 | 沖縄県青年会館 | ホームネットワークシステムのためのパーソナルリモコン開発フレームワーク ○徳田啓介・稲田卓也・柗本真佑・中村匡秀（神戸大） SS2010-54 |
我々の研究グループでは，ネットワーク上から宅内家電を操作できるホームネットワークシステム(HNS)を構築しており， 様... [more] |
SS2010-54 pp.7-12 |
| SS | 2011-03-07 09:50 |
沖縄 | 沖縄県青年会館 | 多様な通信方式の機器に適用可能なデバイスモデルの提案 ○野口智史・鈴木健司（三菱電機） SS2010-55 |
ファクトリーオートメーション(FA)システムは，様々な機器(デバイス)をネットワークで接続して構成する．FAシステムの開... [more] | SS2010-55 pp.13-18 |
| SS | 2011-03-07 10:15 |
沖縄 | 沖縄県青年会館 | 位置透過性のあるシステムコールを有する組込み制御システム向け分散リアルタイムOS ○知場貴洋（東京都市大）・伊丹悠一（日立情報通信エンジニアリング）・兪 明連・横山孝典（東京都市大） SS2010-56 |
本論文では，自動車制御などの組込み制御システムを対象とした分散リアルタイムOSについて述べる． 多くの組込み制御システ... [more] |
SS2010-56 pp.19-24 |
| SS | 2011-03-07 10:50 |
沖縄 | 沖縄県青年会館 | アスペクト指向プログラミングによる組込みOSのカスタマイズ手法の提案 ○阿部一樹・横山孝典・兪 明連（東京都市大） SS2010-57 |
本論文は，アプリケーションに応じた機能変更を効率的に行うため，組込みOS の機能をアスペクト指向 プログラミングに基づ... [more] |
SS2010-57 pp.25-30 |
| SS | 2011-03-07 11:15 |
沖縄 | 沖縄県青年会館 | 利用率をベースにしたリアルタイムスケジューリングアルゴリズムの提案 ○岡崎 旭・兪 明連・横山孝典（東京都市大） SS2010-58 |
近年，組み込みリアルタイムシステムはシステムの大規模化，複雑化に伴いマルチプロセッサ技術の利用が一般的になりつつある．そ... [more] | SS2010-58 pp.31-36 |
| SS | 2011-03-07 11:40 |
沖縄 | 沖縄県青年会館 | RMに基づいたマルチプロセッサ用プリエンプション低減リアルタイムスケジューリングアルゴリズムの提案 ○西垣公平・兪 明連・横山孝典（東京都市大） SS2010-59 |
近年，組み込みリアルタイムシステムにおいてマルチプロセッサ技術の利用が一般化している．そのよう な背景から，マルチプロ... [more] |
SS2010-59 pp.37-42 |
| SS | 2011-03-07 13:30 |
沖縄 | 沖縄県青年会館 | 振る舞いモデル生成機能を持つSimulink・UMLモデル変換ツール ○田村雅成・神山達哉・添田隆弘・兪 明連・横山孝典（東京都市大） SS2010-60 |
モデルベース開発による組込み制御ソフトウェアの開発効率向上を目的に，制御設計により構築されたSimulinkモデルからソ... [more] | SS2010-60 pp.43-48 |
| SS | 2011-03-07 13:55 |
沖縄 | 沖縄県青年会館 | オープンソースリポジトリにおけるバグ修正履歴の再利用性評価 ○塩塚 大（九工大）・鵜林尚靖（九大） SS2010-61 |
デバッグを行う際，プログラマはバグの有りそうな箇所を検査したり，様々なコード上の箇所を行き来したり，あるいは過去のバグ修... [more] | SS2010-61 pp.49-54 |
| SS | 2011-03-07 14:20 |
沖縄 | 沖縄県青年会館 | Towards Objective Estimations of Software Implementation Progress ○Camargo Cruz Ana Erika・Koichiro Ochimizu（JAIST） SS2010-62 |
[more] | SS2010-62 pp.55-60 |
| SS | 2011-03-07 14:45 |
沖縄 | 沖縄県青年会館 | 制約付き木オートマトンとその閉包性 ○倉橋克尚・酒井正彦・西田直樹・野村太志・坂部俊樹・草刈圭一朗（名大） SS2010-63 |
木オートマトンは項を入力としたオートマトンであり，和集合・補集合・積集合演算に閉じていることや空判定問題が決定可能である... [more] | SS2010-63 pp.61-66 |
| SS | 2011-03-07 15:20 |
沖縄 | 沖縄県青年会館 | 差分シナリオを用いたシナリオ検索支援 吉田裕作・○大西 淳（立命館大） SS2010-64 |
シナリオを利用したシステム開発では，システム全体の振る舞いを明確にするために多くのシナリオを作成する必要がある．過去に作... [more] | SS2010-64 pp.67-72 |
| SS | 2011-03-07 15:45 |
沖縄 | 沖縄県青年会館 | 責務記述に基づくクラスの責務割り当て支援 ○秋山幹博・林 晋平（東工大）・小林隆志（名大）・佐伯元司（東工大） SS2010-65 |
オブジェクト指向開発では，設計にあたって各クラスに適切に責務を割り当てることにより，後の開発工程をより円滑に進めることが... [more] | SS2010-65 pp.73-78 |
| SS | 2011-03-07 16:10 |
沖縄 | 沖縄県青年会館 | オープンソース開発におけるSCMの自動分類に基づくevolutionの傾向分析と品質評価 ○戴 家豪・海尻賢二・海谷治彦（信州大） SS2010-66 |
オープンソース開発は統一された環境下で行われていないため、ソフトウェアの開発状況について客観的評価は困難である。本研究で... [more] | SS2010-66 pp.79-84 |
| SS | 2011-03-07 16:35 |
沖縄 | 沖縄県青年会館 | コーディング規約の違反計測に基づく開発スタイルの特徴分析 ○寺岡仁志・海尻賢二・海谷治彦（信州大） SS2010-67 |
ソフトウェア開発スタイルの中でもコーディング規約に着目し、規約を遵守することと、それによって生成されるソフトウェアの品質... [more] | SS2010-67 pp.85-90 |
| SS | 2011-03-08 09:00 |
沖縄 | 沖縄県青年会館 | 有界モデル検査法を用いたモジュラー検証のテストケース生成による補完 ○橋本祐介（総研大/NEC）・中島 震（NII/総研大） SS2010-68 |
有界モデル検査法では，プログラムを有限状態遷移システムに変換する際に近似を導入する．近似は誤警告や不具合の見過しという問... [more] | SS2010-68 pp.91-96 |
| SS | 2011-03-08 09:25 |
沖縄 | 沖縄県青年会館 | プログラム変換を用いたポインタ操作プログラムの検証にむけて ～ Morrisの二分木走査アルゴリズムによるケーススタディ ～ ○渡部卓雄・森口草介・山田一宏・西崎真也（東工大） SS2010-69 |
ポインタ書き換えを伴うプログラムのプログラム変換にもとづく検証のケーススタディとして， Morrisの二分木走査アルゴ... [more] |
SS2010-69 pp.97-102 |
| SS | 2011-03-08 09:50 |
沖縄 | 沖縄県青年会館 | 否定前件を含む構造操作意味定義に対するプロセス計算コンパイラ ○伴 潤・結縁祥治（名大） SS2010-70 |
構造操作意味定義(Structural Operational Semantics, SOS)は並行プロセス計算の操作的... [more] | SS2010-70 pp.103-108 |
| SS | 2011-03-08 10:15 |
沖縄 | 沖縄県青年会館 | GameFrameWork CeriumにおけるSequentialなGame Programの分割と動作の検証 ○小林佑亮・河野真治・多賀野海人・金城 裕（琉球大） SS2010-71 |
本稿では Sequential なゲームプログラムを 逐次実行した時と、Task に分割し実行した時の動作 が同一である... [more] | SS2010-71 pp.109-113 |
| SS | 2011-03-08 10:50 |
沖縄 | 沖縄県青年会館 | OCLからJMLへの変換ツールにおける対応クラスの拡張と教務システムに対する適用実験 宮澤清介・○花田健太郎・岡野浩三・楠本真二（阪大） SS2010-72 |
[more] | SS2010-72 pp.115-120 |
[研究会発表申込システムのトップページに戻る]