資料詳細

  • 1 件中、 1 件目

[ 和図書 ] ソフトウェア工学の基礎 26 ( レクチャーノート/ソフトウェア学 45 日本ソフトウェア科学会FOSE 2019 )

-- 近代科学社 -- 2019.11 --

所蔵

所蔵は 1 件です。

所蔵館 所蔵場所 資料区分 請求記号 資料コード 所蔵状態 資料の利用
配架日 協力貸出 利用状況 返却予定日 資料取扱 予約数 付録注記 備考
中央 2F 一般図書 /007.6/9357/26 7112667557 配架図 Digital BookShelf
2020/03/17 可能 利用可   0
Eメールによる郵送複写申込みは、「東京都在住」の登録利用者の方が対象です。

ページの先頭へ

資料詳細 閉じる

ISBN 4-7649-0605-1
ISBN13桁 978-4-7649-0605-1
タイトル ソフトウェア工学の基礎
タイトルカナ ソフトウェア コウガク ノ キソ
巻次 26
出版地 東京
出版者 近代科学社
出版者カナ キンダイ カガクシャ
出版年 2019.11
ページ数 8, 202p
大きさ 26cm
シリーズ名 レクチャーノート/ソフトウェア学
シリーズ名のルビ等 レクチャー ノート ソフトウェアガク
シリーズ番号 45
シリーズ番号読み 45
シリーズの編者等 武市 正人／編集委員,米澤 明憲／編集委員
シリーズの編者等の典拠番号

110000598050000 , 110001084100000

各巻タイトル 日本ソフトウェア科学会FOSE 2019
各巻タイトル読み ニホン ソフトウェア カガクカイ エフオーエスイー ニセンジュウキュウ
各巻著者 森崎 修司／編,大平 雅雄／編
各巻の著者の典拠番号

110005831880000 , 110006098810000

価格 ¥5300
内容紹介 日本ソフトウェア科学会「ソフトウェア工学の基礎」研究会(FOSE)が主催する第26回ワークショップの論文集。高田広章による招待講演、通常論文22編、ライブ論文20編を収録する。
一般件名 ソフトウェア工学-01014113-ndlsh
一般件名カナ ソフトウェアコウガク-01014113
一般件名 ソフトウェア工学
一般件名カナ ソフトウェア コウガク
一般件名典拠番号

511743600000000

分類：都立NDC10版 007.63
資料情報1 『ソフトウェア工学の基礎 26』（レクチャーノート/ソフトウェア学 45 日本ソフトウェア科学会FOSE 2019） 　近代科学社　2019.11（所蔵館：中央　 請求記号：/007.6/9357/26　 資料コード：7112667557）
URL https://catalog.library.metro.tokyo.lg.jp/winj/opac/switch-detail.do?lang=ja&bibid=1153467796

ページの先頭へ

内容一覧 閉じる

内容 内容ヨミ 著者名 著者名ヨミ ページ
車載組込みシステム開発の現状と動向 シャサイ クミコミ システム カイハツ ノ ゲンジョウ ト ドウコウ 高田 広章／著 タカダ ヒロアキ 1
他の開発者向けに構築された個人化バグ予測モデルの活用に関する提案 タ ノ カイハツシャムケ ニ コウチク サレタ コジンカ バグ ヨソク モデル ノ カツヨウ ニ カンスル テイアン 宮本 敦哉／著 ミヤモト アツヤ 3-12
ソフトウェア開発プロジェクトの完了時期予測のためのチケット自動修正方法 ソフトウェア カイハツ プロジェクト ノ カンリョウ ジキ ヨソク ノ タメ ノ チケット ジドウ シュウセイ ホウホウ 堀 旭宏／著 ホリ アキヒロ 13-22
ソースコード修正履歴が自動バグ修正の結果に与える影響の分析 ソース コード シュウセイ リレキ ガ ジドウ バグ シュウセイ ノ ケッカ ニ アタエル エイキョウ ノ ブンセキ 首藤 巧／ほか著 シュトウ タクミ 23-32
テストケースが自動バグ修正に与える影響の調査 テスト ケース ガ ジドウ バグ シュウセイ ニ アタエル エイキョウ ノ チョウサ 松田 直也／著 マツダ ナオヤ 33-38
ソフトウェア開発における性別とプログラム読解速度との関係 ソフトウェア カイハツ ニ オケル セイベツ ト プログラム ドッカイ ソクド トノ カンケイ 高塚 由利子／ほか著 タカツカ ユリコ 39-44
ソフトウェアバグ予測の費用対効果に基づくアソシエーションルールの優先順位付け ソフトウェア バグ ヨソク ノ ヒヨウ タイ コウカ ニ モトズク アソシエーション ルール ノ ユウセン ジュンイズケ 笠木 健希／著 カサギ タケキ 45-50
質問者が満足する回答を得るためのコミュニケーションテンプレートの作成手法の提案 シツモンシャ ガ マンゾク スル カイトウ オ エル タメ ノ コミュニケーション テンプレート ノ サクセイ シュホウ ノ テイアン 菅原 茉莉子／著 スガワラ マリコ 51-56
要求仕様書を対象とした状態遷移記述抽出のための節分類手法の定量的評価 ヨウキュウ シヨウショ オ タイショウ ト シタ ジョウタイ センイ キジュツ チュウシュツ ノ タメ ノ セツブンルイ シュホウ ノ テイリョウテキ ヒョウカ 山本 椋太／ほか著 ヤマモト リョウタ 57-62
Doc2Vecを利用したGUIテストスクリプトのロケータ修正手法 ドック ツー ヴェック オ リヨウ シタ ジーユーアイ テスト スクリプト ノ ロケータ シュウセイ シュホウ 磯上 雄人／著 イソガミ ユウト 63-72
原型分析によるソフトウェア開発者の貢献タイプの分析 ゲンケイ ブンセキ ニ ヨル ソフトウェア カイハツシャ ノ コウケン タイプ ノ ブンセキ 池本 和靖／著 イケモト カズヤス 73-81
分散台帳の実装における安全性の形式検証 ブンサン ダイチョウ ノ ジッソウ ニ オケル アンゼンセイ ノ ケイシキ ケンショウ 齋藤 新／著 サイトウ シン 83-92
IoTの柔軟な相互運用性を実現するソフトウェアアーキテクチャの提案 アイオーティー ノ ジュウナン ナ ソウゴ ウンヨウセイ オ ジツゲン スル ソフトウェア アーキテクチャ ノ テイアン 横山 史明／ほか著 ヨコヤマ フミアキ 93-102
ポインタ型の仮引数を持つ関数の呼出しに対するプログラミング学習支援ツールの提案 ポインタガタ ノ カリヒキスウ オ モツ カンスウ ノ ヨビダシ ニ タイスル プログラミング ガクシュウ シエン ツール ノ テイアン 蜂巣 吉成／ほか著 ハチス ヨシナリ 103-108
機密度パラメータ付き情報流解析のための型検査アルゴリズムとJavaアノテーション キミツド パラメータツキ ジョウホウリュウ カイセキ ノ タメ ノ カタケンサ アルゴリズム ト ジャヴァ アノテーション 桑原 寛明／著 クワバラ ヒロアキ 109-114
確率的モデル検査器を用いた制御ループの定量的検証の試案 カクリツテキ モデル ケンサキ オ モチイタ セイギョ ループ ノ テイリョウテキ ケンショウ ノ シアン 青木 善貴／ほか著 アオキ ヨシタカ 115-120
Adaptation Plan Policy in Traffic Routing for Priority Vehicle アダプテーション プラン ポリシー イン トラフィック ルーティング フォー プライオリティ ヴィークル Krishna Priawan Hardinda／ほか著 ハルジンダ K.P. 121-126
Web APIの保守性の評価を可能とする環境構築と提供者視点での活用方法の提案 ウェブ エーピーアイ ノ ホシュセイ ノ ヒョウカ オ カノウ ト スル カンキョウ コウチク ト テイキョウシャ シテン デノ カツヨウ ホウホウ ノ テイアン 福寄 雅洋／ほか著 フクヨリ マサヒロ 127-132
ネストの深さと繰り返し回数に着目したゲームループの実装ソースコードの検出 ネスト ノ フカサ ト クリカエシ カイスウ ニ チャクモク シタ ゲーム ループ ノ ジッソウ ソース コード ノ ケンシュツ 金森 公洋／著 カナモリ コウヨウ 133-138
ソフトウェア工学基礎から機械学習ソフトウェア工学基礎への考察 ソフトウェア コウガク キソ カラ キカイ ガクシュウ ソフトウェア コウガク キソ エノ コウサツ 青山 幹雄／著 アオヤマ ミキオ 139-144
システム運用作業時間と技術者単価に関連する特性の分析 システム ウンヨウ サギョウ ジカン ト ギジュツシャ タンカ ニ カンレン スル トクセイ ノ ブンセキ 角田 雅照／ほか著 ツノダ マサテル 145-150
ソフトウェアアーキテクチャに基づく組み込みシステムの設計法に関する研究 ソフトウェア アーキテクチャ ニ モトズク クミコミ システム ノ セッケイホウ ニ カンスル ケンキュウ 江坂 篤侍／ほか著 エサカ アツシ 151-156
DSSM:時刻同期を考慮した分散型データストリーム管理ミドルウェア ディーエスエスエム ジコク ドウキ オ コウリョ シタ ブンサンガタ データ ストリーム カンリ ミドルウェア 郡司 凌太／著 グンジ リョウタ 157-162
複雑化した業務システムの現状分析を支援する業務視点に基づいたシステム分割手法 フクザツカ シタ ギョウム システム ノ ゲンジョウ ブンセキ オ シエン スル ギョウム シテン ニ モトズイタ システム ブンカツ シュホウ 石津 卓也／著 イシズ タクヤ 163-164
学習期間と予測期間による不具合報告数予測モデルの精度評価 ガクシュウ キカン ト ヨソク キカン ニ ヨル フグアイ ホウコクスウ ヨソク モデル ノ セイド ヒョウカ 稲垣 智宏／著 イナガキ トモヒロ 165-166
ソフトウェア開発におけるcontext switchの影響 ソフトウェア カイハツ ニ オケル コンテクスト スウィッチ ノ エイキョウ 井下 瑚都／著 イノシタ コト 167-168
モデル駆動モダナイゼーションに向けたGUIデザイン評価手法の検討 モデル クドウ モダナイゼーション ニ ムケタ ジーユーアイ デザイン ヒョウカ シュホウ ノ ケントウ 鹿糠 秀行／ほか著 カヌカ ヒデユキ 169-170
OSSプロジェクトにおけるCIツールの変更の影響調査に向けて オーエスエス プロジェクト ニ オケル シーアイ ツール ノ ヘンコウ ノ エイキョウ チョウサ ニ ムケテ 鐘ケ江 由佳／著 カネガエ ユカ 171-172
行レベルバグ予測のためのWebアプリケーション ギョウ レベル バグ ヨソク ノ タメ ノ ウェブ アプリケーション 金平 拓生／ほか著 カネヒラ タクミ 173-174
ソフトウェア開発実績データにおける欠損値補完への非負値行列因子分解の適用 ソフトウェア カイハツ ジッセキ データ ニ オケル ケッソンチ ホカン エノ ヒフチ ギョウレツ インシ ブンカイ ノ テキヨウ 川辺 裕貴／著 カワナベ ユウキ 175-176
類似コード検出ツールを用いたテストコード再利用に向けた調査 ルイジ コード ケンシュツ ツール オ モチイタ テスト コード サイリヨウ ニ ムケタ チョウサ 倉地 亮介／著 クラチ リョウスケ 177-178
ブロックの比較による機能的類似コードの検出手法の提案 ブロック ノ ヒカク ニ ヨル キノウテキ ルイジ コード ノ ケンシュツ シュホウ ノ テイアン 小泉 裕／著 コイズミ ユウ 179-180
OSS開発者の活動量予測モデル オーエスエス カイハツシャ ノ カツドウリョウ ヨソク モデル 小口 知希／著 コグチ トモキ 181-182
Edutainmentを指向したソフトウェア教育用フレームワークの提案 エデュテインメント オ シコウ シタ ソフトウェア キョウイクヨウ フレームワーク ノ テイアン 杉野 雄大／ほか著 スギノ ユウダイ 183-184
識別子の表記ゆれによるソースコード検索漏れ防止に向けた設計書を活用した識別子 ／ 自然言語変換技術 シキベツシ ノ ヒョウキ ユレ ニ ヨル ソース コード ケンサクモレ ボウシ ニ ムケタ セッケイショ オ カツヨウ シタ シキベツシ 曾我 遼／ほか著 ソガ リョウ 185-186
コード変更の意図推測のための変更要約ツールの利用 コード ヘンコウ ノ イト スイソク ノ タメ ノ ヘンコウ ヨウヤク ツール ノ リヨウ 近久 創一郎／著 チカヒサ ソウイチロウ 187-188
AIビジネスリスク軽減への価値共創アプローチ エーアイ ビジネス リスク ケイゲン エノ カチ キョウソウ アプローチ 中島 震／著 ナカジマ シン 189-190
ソフトウェアレビューのシミュレーション ソフトウェア レビュー ノ シミュレーション 中原 寛人／著 ナカハラ ヒロト 191-192
機能的類似コード検出手法に対する実開発データを利用した評価に関する一考察 キノウテキ ルイジ コード ケンシュツ シュホウ ニ タイスル ジツカイハツ データ オ リヨウ シタ ヒョウカ ニ カンスル イチ コウサツ 名倉 正剛／著 ナグラ マサタカ 193-194
バンディットアルゴリズムに基づくソフトウェア欠陥予測の最適化 バンディット アルゴリズム ニ モトズク ソフトウェア ケッカン ヨソク ノ サイテキカ 早川 央起／著 ハヤカワ テルキ 195-196
ソフトウェア工学ツールとしての総合シミュレータ ソフトウェア コウガク ツール ト シテ ノ ソウゴウ シミュレータ 宮永 照二／著 ミヤナガ ショウジ 197-198
要求分析モデルからの状態遷移抽出による振る舞いフローの妥当性確認支援 ヨウキュウ ブンセキ モデル カラ ノ ジョウタイ センイ チュウシュツ ニ ヨル フルマイ フロー ノ ダトウセイ カクニン シエン 森田 光／著 モリタ ヒカル 199-200
Haskell処理系HiTSを用いたスペースリーク検出手法 ハスケル ショリケイ ヒッツ オ モチイタ スペース リーク ケンシュツ シュホウ 山田 航／ほか著 ヤマダ ワタル 201-202

ページの先頭へ