研究会 - 知能ソフトウェア工学研究会 (KBSE)

お知らせ 2023年度・2024年度学生員会費割引キャンペーン実施中です
お知らせ技術研究報告と和文論文誌Ｃの同時投稿施策(掲載料1割引き)について
お知らせ電子情報通信学会における研究会開催について
お知らせ NEW 参加費の返金について

電子情報通信学会研究会発表申込システム
研究会開催スケジュール

技報閲覧サービス
[ログイン]
技報アーカイブ

[Japanese] / [English]

（

研究会名/開催地/テーマ

）→

（

講演検索

検索語: / 範囲:題目著者所属抄録キーワード

）→

知能ソフトウェア工学研究会 (KBSE) (検索条件: 2006年度)

「from:2006-10-26 to:2006-10-26」による検索結果

[知能ソフトウェア工学研究会ホームページへ]

講演検索結果

登録講演（開催プログラムが公開されているもの） （日付・昇順）

研究会	発表日時	開催地		タイトル・著者	抄録	資料番号
SS, KBSE (共催)	2006-10-26 13:15	愛媛	愛媛大学	静的解析を用いたWebアプリケーションにおける脆弱性の検出 ○西田誠幸（拓殖大）	本稿ではWebアプリケーションを構成する手続き型言語のプログラムを静的に解析して，SQLインジェクションやクロスサイトス... [more]	SS2006-40 KBSE2006-16 pp.1-6
SS, KBSE (共催)	2006-10-26 13:40	愛媛	愛媛大学	手続き型プログラムから書換え系への変換に基づくソフトウェア検証の試み ○古市祐樹・西田直樹・酒井正彦・草刈圭一朗・坂部俊樹（名大）	項書換えの分野では帰納的定理の証明手法として潜在帰納法や書換え帰納法などが広く研究されている．２つの異なる関数が任意... [more]	SS2006-41 KBSE2006-17 pp.7-12
SS, KBSE (共催)	2006-10-26 14:05	愛媛	愛媛大学	例外処理付きオブジェクト指向言語における情報流の安全性解析 ○黒川　翔・桑原寛明（名大）・山本晋一郎（愛知県立大）・坂部俊樹・酒井正彦・草刈圭一朗・西田直樹（名大）	本稿では，例外処理を含むオブジェクト指向プログラムから機密度の高いデータが外部へ漏洩しないことを検証する型システムを提案... [more]	SS2006-42 KBSE2006-18 pp.13-18
SS, KBSE (共催)	2006-10-26 14:45	愛媛	愛媛大学	ソースコードの保守工程における変更連鎖の追跡とその解析 ○森崎　潤・阿萬裕久・山田宏之（愛媛大）	[more]	SS2006-43 KBSE2006-19 pp.19-24
SS, KBSE (共催)	2006-10-26 15:10	愛媛	愛媛大学	クラスの凝集度と修正保守性との関係に関する考察 ○山下純一・阿萬裕久・山田宏之（愛媛大）	[more]	SS2006-44 KBSE2006-20 pp.25-30
SS, KBSE (共催)	2006-10-26 15:35	愛媛	愛媛大学	ソースコードの外部依存率と保守性との関係に関する考察 ○土居通夫・阿萬裕久・山田宏之（愛媛大）	[more]	SS2006-45 KBSE2006-21 pp.31-36
SS, KBSE (共催)	2006-10-26 16:15	愛媛	愛媛大学	GeneSysによるプログラム生成例とIntroduction規則の追加 ○近藤　悟・酒井正彦・西田直樹・坂部俊樹・草刈圭一朗（名大）	プログラム生成系GeneSysは一階述語論理で記述された仕様からの実行可能なプログラム生成を目的とした手法である．本論文... [more]	SS2006-46 KBSE2006-22 pp.37-42
SS, KBSE (共催)	2006-10-26 16:40	愛媛	愛媛大学	正常シナリオを用いた例外シナリオの導出支援 ○首藤寛樹（立命館大）・山本泰士（立命館大/NTTデータ）・大西　淳（立命館大）	正常シナリオを用いた例外シナリオの導出支援手法を提案する．本手法は（1）例外事象の導出，（2）例外イベント列の作成，（3... [more]	SS2006-47 KBSE2006-23 pp.43-48
SS, KBSE (共催)	2006-10-26 17:05	愛媛	愛媛大学	CAiSE'06参加報告 ○斎藤　忍・山本修一郎（NTTデータ）・佐伯元司（東工大）	システム工学に関する国際会議の一つである，第18回Advanced Information Systems Engine... [more]	SS2006-48 KBSE2006-24 pp.49-54
SS, KBSE (共催)	2006-10-27 09:20	愛媛	愛媛大学	プロジェクト類似性に基づく工数見積もりのための変数選択 ○瀧　進也・柿元　健・角田雅照・大杉直樹・門田暁人・松本健一（奈良先端大）	[more]	SS2006-49 KBSE2006-25 pp.1-6
SS, KBSE (共催)	2006-10-27 09:45	愛媛	愛媛大学	変更履歴情報に着目した依存関係分析 ○岩田英丈・阿萬裕久・山田宏之（愛媛大）	[more]	SS2006-50 KBSE2006-26 pp.7-12
SS, KBSE (共催)	2006-10-27 10:10	愛媛	愛媛大学	ドメインモデルに対する要求獲得支援 ○宮西英彰・山田宏之・阿萬裕久（愛媛大）	[more]	SS2006-51 KBSE2006-27 pp.13-18
SS, KBSE (共催)	2006-10-27 10:50	愛媛	愛媛大学	初心者向けXBRL文書作成支援システム ○神宮司雄祐・渡辺喜道（山梨大）	[more]	SS2006-52 KBSE2006-28 pp.19-24
SS, KBSE (共催)	2006-10-27 11:15	愛媛	愛媛大学	API Hookを用いたWindowsプログラムのモビリティ向上ソフトウェアの作成 ○齊藤正隆・甲本卓也・杉山裕二（岡山大）	[more]	SS2006-53 KBSE2006-29 pp.25-30
SS, KBSE (共催)	2006-10-27 11:40	愛媛	愛媛大学	ビジネスオントロジーに基づくWebアプリケーション開発 ○近藤恵一・森田武史（慶大）・和泉憲明（産総研）・山口高平（慶大）・橋田浩一（産総研）	[more]	SS2006-54 KBSE2006-30 pp.31-36
SS, KBSE (共催)	2006-10-27 12:05	愛媛	愛媛大学	数学Webサービスの実装とプロセス実行に関する研究 ○中西智美・池田理世・甲斐　博（愛媛大）	[more]	SS2006-55 KBSE2006-31 pp.37-42

[研究会発表申込システムのトップページに戻る]

[電子情報通信学会ホームページ]

IEICE / 電子情報通信学会