| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
知能ソフトウェア工学研究会 (KBSE) (検索条件: 2010年度)
「from:2010-05-27 to:2010-05-27」による検索結果
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| KBSE, SS (共催) |
2010-05-27 10:40 |
京都 | 同志社大今出川キャンパス | プラグラマティズムに基づく概念データモデリングの再構築 ～ オブジェクト指向の哲学的背景について ～ ○金田重郎（同志社大）  SS2010-1 KBSE2010-1 |
要求分析におけるモデリングは，対象世界を認識する行為である．従って，モデリング手法の背後には，その手法を開発した民族の認... [more] | SS2010-1 KBSE2010-1 pp.1-8 |
| KBSE, SS (共催) |
2010-05-27 11:20 |
京都 | 同志社大今出川キャンパス | オントロジー指向アーキテクチャーによる認識処理手法の基礎的検討 ○木野千晶・鈴木喜雄・武宮 博（原子力機構） SS2010-2 KBSE2010-2 |
著者らは大規模・複雑な数値シミュレーション結果から物理的に有意味な情報を抽出するためのアノ テーションシステムを開発し... [more] |
SS2010-2 KBSE2010-2 pp.9-14 |
| KBSE, SS (共催) |
2010-05-27 12:00 |
京都 | 同志社大今出川キャンパス | セキュリティ要件定義のためのゴール指向モデリング手法 ○斯波万恵・佐々木尚一（東芝ソリューション）・田口研治（産総研）・吉岡信和（NII） SS2010-3 KBSE2010-3 |
システム開発の上流工程において，セキュリティの目標や課題を設定し，要件定義を行うことは，業務機能とセキュリティ機能を同時... [more] | SS2010-3 KBSE2010-3 pp.15-20 |
| KBSE, SS (共催) |
2010-05-27 13:45 |
京都 | 同志社大今出川キャンパス | シナリオ部品とその組合せによるシナリオの生成支援 ○西村 眞人(学)・大西 淳（立命館大） SS2010-4 KBSE2010-4 |
シナリオを用いてシステムの要求獲得を行う場合，多くのシナリオが必要となる．シナリオの品質と生産性を向上させるため，シナリ... [more] | SS2010-4 KBSE2010-4 pp.21-26 |
| KBSE, SS (共催) |
2010-05-27 14:15 |
京都 | 同志社大今出川キャンパス | 遷移確率距離を用いた類似文字列検索 ○勝俣 彰文 (学)・三浦孝夫（法政大） SS2010-5 KBSE2010-5 |
[more] | SS2010-5 KBSE2010-5 pp.27-32 |
| KBSE, SS (共催) |
2010-05-27 14:45 |
京都 | 同志社大今出川キャンパス | XMLによるプログラムの表現とそれに基づく統合テスト支援環境の提案 ～ (1) ミューテーションテストのためのミュータントオペレータの実装 ～ ○末広 暁久(学)・佐々木亮太・芳賀博英（同志社大） SS2010-6 KBSE2010-6 |
ソフトウェアテスト支援環境構築のために，プログラムの構文情報をXMLでタグ付けしたソースコードデータベースを中心とした統... [more] | SS2010-6 KBSE2010-6 pp.33-38 |
| KBSE, SS (共催) |
2010-05-27 15:30 |
京都 | 同志社大今出川キャンパス | 税業務の階層性に基づく共同化システムの知識表現形式と処理系の構築 ○長村篤紀・吉岡俊輔・深見尚平・上仲良幸・金田重郎（同志社大） SS2010-7 KBSE2010-7 |
現在，地方税の業務システムは，自治体ごとに独自の業務システムが調達されている．しかし，地方分権化に必要となる徴税能力の強... [more] | SS2010-7 KBSE2010-7 pp.39-44 |
| KBSE, SS (共催) |
2010-05-27 16:00 |
京都 | 同志社大今出川キャンパス | 類似メソッドの集約のための差分抽出支援 ○政井 智雄(学)・吉田則裕・松下 誠・井上克郎（阪大） SS2010-8 KBSE2010-8 |
[more] | SS2010-8 KBSE2010-8 pp.45-50 |
| KBSE, SS (共催) |
2010-05-28 10:30 |
京都 | 同志社大今出川キャンパス | パターンを用いたゴール指向ビジネス企画手法の提案 ○猿渡卓也（NTTデータ）・田口研治（NII）・斎藤 忍（NTTデータ）・山本修一郎（名大） SS2010-9 KBSE2010-9 |
ＩＴシステムを利用したビジネスの企画をゴール指向要求分析におけるゴールグラフを使って行う場合，現状では一から構築を始める... [more] | SS2010-9 KBSE2010-9 pp.51-56 |
| KBSE, SS (共催) |
2010-05-28 11:10 |
京都 | 同志社大今出川キャンパス | 要求の割付先としてのITと運用の選択基準 ○服部 昇（NTTデータ/和歌山大）・鯵坂恒夫（和歌山大）・山本修一郎（名大） SS2010-10 KBSE2010-10 |
現実世界で発生する要求の割付先には，ITと人間による運用があるが, その選択基準について検討を行う．ITと運用のそれぞれ... [more] | SS2010-10 KBSE2010-10 pp.57-62 |
| KBSE, SS (共催) |
2010-05-28 11:50 |
京都 | 同志社大今出川キャンパス | ポリシー規則と振る舞い仕様の分離への書き換え論理アプローチ ○シャオシ ドン・中島 震（NII） SS2010-11 KBSE2010-11 |
[more] | SS2010-11 KBSE2010-11 pp.63-68 |
| KBSE, SS (共催) |
2010-05-28 13:45 |
京都 | 同志社大今出川キャンパス | 動的リアルタイムCEGAR ○酒井 誠・田中祐史・山根 智（金沢大） SS2010-12 KBSE2010-12 |
本研究では，動的に構成が変化するリアルタイムシステムに対して有効なモデル検査手法の提案を行う． 提案手法では，到達可能... [more] |
SS2010-12 KBSE2010-12 pp.69-74 |
| KBSE, SS (共催) |
2010-05-28 14:25 |
京都 | 同志社大今出川キャンパス | 空間の概念を持つコスト付き確率時間オートマトンの記号的検証手法 ○畠中克也・鎌澤浩司・山根 智（金沢大） SS2010-13 KBSE2010-13 |
近年，無線センサネットワークがさまざまな分野において注目を集めている．また，組込みシステムの高機能化に伴い，それらのシス... [more] | SS2010-13 KBSE2010-13 pp.75-79 |
| KBSE, SS (共催) |
2010-05-28 15:20 |
京都 | 同志社大今出川キャンパス | 確率時間REGARの実装と評価 ○清水隆也・高橋正樹・山根 智（金沢大） SS2010-14 KBSE2010-14 |
確率時間REGAR(Probabilistic Timed Real-Example Guided Abstractio... [more] | SS2010-14 KBSE2010-14 pp.81-86 |
| KBSE, SS (共催) |
2010-05-28 16:00 |
京都 | 同志社大今出川キャンパス | プログラム構造から見た再帰プログラムの基本形 ○大段雅典（島根大/NTTデータシステム技術）・佐藤匡正 SS2010-15 KBSE2010-15 |
記述と実行が乖離しているため難解である再帰プログラムに対しては，その理解を助けるための手段が必要である．このために，論理... [more] | SS2010-15 KBSE2010-15 pp.87-91 |
[研究会発表申込システムのトップページに戻る]