-- 近代科学社Digital -- 2024.12 --

所蔵

所蔵は 1 件です。

所蔵館 所蔵場所 資料区分 請求記号 資料コード 所蔵状態 資料の利用
配架日 協力貸出 利用状況 返却予定日 資料取扱 予約数 付録注記 備考
中央 2F 一般図書 /007.6/9357/31 7119205563 配架図 Digital BookShelf
2025/06/24 可能 利用可   0

    • 統合検索
      都内図書館の所蔵を
      横断検索します。
      類似資料 AI Shelf
      この資料に類似した資料を
      AIが紹介します。
遠隔複写申込みは、東京都在住・在勤・在学の方からお受けいたします。
複写カート機能には、Cookieを使用しています。申込む際はCookieを有効にしてください。

資料詳細 閉じる

ISBN 4-7649-6096-1
ISBN13桁 978-4-7649-6096-1
タイトル ソフトウェア工学の基礎
タイトルカナ ソフトウェア コウガク ノ キソ
巻次 31
出版地 [東京],東京
出版者 近代科学社Digital,近代科学社(発売)
出版者カナ キンダイ カガクシャ ディジタル
出版年 2024.12
ページ数 230p
大きさ 26cm
シリーズ名 レクチャーノート/ソフトウェア学
シリーズ名のルビ等 レクチャー ノート ソフトウェアガク
シリーズ番号 50
シリーズ番号読み 50
シリーズの編者等 日本ソフトウェア科学会/編
シリーズの編者等の典拠番号

210000296860000

各巻タイトル 日本ソフトウェア科学会ソフトウェア工学の基礎研究会FOSE2024
各巻タイトル読み ニホン ソフトウェア カガクカイ ソフトウェア コウガク ノ キソ ケンキュウカイ エフオーエスイー ニセンニジュウヨン
各巻著者 戸田 航史/編,藤原 賢二/編
各巻の著者の典拠番号

110005641650000 , 110006517140000

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

511743600000000

分類:都立NDC10版 007.63
テキストの言語 日本語  
資料情報1 『ソフトウェア工学の基礎 31』(レクチャーノート/ソフトウェア学 50 日本ソフトウェア科学会ソフトウェア工学の基礎研究会FOSE2024)  近代科学社Digital 2024.12(所蔵館:中央  請求記号:/007.6/9357/31  資料コード:7119205563)
URL https://catalog.library.metro.tokyo.lg.jp/winj/opac/switch-detail.do?lang=ja&bibid=1154907074

内容一覧 閉じる

内容 内容ヨミ 著者名 著者名ヨミ ページ
生成AIの活用を前提としたプログラミング教育とソフトウェア工学教育のパラダイム転換 セイセイ エーアイ ノ カツヨウ オ ゼンテイ ト シタ プログラミング キョウイク ト ソフトウェア コウガク キョウイク ノ パラダイム テンカン 掛下 哲郎/著 カケシタ テツロウ 13
画像認識モデルに対する系統的故障の適応的自動検出手法AdaSniperの提案 ガゾウ ニンシキ モデル ニ タイスル ケイトウテキ コショウ ノ テキオウテキ ジドウ ケンシュツ シュホウ アダスナイパー ノ テイアン 鳥越 湧真/ほか著 トリコシ ユウマ 15-24
性格特性に応じたユーザモデル半自動生成手法の提案 セイカク トクセイ ニ オウジタ ユーザ モデル ハンジドウ セイセイ シュホウ ノ テイアン 成澤 瑠佳/ほか著 ナリサワ ルカ 25-34
CodeT5と正規表現を活用した不適切な変数名の自動検出法とその評価 コード ティー ゴ ト セイキ ヒョウゲン オ カツヨウ シタ フテキセツ ナ ヘンスウメイ ノ ジドウ ケンシュツホウ ト ソノ ヒョウカ 森 哉尋/著 モリ ヤヒロ 35-44
マイクロサービスにおけるコードクローンの言語間分析 マイクロサービス ニ オケル コード クローン ノ ゲンゴカン ブンセキ 太田 悠希/ほか著 オオタ ユウキ 45-54
リリースまでの期間に応じて優先的に検証/導入されるコードレビューチケットの特徴分析 リリース マデ ノ キカン ニ オウジテ ユウセンテキ ニ ケンショウ ドウニュウ サレル コード レビュー チケット ノ トクチョウ ブンセキ 上中 瑞稀/著 ウエナカ ミズキ 55-64
Pythonテストスメルのバグ予測子としての有用性に関する定量的分析 パイソン テスト スメル ノ バグ ヨソクシ ト シテ ノ ユウヨウセイ ニ カンスル テイリョウテキ ブンセキ 伏原 裕生/著 フシハラ ユウキ 65-74
異なる変更量のコミットがJust‐In‐Timeバグ予測の評価結果へ与える影響の調査 コトナル ヘンコウリョウ ノ コミット ガ ジャスト イン タイム バグ ヨソク ノ ヒョウカ ケッカ エ アタエル エイキョウ ノ チョウサ 近藤 将成/ほか著 コンドウ マサナリ 75-84
ライブラリ部品の利用状況の一致度に基づくソフトウェア部品分類手法の評価 ライブラリ ブヒン ノ リヨウ ジョウキョウ ノ イッチド ニ モトズク ソフトウェア ブヒン ブンルイ シュホウ ノ ヒョウカ 横森 励士/著 ヨコモリ レイシ 85-90
課題管理システムにおける技術的負債の返済とリファクタリングの関係の調査 カダイ カンリ システム ニ オケル ギジュツテキ フサイ ノ ヘンサイ ト リファクタリング ノ カンケイ ノ チョウサ 池原 大貴/著 イケハラ ダイキ 91-96
JavaScriptライブラリの後方互換性の損失によるクライアントへの影響範囲の特定 ジャヴァ スクリプト ライブラリ ノ コウホウ ゴカンセイ ノ ソンシツ ニ ヨル クライアント エノ エイキョウ ハンイ ノ トクテイ 飯田 智輝/著 イイダ トモキ 97-102
解答プログラムのベクトル表現に基づいたプログラミング問題間の類似性評価に関する考察 カイトウ プログラム ノ ベクトル ヒョウゲン ニ モトズイタ プログラミング モンダイカン ノ ルイジセイ ヒョウカ ニ カンスル コウサツ 三好 涼太/著 ミヨシ リョウタ 103-108
Pythonプログラミング演習におけるエラーに対応したプログラムの編集内容の分析 パイソン プログラミング エンシュウ ニ オケル エラー ニ タイオウ シタ プログラム ノ ヘンシュウ ナイヨウ ノ ブンセキ 増井 太一/ほか著 マスイ タイチ 109-114
A Machine‐learning‐based Approach for Project Success/Failure Prediction in Software Development ア マシーン ラーニング ベースト アプローチ フォー プロジェクト サクセス フェイリュア プレディクション イン ソフトウェア ディヴェロップメント Yuhao Wu/ほか著 ウー ユーハオ 115-120
ランダムフォレストと期間毎のリポジトリヒストリを用いた開発の継続性を予測するための分類手法の提案 ランダム フォレスト ト キカンゴト ノ リポジトリ ヒストリ オ モチイタ カイハツ ノ ケイゾクセイ オ ヨソク スル タメ ノ ブンルイ シュホウ ノ テイアン 小林 勇貴/著 コバヤシ ユウキ 121-126
ソフトウェア規模計測方法の差異が工数見積もりに与える影響 ソフトウェア キボ ケイソク ホウホウ ノ サイ ガ コウスウ ミツモリ ニ アタエル エイキョウ 角田 雅照/ほか著 ツノダ マサテル 127-132
LIMEを用いた画像認識モデルの評価手法の提案 ライム オ モチイタ ガゾウ ニンシキ モデル ノ ヒョウカ シュホウ ノ テイアン 土橋 青空/著 ツチハシ ソラ 133-138
Open AIにより生成された解答に基づくプログラムの構造的誤り箇所に対するヒントの提示手法 オープン エーアイ ニ ヨリ セイセイ サレタ カイトウ ニ モトズク プログラム ノ コウゾウテキ アヤマリ カショ ニ タイスル ヒント ノ テイジ シュホウ 神野 翔太/著 ジンノ ショウタ 139-144
PBLを通じたソフトウェア要件とソースコード内部構造の対応づけを狙ったレガシーコード改良の試み ピービーエル オ ツウジタ ソフトウェア ヨウケン ト ソース コード ナイブ コウゾウ ノ タイオウズケ オ ネラッタ レガシー コード カイリョウ ノ ココロミ 須藤 真由/著 スドウ マユ 145-150
スケーラブルなモデル検査手法のメタ手法的考察 スケーラブル ナ モデル ケンサ シュホウ ノ メタ シュホウテキ コウサツ 岸 知二/著 キシ トモジ 151-156
IoTを指向したアスペクト指向モデリングメカニズムの拡張 アイオーティー オ シコウ シタ アスペクト シコウ モデリング メカニズム ノ カクチョウ 西條 弘起/著 サイジョウ コウキ 157-162
コード生成AIの活用は主体的な学びにつながるか?アルゴリズム教育におけるGitHub Copilotの導入と評価 コード セイセイ エーアイ ノ カツヨウ ワ シュタイテキ ナ マナビ ニ ツナガルカ アルゴリズム キョウイク ニ オケル ギットハブ コパイロット ノ ドウニュウ ト ヒョウカ 中才 恵太朗/著 ナカサイ ケイタロウ 163-168
大規模言語モデルによるヒント生成手法のプログラミング演習への導入 ダイキボ ゲンゴ モデル ニ ヨル ヒント セイセイ シュホウ ノ プログラミング エンシュウ エノ ドウニュウ 工藤 拓斗/ほか著 クドウ タクト 169-174
ペアワイズ法を用いたカバレッジ考慮型APIテストケース生成手法 ペアワイズホウ オ モチイタ カバレッジ コウリョガタ エーピーアイ テスト ケース セイセイ シュホウ 鈴木 康文/著 スズキ ヤスフミ 175-176
要求整理に向けたモデル化手法の有効性評価 ヨウキュウ セイリ ニ ムケタ モデルカ シュホウ ノ ユウコウセイ ヒョウカ 園部 陽平/ほか著 ソノベ ヨウヘイ 177-178
LLM駆動型Kubernetes障害分析エージェントの提案 エルエルエム クドウガタ クーバネティス ショウガイ ブンセキ エージェント ノ テイアン 家村 康佑/著 イエムラ コウスケ 179-180
C/C++のシステムに対するSBOM生成手法の検討 シー シー プラスプラス ノ システム ニ タイスル エスボム セイセイ シュホウ ノ ケントウ 音田 渉/ほか著 オトダ ワタル 181-182
トレーサビリティを活用した開発資材のナレッジ化によるLLMベースのソフトウェア開発支援の試み トレーサビリティ オ カツヨウ シタ カイハツ シザイ ノ ナレッジカ ニ ヨル エルエルエム ベース ノ ソフトウェア カイハツ シエン ノ ココロミ 秋信 有花/著 アキノブ ユカ 183-184
スマートフォンアプリケーションのレビュー自動分類のシステム実現に関する考察 スマート フォン アプリケーション ノ レビュー ジドウ ブンルイ ノ システム ジツゲン ニ カンスル コウサツ 宮下 拓也/著 ミヤシタ タクヤ 185-186
強化学習を用いたGraphQL APIの自動テスト手法の提案 キョウカ ガクシュウ オ モチイタ グラフ キューエル エーピーアイ ノ ジドウ テスト シュホウ ノ テイアン 斎藤 健三郎/ほか著 サイトウ ケンザブロウ 187-188
Webアプリケーション向け異常系テストの自動生成に関する提案 / Seleniumとミューテーションの活用 ウェブ アプリケーションムケ イジョウケイ テスト ノ ジドウ セイセイ ニ カンスル テイアン 山下 智也/著 ヤマシタ トモヤ 189-190
LLMを利用したキーワード拡張による検索手法の改良 エルエルエム オ リヨウ シタ キー ワード カクチョウ ニ ヨル ケンサク シュホウ ノ カイリョウ 久保 大雅/著 クボ タイガ 191-192
メトリクスごとの欠損メカニズム判別 メトリクスゴト ノ ケッソン メカニズム ハンベツ 谷本 詩温/著 タニモト シアン 193-194
脳波,皮膚温度によるプログラミング中のストレス検知 ノウハ ヒフ オンド ニ ヨル プログラミングチュウ ノ ストレス ケンチ 郡山 太陽/ほか著 コオリヤマ ソラ 195-196
修正の影響を提示することによりコーディング規約への違反修正を支援する方法 シュウセイ ノ エイキョウ オ テイジ スル コト ニ ヨリ コーディング キヤク エノ イハン シュウセイ オ シエン スル ホウホウ 藤吉 里帆/著 フジヨシ リホ 197-198
プログラミング教育における生成AIを活用したエラー文理解支援のためのツール開発 プログラミング キョウイク ニ オケル セイセイ エーアイ オ カツヨウ シタ エラーブン リカイ シエン ノ タメ ノ ツール カイハツ 城越 悠仁/著 シロコシ ユウト 199-200
プログラミング習慣化のためのバーチャルペットを育成するVSCode拡張機能の開発 プログラミング シュウカンカ ノ タメ ノ バーチャル ペット オ イクセイ スル ヴイエス コード カクチョウ キノウ ノ カイハツ 次原 蒼司/著 ツギハラ ソウシ 201-202
テイントフロー追跡を用いたコンコリックテストによるインジェクション脆弱性検出 テイント フロー ツイセキ オ モチイタ コンコリック テスト ニ ヨル インジェクション ゼイジャクセイ ケンシュツ 山口 大輔/著 ヤマグチ ダイスケ 203-204
Webアプリケーション上でユーザニーズを自動抽出するチャットボットの実装 ウェブ アプリケーションジョウ デ ユーザ ニーズ オ ジドウ チュウシュツ スル チャット ボット ノ ジッソウ 中田 匠哉/著 ナカタ タクヤ 205-206
ビルド可能性と依存関係のぜい弱性を用いたOSSプロジェクトの生存性評価 ビルド カノウセイ ト イゾン カンケイ ノ ゼイジャクセイ オ モチイタ オーエスエス プロジェクト ノ セイゾンセイ ヒョウカ 房野 悠真/著 フサノ ユウマ 207-208
差別データ多様性を意識した敵対的標本に基づく公平性テスト算法 サベツ データ タヨウセイ オ イシキ シタ テキタイテキ ヒョウホン ニ モトズク コウヘイセイ テスト サンポウ 神吉 孝洋/ほか著 カンキ タカヒロ 209-210
Kotlinにおけるサイクロマティック数計測ツールの開発 コトリン ニ オケル サイクロマティックスウ ケイソク ツール ノ カイハツ 清水端 康佑/著 シミズバタ コウスケ 211-212
第三者データを用いたソフトウェアバグ予測の確信度の推定に向けて ダイサンシャ データ オ モチイタ ソフトウェア バグ ヨソク ノ カクシンド ノ スイテイ ニ ムケテ 北内 亮太/ほか著 キタウチ リョウタ 213-214
Javaプログラムの解析による習熟度の測定に向けて ジャヴァ プログラム ノ カイセキ ニ ヨル シュウジュクド ノ ソクテイ ニ ムケテ 奈良井 洸希/ほか著 ナライ コウキ 215-216
ボールとパイプを組み合わせたCSアンプラグド教材に対する実験的評価の試み ボール ト パイプ オ クミアワセタ シーエス アンプラグド キョウザイ ニ タイスル ジッケンテキ ヒョウカ ノ ココロミ 陣内 純香/著 ジンノウチ スミカ 217-218
ゲーミフィケーション適用時のユーザと利用間隔に関する予備的分析 ゲーミフィケーション テキヨウジ ノ ユーザ ト リヨウ カンカク ニ カンスル ヨビテキ ブンセキ 角田 雅照/ほか著 ツノダ マサテル 219-220
Webアプリケーションの各リビジョンにおける操作量自動分析 ウェブ アプリケーション ノ カクリビジョン ニ オケル ソウサリョウ ジドウ ブンセキ 牧野 雄希/ほか著 マキノ ユウキ 221-222
LLMと埋め込みモデルを用いた要求仕様書とソースコードのマッチング手法の提案 エルエルエム ト ウメコミ モデル オ モチイタ ヨウキュウ シヨウショ ト ソース コード ノ マッチング シュホウ ノ テイアン 藤江 克彦/著 フジエ カツヒコ 223-224
各層ニューロンカバレッジに基づくテストケース自動生成手法 カクソウ ニューロン カバレッジ ニ モトズク テスト ケース ジドウ セイセイ シュホウ 朱 勇/著 シュ ユウ 225-226
RNNを用いたオープンソースソフトウェアの潜在バグ数の予測に向けた試み アールエヌエヌ オ モチイタ オープン ソース ソフトウェア ノ センザイ バグスウ ノ ヨソク ニ ムケタ ココロミ 本田 澄/著 ホンダ キヨシ 227-228
プロジェクト理解のための動的チャート作成ツールの開発 プロジェクト リカイ ノ タメ ノ ドウテキ チャート サクセイ ツール ノ カイハツ 速水 健杜/著 ハヤミ ケント 229-230