-- 近代科学社 -- 2018.11 --

所蔵

所蔵は 1 件です。

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

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

資料詳細 閉じる

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

110000598050000 , 110001084100000

各巻タイトル 日本ソフトウェア科学会FOSE 2018
各巻タイトル読み ニホン ソフトウェア カガクカイ エフオーエスイー ニセンジュウハチ
各巻著者 伊藤 恵/編,神谷 年洋/編
各巻の著者の典拠番号

110006328910000 , 110007105420000

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

511743600000000

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

内容一覧 閉じる

内容 内容ヨミ 著者名 著者名ヨミ ページ
定置網ビッグデータによるイノベーション テイチアミ ビッグ データ ニ ヨル イノベーション 和田 雅昭/著 ワダ マサアキ 1-4
VMISS:低レイヤー学習のための仮想マシン実装支援機構 ヴイエムアイエスエス テイレイヤー ガクシュウ ノ タメ ノ カソウ マシン ジッソウ シエン キコウ 片貝 惇哉/著 カタガイ ジュンヤ 5-14
記号実行を利用した細粒度状態遷移表を抽出するリバースエンジニアリング手法 キゴウ ジッコウ オ リヨウ シタ サイリュウド ジョウタイ センイヒョウ オ チュウシュツ スル リバース エンジニアリング シュホウ 清水 貴裕/ほか著 シミズ タカヒロ 15-24
Visual Regression Testingにおいて画面要素の位置関係によってマスク領域を指定する手法 ヴィジュアル リグレッション テスティング ニ オイテ ガメン ヨウソ ノ イチ カンケイ ニ ヨッテ マスク リョウイキ オ シテイ スル シュホウ 安達 悠/著 アダチ ユウ 25-30
auto‐sklearnを用いたバグ予測の実験的評価 オートエスケーラーン オ モチイタ バグ ヨソク ノ ジッケンテキ ヒョウカ 田中 和也/著 タナカ カズヤ 31-40
ソフトウェア信頼度成長モデルの適用結果モニタリングによる開発状況の理解 ソフトウェア シンライド セイチョウ モデル ノ テキヨウ ケッカ モニタリング ニ ヨル カイハツ ジョウキョウ ノ リカイ 本田 澄/ほか著 ホンダ キヨシ 41-46
フォールト混入のリスク評価に向けたソースコード変更メトリクスの提案 フォールト コンニュウ ノ リスク ヒョウカ ニ ムケタ ソース コード ヘンコウ メトリクス ノ テイアン 川上 卓也/著 カワカミ タクヤ 47-52
コードレビューを通じて行われるコーディングスタイル修正の分析 コード レビュー オ ツウジテ オコナワレル コーディング スタイル シュウセイ ノ ブンセキ 上田 裕己/ほか著 ウエダ ユウキ 53-62
Webパフォーマンスとユーザビリティの相関関係分析 ウェブ パフォーマンス ト ユーザビリティ ノ ソウカン カンケイ ブンセキ 道券 裕二/ほか著 ドウケン ユウジ 63-68
ブロックチェーンを用いたソフトウェア情報の組織間共有 ブロックチェーン オ モチイタ ソフトウェア ジョウホウ ノ ソシキカン キョウユウ 幾谷 吉晴/ほか著 イクタニ ヨシハル 69-74
Java Stream APIによるストリーム操作の停止性検査のための型システム ジャヴァ ストリーム エーピーアイ ニ ヨル ストリーム ソウサ ノ テイシセイ ケンサ ノ タメ ノ カタ システム 長谷川 健太/著 ハセガワ ケンタ 75-84
情報流解析における制約付き機密度パラメータ ジョウホウリュウ カイセキ ニ オケル セイヤクツキ キミツド パラメータ 桑原 寛明/著 クワバラ ヒロアキ 85-90
再帰的な構造体を用いたプログラムに対するSAWを用いた振る舞い等価性検証手法の考案と評価 サイキテキ ナ コウゾウタイ オ モチイタ プログラム ニ タイスル エスエーダブリュー オ モチイタ フルマイ トウカセイ ケンショウ シュホウ ノ コウアン ト ヒョウカ 辛島 凛/ほか著 カラシマ リン 91-96
ファイルの読み書き回数を記録する記号実行によるレガシープログラム理解の支援 ファイル ノ ヨミカキ カイスウ オ キロク スル キゴウ ジッコウ ニ ヨル レガシー プログラム リカイ ノ シエン 前田 芳晴/著 マエダ ヨシハル 97-106
ライブラリの組み合わせ相性評価に向けた動作可能率の経年変化に対する調査 ライブラリ ノ クミアワセ ソウセイ ヒョウカ ニ ムケタ ドウサ カノウリツ ノ ケイネン ヘンカ ニ タイスル チョウサ 横山 晴樹/ほか著 ヨコヤマ ハルキ 107-112
細粒度ソフトウェア進化理解のための操作履歴グラフの実装 サイリュウド ソフトウェア シンカ リカイ ノ タメ ノ ソウサ リレキ グラフ ノ ジッソウ 大森 隆行/著 オオモリ タカユキ 113-118
ユーザレビューに基づいたゴールモデル構築手法の検討 ユーザ レビュー ニ モトズイタ ゴール モデル コウチク シュホウ ノ ケントウ 島田 裕紀/著 シマダ ヒロノリ 119-128
フィーチャモデル利用の確率的側面に関する一考察 フィーチャ モデル リヨウ ノ カクリツテキ ソクメン ニ カンスル イチ コウサツ 岸 知二/著 キシ トモジ 129-134
コンテキスト協調を考慮したIoTシステムのためのソフトウェアアーキテクチャの設計 コンテキスト キョウチョウ オ コウリョ シタ アイオーティー システム ノ タメ ノ ソフトウェア アーキテクチャ ノ セッケイ 江坂 篤侍/著 エサカ アツシ 135-140
ソフトウェア開発工数予測におけるデータスムージングの検討 ソフトウェア カイハツ コウスウ ヨソク ニ オケル データ スムージング ノ ケントウ 伊永 健人/著 コレナガ ケント 141-142
保守性を考慮した自動テストの実装手法の検討 ホシュセイ オ コウリョ シタ ジドウ テスト ノ ジッソウ シュホウ ノ ケントウ 晏 リョウ/ほか著 アン リョウ 143-144
シンボリック実行攻撃を妨げるソフトウェア難読化方法の検討 シンボリック ジッコウ コウゲキ オ サマタゲル ソフトウェア ナンドクカ ホウホウ ノ ケントウ 瀬戸 俊輝/著 セト トシキ 145-146
ソフトウェアの知的財産権に関する裁判事例の調査に向けて ソフトウェア ノ チテキ ザイサンケン ニ カンスル サイバン ジレイ ノ チョウサ ニ ムケテ 西 勇輔/著 ニシ ユウスケ 147-148
2変数関数を扱うアソシエーションルールの検討 ニヘンスウ カンスウ オ アツカウ アソシエーション ルール ノ ケントウ 齊藤 英和/著 サイトウ ヒデカズ 149-150
難読化されたJavaバイトコードに対するシンボリック実行攻撃の困難さ評価の検討 ナンドクカ サレタ ジャヴァ バイト コード ニ タイスル シンボリック ジッコウ コウゲキ ノ コンナンサ ヒョウカ ノ ケントウ 西 陽太/ほか著 ニシ ヨウタ 151-152
Webページの差異がOSSへの寄付に与える影響の分析 ウェブ ページ ノ サイ ガ オーエスエス エノ キフ ニ アタエル エイキョウ ノ ブンセキ 行澤 宇午/著 ユキザワ ウゴ 153-154
記述の共通性に着目したプログラムのダイジェスト化手法の提案 キジュツ ノ キョウツウセイ ニ チャクモク シタ プログラム ノ ダイジェストカ シュホウ ノ テイアン 加藤 宗一郎/ほか著 カトウ ソウイチロウ 155-156
要求分析と基本設計間のトレーサビリティ確保のためのユースケース記述変換ツール ヨウキュウ ブンセキ ト キホン セッケイカン ノ トレーサビリティ カクホ ノ タメ ノ ユース ケース キジュツ ヘンカン ツール 吉野 魁人/著 ヨシノ カイト 157-158