資料詳細

  • 1 件中、 1 件目

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

-- 近代科学社 -- 2016.12 --

所蔵

所蔵は 1 件です。

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

Eメールによる郵送複写申込みは、「東京都在住」の登録利用者の方が対象です。

    • 統合検索
      都内図書館の所蔵を
      横断検索します。       類似資料 AI Shelf
      この資料に類似した資料を
      AIが紹介します。

ページの先頭へ

資料詳細 閉じる

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

110000598050000 , 110001084100000

各巻タイトル 日本ソフトウェア科学会FOSE 2016
各巻タイトル読み ニホン ソフトウェア カガクカイ エフオーエスイー ニセンジュウロク
各巻著者 阿萬 裕久／編,横川 智教／編
各巻の著者の典拠番号

110004953900000 , 110007103410000

価格 ¥5800
内容紹介 日本ソフトウェア科学会「ソフトウェア工学の基礎」研究会(FOSE)が主催する第23回ワークショップの論文集。オープンソースソフトウェア、数理モデルとその応用、要求分析・検証などのテーマ別に収録。
一般件名 ソフトウェア工学-01014113-ndlsh
一般件名カナ ソフトウェアコウガク-01014113
一般件名 ソフトウェア工学
一般件名カナ ソフトウェア コウガク
一般件名典拠番号

511743600000000

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

ページの先頭へ

内容一覧 閉じる

内容 内容ヨミ 著者名 著者名ヨミ ページ
英語の試験を解くソフトと翻訳を評価するソフト エイゴ ノ シケン オ トク ソフト ト ホンヤク オ ヒョウカ スル ソフト 磯崎 秀樹／著 イソザキ ヒデキ 1-2
開発現場への導入を想定したOSS事前評価手法確立に向けた調査 カイハツ ゲンバ エノ ドウニュウ オ ソウテイ シタ オーエスエス ジゼン ヒョウカ シュホウ カクリツ ニ ムケタ チョウサ 松本 卓大／ほか著 マツモト タカヒロ 3-12
ライセンス特定のためのルール自動生成を目的としたライセンス記述パターン抽出手法 ライセンス トクテイ ノ タメ ノ ルール ジドウ セイセイ オ モクテキ ト シタ ライセンス キジュツ パターン チュウシュツ シュホウ 東 裕之輔／著 ヒガシ ユウノスケ 13-22
プログラミング言語の構造を考慮したAPI利用例検索ツール プログラミング ゲンゴ ノ コウゾウ オ コウリョ シタ エーピーアイ リヨウレイ ケンサク ツール 竹之内 啓太／著 タケノウチ ケイタ 23-32
データ構造と関数定義に着目したプログラミング学習者用テストケース評価記述方法の提案 データ コウゾウ ト カンスウ テイギ ニ チャクモク シタ プログラミング ガクシュウシャヨウ テスト ケース ヒョウカ キジュツ ホウホウ ノ テイアン 小林 悟／ほか著 コバヤシ サトル 33-42
位相型ソフトウェア信頼性モデルのモデル選択に関する考察 イソウガタ ソフトウェア シンライセイ モデル ノ モデル センタク ニ カンスル コウサツ 岡村 寛之／著 オカムラ ヒロユキ 43-52
工数予測における欠損値補完手法の評価 コウスウ ヨソク ニ オケル ケッソンチ ホカン シュホウ ノ ヒョウカ 戸田 航史／著 トダ コウジ 53-62
メモリモデルを考慮したメモリアクセス命令を提供するSPIN用ライブラリ メモリ モデル オ コウリョ シタ メモリ アクセス メイレイ オ テイキョウ スル スピンヨウ ライブラリ 松元 稿如／著 マツモト コウスケ 63-72
情報流解析のためのJavaアノテーション ジョウホウリュウ カイセキ ノ タメ ノ ジャヴァ アノテーション 吉田 真也／著 ヨシダ シンヤ 73-82
キャプチャデータからのテスト条件抽出に基づくOSS Webアプリのテストセットの評価と強化 キャプチャ データ カラ ノ テスト ジョウケン チュウシュツ ニ モトズク オーエスエス ウェブ アプリ ノ テスト セット ノ ヒョウカ ト キョウカ 宗像 聡／ほか著 ムナカタ サトシ 83-92
宣言的な可変性記述によるA/Bテストの自動化 センゲンテキ ナ カヘンセイ キジュツ ニ ヨル エー ビー テスト ノ ジドウカ 渡辺 啓介／ほか著 ワタナベ ケイスケ 93-102
ソースコードの削減可能量計測ツールの開発 ソース コード ノ サクゲン カノウリョウ ケイソク ツール ノ カイハツ 上村 恭平／ほか著 ウエムラ キョウヘイ 103-108
アルゴリズミックデバッグにおける正誤判定の効率化と半自動化 アルゴリズミック デバッグ ニ オケル セイゴ ハンテイ ノ コウリツカ ト ハンジドウカ 山崎 將史／ほか著 ヤマザキ マサシ 109-114
バリアントコードの改変履歴に基づく前処理条件の構造に関する特徴調査 バリアント コード ノ カイヘン リレキ ニ モトズク ゼンショリ ジョウケン ノ コウゾウ ニ カンスル トクチョウ チョウサ 今西 洋二／ほか著 イマニシ ヨウジ 115-120
Javaバイトコードのデータ依存関係解析手法 ジャヴァ バイト コード ノ データ イゾン カンケイ カイセキ シュホウ 杉山 安洋／著 スギヤマ ヤスヒロ 121-126
継続渡しスタイルのラムダ計算に基づく破壊的風静的単一代入形式の関数型プログラミング言語 ケイゾク ワタシ スタイル ノ ラムダ ケイサン ニ モトズク ハカイテキ フウセイテキ タンイツ ダイニュウ ケイシキ ノ カンスウガタ プログラミング ゲンゴ 島 和之／著 シマ カズユキ 127-132
検証性質に関わる解空間の可視化による協調解析支援 ケンショウ セイシツ ニ カカワル カイクウカン ノ カシカ ニ ヨル キョウチョウ カイセキ シエン 兎澤 佑／著 トザワ タスク 133-138
SOFL非形式仕様の図化支援ツール エスオーエフエル ヒケイシキ シヨウ ノ ズカ シエン ツール 鈴木 優也／著 スズキ ユウヤ 139-144
プログラミング中のマウスクリックによる注視点補正法の有効性評価 プログラミングチュウ ノ マウス クリック ニ ヨル チュウシテン ホセイホウ ノ ユウコウセイ ヒョウカ 高橋 圭一／著 タカハシ ケイイチ 145-150
コードレビューにおける年齢による差異の分析の試み コード レビュー ニ オケル ネンレイ ニ ヨル サイ ノ ブンセキ ノ ココロミ 村上 優佳紗／著 ムラカミ ユカサ 151-156
OSS開発のコードレビュー依頼に貢献する開発者の予測 オーエスエス カイハツ ノ コード レビュー イライ ニ コウケン スル カイハツシャ ノ ヨソク 小野 健一／ほか著 オノ ケンイチ 157-162
依存関係の向きが変更波及解析に与える影響の分析 イゾン カンケイ ノ ムキ ガ ヘンコウ ハキュウ カイセキ ニ アタエル エイキョウ ノ ブンセキ 上田 裕己／著 ウエダ ユウキ 163-168
SPLの近似的製品導出における近似度に関する考察 エスピーエル ノ キンジテキ セイヒン ドウシュツ ニ オケル キンジド ニ カンスル コウサツ 岸 知二／著 キシ トモジ 169-174
コンテキストアウェアネスを考慮した組込みシステムのためのアスペクト指向アーキテクチャの適用と実現 コンテキスト アウェアネス オ コウリョ シタ クミコミ システム ノ タメ ノ アスペクト シコウ アーキテクチャ ノ テキヨウ ト ジツゲン 江坂 篤侍／ほか著 エサカ アツシ 175-180
DevOpsを想定した実行可能仕様によるソフトウェア保守 デヴオプス オ ソウテイ シタ ジッコウ カノウ シヨウ ニ ヨル ソフトウェア ホシュ 大森 洋一／著 オオモリ ヨウイチ 181-186
動的ログを用いた業務アプリケーションの影響波及分析の試み ドウテキ ログ オ モチイタ ギョウム アプリケーション ノ エイキョウ ハキュウ ブンセキ ノ ココロミ 加藤 光幾／ほか著 カトウ コウキ 187-192
日本語表現の違いに着目した要求記述の分析と記述支援手法の改良 ニホンゴ ヒョウゲン ノ チガイ ニ チャクモク シタ ヨウキュウ キジュツ ノ ブンセキ ト キジュツ シエン シュホウ ノ カイリョウ 滝沢 陽三／著 タキザワ ヨウゾウ 193-198
Layard:IoTシステムの要求分析におけるアクタ中心のモデル図 レイヤード アイオーティー システム ノ ヨウキュウ ブンセキ ニ オケル アクタ チュウシン ノ モデルズ 小形 真平／ほか著 オガタ シンペイ 199-204
安全性要求分析方法の提案と自動ブレーキシステムへの適用評価 アンゼンセイ ヨウキュウ ブンセキ ホウホウ ノ テイアン ト ジドウ ブレーキ システム エノ テキヨウ ヒョウカ 松原 百映／著 マツバラ モエ 205-210
テスト計画に対する要求カバレッジ可視化手法の提案 テスト ケイカク ニ タイスル ヨウキュウ カバレッジ カシカ シュホウ ノ テイアン 松井 勝利／著 マツイ ショウリ 211-216
ウェブアプリケーション開発のためのPHPオンライン部分評価器の試作 ウェブ アプリケーション カイハツ ノ タメ ノ ピーエイチピー オンライン ブブン ヒョウカキ ノ シサク 吉田 敦／著 ヨシダ アツシ 217-222
シンスライシングを用いたWEBアプリのための設定ファイル参照ミス検知手法の試作と評価 シン スライシング オ モチイタ ウェブ アプリ ノ タメ ノ セッテイ ファイル サンショウ ミス ケンチ シュホウ ノ シサク ト ヒョウカ 依田 みなみ／ほか著 ヨダ ミナミ 223-228
実行時例外に伴う情報流の型検査に基づく解析手法 ジッコウジ レイガイ ニ トモナウ ジョウホウリュウ ノ カタケンサ ニ モトズク カイセキ シュホウ 桑原 寛明／著 クワバラ ヒロアキ 229-234
Eclipse Pluginを想定した類似メソッド検索機能を含む開発支援手法の提案 エクリプス プラグイン オ ソウテイ シタ ルイジ メソッド ケンサク キノウ オ フクム カイハツ シエン シュホウ ノ テイアン 尾花 将輝／著 オバナ マサキ 235-240
エッジ指向IoTアーキテクチャの提案 エッジ シコウ アイオーティー アーキテクチャ ノ テイアン 濱野 真伍／著 ハマノ シンゴ 241-242
ロジスティック回帰分析を用いた組合せテストの不具合特定法の提案 ロジスティック カイキ ブンセキ オ モチイタ クミアワセ テスト ノ フグアイ トクテイホウ ノ テイアン 西浦 生成／著 ニシウラ キナリ 243-244
失われたコメントが語るもの ／ 削除されたコメントに関する調査 ウシナワレタ コメント ガ カタル モノ 大森 隆行／著 オオモリ タカユキ 245-246
メソッド名の先頭単語とソースコードの安定性の関係に関する考察 メソッドメイ ノ セントウ タンゴ ト ソース コード ノ アンテイセイ ノ カンケイ ニ カンスル コウサツ 鈴木 翔／著 スズキ ショウ 247-248
MQTT実装のモデルベーステスト エムキューティーティー ジッソウ ノ モデル ベース テスト 米山 惇／ほか著 ヨネヤマ ジュン 249-250
一人で開発・保守が行われているソースファイルの品質について ヒトリ デ カイハツ ホシュ ガ オコナワレテ イル ソース ファイル ノ ヒンシツ ニ ツイテ 山内 一輝／著 ヤマウチ カズキ 251-252
Modbatを用いたApache ZooKeeperのモデルベーステストにおける探索アルゴリズムの改善 エムオーディービーエーティー オ モチイタ アパッチ ズー キーパー ノ モデル ベース テスト ニ オケル タンサク アルゴリズム ノ カイゼン 坂西 一暁／ほか著 バンザイ カズアキ 253-254
並列事象の同時生起を考慮した振る舞い仕様記述法に関する考察 ヘイレツ ジショウ ノ ドウジ セイキ オ コウリョ シタ フルマイ シヨウ キジュツホウ ニ カンスル コウサツ 張 漢明／著 チョウ カンメイ 255-256
Word2Vecを用いた類義語によるコード片検索の検討 ワードツーヴェック オ モチイタ ルイギゴ ニ ヨル コードヘン ケンサク ノ ケントウ 内山 武尊／著 ウチヤマ タケル 257-258
CI法の観点を考慮した認知的ウォークスルーの質問項目作成指針の提案 シーアイホウ ノ カンテン オ コウリョ シタ ニンチテキ ウォークスルー ノ シツモン コウモク サクセイ シシン ノ テイアン 加藤 駿／著 カトウ シュン 259-260
組込み開発におけるセンサデータと実際の動作との対応付け クミコミ カイハツ ニ オケル センサ データ ト ジッサイ ノ ドウサ トノ タイオウズケ 井上 アラン／著 イノウエ アラン 261-262
大規模な脆弱性検査のためのLALR(1)によるプログラムコードのKey‐value変換と検出への適用 ダイキボ ナ ゼイジャクセイ ケンサ ノ タメ ノ エルエーエルアール イチ ニ ヨル プログラム コード ノ キー ヴァリュー ヘンカン ト ケンシュツ エノ テキヨウ 安藤 類央／著 アンドウ ルオ 263-264
ソースコード編集履歴を用いた競合解決支援ツール ソース コード ヘンシュウ リレキ オ モチイタ キョウゴウ カイケツ シエン ツール 西村 雄一／著 ニシムラ ユウイチ 265-266
Analogy手法における正規化方向による比較 アナロジー シュホウ ニ オケル セイキカ ホウコウ ニ ヨル ヒカク 矢野 博暉／著 ヤノ ヒロキ 267-268
技術的負債を示唆するコメント文の分布について ギジュツテキ フサイ オ シサ スル コメントブン ノ ブンプ ニ ツイテ 三宅 悠登／著 ミヤケ ユウト 269-270
組込みシステムにおける要求分析モデルからのテストケース導出手法 クミコミ システム ニ オケル ヨウキュウ ブンセキ モデル カラ ノ テスト ケース ドウシュツ シュホウ 西川 俊／著 ニシカワ シュン 271-272
インライン展開と制御構造の系列要素化を組合わせたAPI利用パターン抽出 インライン テンカイ ト セイギョ コウゾウ ノ ケイレツ ヨウソカ オ クミアワセタ エーピーアイ リヨウ パターン チュウシュツ 相澤 遙也／著 アイザワ ユウヤ 273-274
二次元系における自己位置推定の振舞い検証に向けて ニジゲンケイ ニ オケル ジコ イチ スイテイ ノ フルマイ ケンショウ ニ ムケテ 渡邊 亮／著 ワタナベ リョウ 275-276

ページの先頭へ