お知らせ
2023年度・2024年度 学生員 会費割引キャンペーン実施中です
お知らせ
技術研究報告と和文論文誌Cの同時投稿施策(掲載料1割引き)について
お知らせ
参加費の返金について
電子情報通信学会 研究会発表申込システム
研究会 開催スケジュール
技報閲覧サービス
[ログイン]
技報アーカイブ
すべての学会/ソサイエティ
IEICE: 電子情報通信学会
A: 基礎・境界
N: NOLTA
B: 通信
C: エレクトロニクス
D: 情報・システム
H: ヒューマンCG
(第二種) A: 基礎・境界
(第二種) N: NOLTA
(第二種) B: 通信
(第二種) C: エレクトロニクス
(第二種) D: 情報・システム
(第二種) H: ヒューマンCG
(第三種) B: 通信
IEE: 電気学会
IEIJ: 照明学会
JSAP: 応物学会
ITE: 映情メ学会
IPSJ: 情処学会
IEEE
ASJ: 日本音響学会
JSAI: 人工知能
OSJ: 日本光学会
HIS: HI学会
VRSJ: 日本VR学会
Others: その他
すべての研究会
人工知能と知識処理研究会 (AI)
クラウドネットワークロボット研究会 (CNR)
コンピュテーション研究会 (COMP)
合意と共創研究会 (Consen)
コンピュータシステム研究会 (CPSY)
ディペンダブルコンピューティング研究会 (DC)
データ工学研究会 (DE)
マルチメディア情報ハイディング・エンリッチメント研究会 (EMM)
教育工学研究会 (ET)
情報論的学習理論と機械学習研究会 (IBISML)
情報通信システムセキュリティ研究会 (ICSS)
画像工学研究会 (IE)
知能ソフトウェア工学研究会 (KBSE)
ライフインテリジェンスとオフィス情報システム研究会 (LOIS)
MEとバイオサイバネティックス研究会 (MBE)
医用画像研究会 (MI)
ニューロコンピューティング研究会 (NC)
言語理解とコミュニケーション研究会 (NLC)
パターン認識・メディア理解研究会 (PRMU)
リコンフィギャラブルシステム研究会 (RECONF)
サービスコンピューティング研究会 (SC)
音声研究会 (SP)
ソフトウェアサイエンス研究会 (SS)
ソフトウェアインタプライズモデリング研究会 (SWIM)
最近の開催
2024年度
2023年度
2022年度
2021年度
2020年度
2019年度
2018年度
2017年度
2016年度
2015年度
2014年度
2013年度
2012年度
2011年度
2010年度
2009年度
2008年度
2007年度
2006年度
2005年度
2004年度
最近1ヶ月
最近1年
最近2年
最近3年
最近5年
最近10年
2005-2009年度
2010-2014年度
2015-2019年度
2020-2022年度
すべての年度
[Japanese]
/
[English]
すべての開催地
北海道
東北地方(青森,秋田,山形,岩手,宮城,福島)
関東地方(東京,埼玉,神奈川,千葉,茨城,群馬,栃木,山梨)
甲信越地方(新潟,山梨,長野)
北陸地方(新潟,富山,石川,福井)
東海地方(岐阜,静岡,愛知,三重)
近畿地方(京都,大阪,滋賀,兵庫,奈良,和歌山,三重)
中国地方(岡山,広島,山口,島根,鳥取)
四国地方(徳島,香川,愛媛,高知)
九州地方(福岡,佐賀,長崎,熊本,大分,宮崎,鹿児島)
沖縄県
東京都
東京都および神奈川県
東京圏(東京,埼玉,千葉,神奈川)
大阪圏(大阪,京都,奈良,兵庫)
海外(アジア,ヨーロッパ,アフリカ,アメリカ,オセアニア)
オンライン開催
(
研究会名/開催地/テーマ
)→
(
講演検索
検索語:
/ 範囲:
題目
著者
所属
抄録
キーワード
)→
ソフトウェアサイエンス研究会 (SS)
(検索条件: 2006年度)
「from:2006-10-26 to:2006-10-26」による検索結果
[ソフトウェアサイエンス研究会ホームページへ]
講演検索結果
登録講演(開催プログラムが公開されているもの)
(日付・昇順)
16件中 1~16件目
/
日付順(昇順)
日付順(降順)
タイトル順
著者順
所属順
研究会順
5件ずつ表示
10件ずつ表示
20件ずつ表示
30件ずつ表示
50件ずつ表示
100件ずつ表示
200件ずつ表示
500件ずつ表示
研究会
発表日時
開催地
タイトル・著者
抄録
資料番号
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
愛媛
愛媛大学
手続き型プログラムから書換え系への変換に基づくソフトウェア検証の試み
○
古市祐樹
・
西田直樹
・
酒井正彦
・
草刈圭一朗
・
坂部俊樹
(
名大
)
項書換えの分野では帰納的定理の証明手法として潜在帰納法や書換え帰納法など
が広く研究されている.2つの異なる関数が任意...
[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
16件中 1~16件目
/
日付順(昇順)
日付順(降順)
タイトル順
著者順
所属順
研究会順
5件ずつ表示
10件ずつ表示
20件ずつ表示
30件ずつ表示
50件ずつ表示
100件ずつ表示
200件ずつ表示
500件ずつ表示
ダウンロード書式の初期値を指定してください
NEW!!
テキスト形式
pLaTeX形式
CSV形式
BibTeX形式
[研究会発表申込システムのトップページに戻る]
[電子情報通信学会ホームページ]
IEICE / 電子情報通信学会