| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
知能ソフトウェア工学研究会 (KBSE) (検索条件: 2012年度)
「from:2013-03-14 to:2013-03-14」による検索結果
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| KBSE | 2013-03-14 10:05 |
東京 | 芝浦工業大学 | 開発現場を想定したモデル検査に基づくプログラムの不具合検証 ～ 検査支援ツールを用いた安定的な検査 ～ ○青木善貴（日本ユニシス）・松浦佐江子（芝浦工大）  KBSE2012-69 |
開発現場では不十分な要件定義や実装時のミス・誤解等により人手では発見困難な不具合が発生する.担当する要員により原因特定に... [more] | KBSE2012-69 pp.1-6 |
| KBSE | 2013-03-14 10:40 |
東京 | 芝浦工業大学 | Simulinkモデルの品質特性分析支援ツールの開発と適用事例 ○佐々木 翼・峯岸賢吾・上田賀一（茨城大） KBSE2012-70 |
近年，組込みシステム開発ではSimulinkを用いたモデルベース開発が注目されている． それに伴い，Simulinkモ... [more] |
KBSE2012-70 pp.7-12 |
| KBSE | 2013-03-14 11:25 |
東京 | 芝浦工業大学 | 実行履歴解析によるUMLシーケンス図の抽象化手法 ○宮城翔一・上條康司・上田賀一（茨城大） KBSE2012-71 |
設計書とプログラムにおいて要素間の相互作用の対応関係を取るために，動的解析によるリバースエンジニアリングを用いてシーケン... [more] | KBSE2012-71 pp.13-18 |
| KBSE | 2013-03-14 12:00 |
東京 | 芝浦工業大学 | Webアプリケーション開発のためのソフトウェアセキュリティ知識ベースKBSSDの提案 ○櫨山淳雄（学芸大） KBSE2012-72 |
インターネット上でのサービスの増大に伴いソフトウェアセキュリティの重要性が認識されている。これまでに数多くのソフトウェア... [more] | KBSE2012-72 pp.19-24 |
| KBSE | 2013-03-14 13:35 |
東京 | 芝浦工業大学 | 要求構造明確化のためのゴールグラフの多次元拡張 ○井上 渉・林 晋平（東工大）・鵜飼孝典（富士通研）・佐伯元司（東工大） KBSE2012-73 |
本論文では，ゴール指向要求分析法において分析者の関心事に基づいたゴール間の関係の理解，および関係の修正を支援するため，分... [more] | KBSE2012-73 pp.25-30 |
| KBSE | 2013-03-14 14:10 |
東京 | 芝浦工業大学 | アセットフロー図と配置図を用いた情報システムのセキュリティ要求分析支援ツール ○瀧澤悠介・阪井隼也・海谷治彦・小形真平・海尻賢二（信州大） KBSE2012-74 |
[more] | KBSE2012-74 pp.31-36 |
| KBSE | 2013-03-14 14:45 |
東京 | 芝浦工業大学 | 要求定義の実現可能性保証のためのシミュレーションによるテスト設計手法 ○式見 遼（芝浦工大）・小形真平（信州大）・松浦佐江子（芝浦工大） KBSE2012-75 |
システム開発においてプロジェクトを遅延なく成功させるために重要なことは，要求分析フェーズにおいて，「顧客と開発者との間で... [more] | KBSE2012-75 pp.37-42 |
| KBSE | 2013-03-14 15:30 |
東京 | 芝浦工業大学 | モデル検査を使ったデッドロック可能性検出 ○猿渡卓也・塚本英昭・神谷慎吾・宮田俊介（NTT） KBSE2012-76 |
形式手法の適用によるITシステムの信頼性向上が期待されている．しかし，形式手法の適用にはモデル作成等の専門的な知識が必要... [more] | KBSE2012-76 pp.43-48 |
| KBSE | 2013-03-14 16:05 |
東京 | 芝浦工業大学 | 変動するパターンの文字列検索 ○山口 信・島田 諭・三浦孝夫（法政大） KBSE2012-77 |
本稿では, 検索パターンが連続的に増加すると仮定して 高速検索を可能とする方式を提案する。 本稿で想定する KMP ... [more] |
KBSE2012-77 pp.49-54 |
| KBSE | 2013-03-14 16:50 |
東京 | 芝浦工業大学 | ［招待講演］知能ソフトウエア工学の意義とKBSE研究会への期待 ○上野晴樹（NII） KBSE2012-78 |
ソフトウエア工学は、大規模ソフトウエアの体系的で生産性の高い開発・運用・保守を対象とした工学をいう。一方、知識工学はAI... [more] | KBSE2012-78 pp.55-59 |
| KBSE | 2013-03-15 09:30 |
東京 | 芝浦工業大学 | ディペンダビリティケース用語構成規則の適用評価 ○松村昌典・松野 裕・山本修一郎（名大） KBSE2012-79 |
ディペンダビリティケースで使用されている用語を統一的に構成する規則の有用性を評価するために実施した適用評価例とその考察に... [more] | KBSE2012-79 pp.61-66 |
| KBSE | 2013-03-15 10:05 |
東京 | 芝浦工業大学 | ディペンダビリティケース分解パターンについての考察 ○山本修一郎・松野 裕（名大） KBSE2012-80 |
ディペンダビリティケースがシステムの安全性や説明責任を保証する方法として注目されている．このため，ディペンダビリティケー... [more] | KBSE2012-80 pp.67-72 |
| KBSE | 2013-03-15 10:40 |
東京 | 芝浦工業大学 | アシュアランスケースツールへのプログラミング言語技術の適用 ○松野 裕・山本修一郎（名大） KBSE2012-81 |
システム保証のための手法・ドキュメントとしてアシュアランスケースが注目を集めている。 アシュアランスケースのグラフィカ... [more] |
KBSE2012-81 pp.73-78 |
| KBSE | 2013-03-15 11:25 |
東京 | 芝浦工業大学 | アーキテクチャに基づく検証ケースの提案 ○山本修一郎（名大） KBSE2012-82 |
システムの妥当性を形式手法だけで検証することは実践的ではない．このため形式手法と，テストやレビュなどとの組み合わせを明確... [more] | KBSE2012-82 pp.79-83 |
| KBSE | 2013-03-15 12:00 |
東京 | 芝浦工業大学 | プログラム実行時の状態を再現する機能を持つ回帰テスト支援ツール ○大谷雄平（芝浦工大）・橋浦弘明（東洋大）・古宮誠一（芝浦工大） KBSE2012-83 |
今日のソフトウェア開発では，既存のシステムを変更・保守したり，それをテストしたりすることが多く，回帰テストの重要性がます... [more] | KBSE2012-83 pp.85-90 |
| KBSE | 2013-03-15 13:35 |
東京 | 芝浦工業大学 | ［招待講演］ソフトウェア知識体系の次元 ○山本修一郎（名大） KBSE2012-84 |
多様なソフトウェア関連知識が体系化されてきており，知識を効率的に習得する手段として期待されている．有用性が認識された知識... [more] | KBSE2012-84 pp.91-96 |
| KBSE | 2013-03-15 14:45 |
東京 | 芝浦工業大学 | リメディアル教育のためのCAIシステム ～ 学習者モデルと不得意分野探索アルゴリズム ～ ○廣瀬史典（芝浦工大）・上之薗和宏（青学大）・古宮誠一（芝浦工大） KBSE2012-85 |
教師の講義による学習は，一度に多くの学生に効率よく知識を伝達できるという長所があるが，学生の理解度に差が出ても対応しきれ... [more] | KBSE2012-85 pp.97-102 |
| KBSE | 2013-03-15 15:20 |
東京 | 芝浦工業大学 | 講義内容の要約字幕作成支援システム ～ 意思決定手法に基づく支援方法の提案 ～ ○古宮誠一・工藤永貴（芝浦工大）・上之薗和宏（青学大）・八重樫理人（香川大） KBSE2012-86 |
講師の発話情報を要約した文章を講義の映像に字幕として付与することは，日本語初心者が講義の内容を理解するのに効果的であると... [more] | KBSE2012-86 pp.103-108 |
| KBSE | 2013-03-15 16:05 |
東京 | 芝浦工業大学 | DSLによる多様な知識の統合 ○飯島 正（慶大） KBSE2012-87 |
[more] | KBSE2012-87 pp.109-114 |
| KBSE | 2013-03-15 16:40 |
東京 | 芝浦工業大学 | フレームワークを用いたWebアプリケーションの変更容易性 ○高橋明日香・小林 洋（東海大） KBSE2012-88 |
最近のソフトウェア開発では，全てを新規に構築するのではなく，既存のソフトウェアの拡張・修正が増えている．そこで，ソフトウ... [more] | KBSE2012-88 pp.115-120 |
[研究会発表申込システムのトップページに戻る]