| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
ソフトウェアサイエンス研究会 (SS) (検索条件: 2008年度)
「from:2009-03-02 to:2009-03-02」による検索結果
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| SS | 2009-03-02 14:00 |
佐賀 | 佐賀大学本庄キャンパス | システム特性を考慮したペアワイズテストの改良 ○秀島健太郎・土屋達弘・菊野 亨（阪大）  SS2008-48 |
ソフトウェア開発工程の多くはテスト工程によって占められており，より少ない工数で，できるだけ多くのフォールトを発見できるテ... [more] | SS2008-48 pp.1-6 |
| SS | 2009-03-02 14:30 |
佐賀 | 佐賀大学本庄キャンパス | MVCフレームワークに基づくウェブアプリケーションの構造改善における依存性注入パターンの適用支援 ○沈 悦・福安直樹・吉田 敦・鯵坂恒夫（和歌山大） SS2008-49 |
[more] | SS2008-49 pp.7-12 |
| SS | 2009-03-02 15:15 |
佐賀 | 佐賀大学本庄キャンパス | 改良taintモデルに基づくオブジェクト指向言語を用いたアプリケーション開発 ○渥美清隆（鈴鹿高専）・増山 繁（豊橋技科大） SS2008-50 |
プログラミング言語のセキュリティモデルとして，taintモデルやsandboxモデ ルが提案されているが，我々はsaf... [more] |
SS2008-50 pp.13-16 |
| SS | 2009-03-02 15:45 |
佐賀 | 佐賀大学本庄キャンパス | Apache Cocoon Flowscriptのモデル検査によるWeb応用プログラムの動作検証 ○馬場 敬・結縁祥治・阿草清滋（名大） SS2008-51 |
[more] | SS2008-51 pp.17-22 |
| SS | 2009-03-02 16:15 |
佐賀 | 佐賀大学本庄キャンパス | 並列分散型SATソルバにおける探索空間の分割手法の提案 ○高見明秀・鍋島英知・岩沼宏治（山梨大） SS2008-52 |
命題論理の充足可能性問題(satisfiability problem; SAT 問題)は計算機科学や 人工知能の基... [more] |
SS2008-52 pp.23-28 |
| SS | 2009-03-02 17:00 |
佐賀 | 佐賀大学本庄キャンパス | ［招待講演］時間オートマトンのモデル検査 ○中田明夫（広島市大） SS2008-53 |
実時間システムの検証技術の一分野である時間オートマトンのモデル検査技術について，到達可能性解析に焦点を絞り概説する．まず... [more] | SS2008-53 pp.29-34 |
| SS | 2009-03-03 09:30 |
佐賀 | 佐賀大学本庄キャンパス | 教育用コンパイラXCCとその可視化ツールMieruCompiler ○権藤克彦・野崎広弥（東工大） SS2008-54 |
[more] | SS2008-54 pp.35-42 |
| SS | 2009-03-03 10:00 |
佐賀 | 佐賀大学本庄キャンパス | x86版DRACULAのバグ修復と予備評価 ○大菅星哉（東工大）・田原貴光（NEC）・権藤克彦（東工大） SS2008-55 |
[more] | SS2008-55 pp.43-48 |
| SS | 2009-03-03 10:45 |
佐賀 | 佐賀大学本庄キャンパス | 設計支援ツールPerseusに対するリバースエンジニアリング機能の組み込み ○才所直也・掛下哲郎（佐賀大） SS2008-56 |
ソフトウェア開発では設計と実装を分離し系統的に開発を行わなければならない。 本研究室では系統的な開発を行うためにソフト... [more] |
SS2008-56 pp.49-54 |
| SS | 2009-03-03 11:15 |
佐賀 | 佐賀大学本庄キャンパス | カラー二次元コードを高解像度化するための認識アルゴリズムの実現と評価 ○寺田遼平・藤本敬介・中山泰一（電通大） SS2008-57 |
近年，QR コードに代表される二次元コードが携帯端末に対する情報提供の手段として注目を集めている． しかし，QR コー... [more] |
SS2008-57 pp.55-60 |
[研究会発表申込システムのトップページに戻る]