資料詳細

  • 1 件中、 1 件目

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

-- 近代科学社 -- 2014.12 --

所蔵

所蔵は 1 件です。

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

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

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

ページの先頭へ

資料詳細 閉じる

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

110000598050000 , 110001084100000

各巻タイトル 日本ソフトウェア科学会FOSE 2014
各巻タイトル読み ニホン ソフトウェア カガクカイ エフオーエスイー ニセンジュウヨン
各巻著者 花川 典子／編,尾花 将輝／編
各巻の著者の典拠番号

110004840540000 , 110005401880000

価格 ¥6000
内容紹介 日本ソフトウェア科学会「ソフトウェア工学の基礎」研究会(FOSE)が主催する第21回ワークショップの論文集。実践ソフト開発、プログラム解析、開発支援ツール、プロジェクト管理などのテーマ別に収録。
一般件名 ソフトウェア工学-ndlsh-01014113
一般件名カナ ソフトウェアコウガク-01014113
一般件名 ソフトウェア工学
一般件名カナ ソフトウェア コウガク
一般件名典拠番号

511743600000000

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

ページの先頭へ

内容一覧 閉じる

内容 内容ヨミ 著者名 著者名ヨミ ページ
ソフトウェア工学のパラダイム・シフト ／ Immaterial Laborの視点から ソフトウェア コウガク ノ パラダイム シフト 岸田 孝一／著 キシダ コウイチ 1-3
ソースコード中の変数と条件分岐による脳活動の差 ソース コードチュウ ノ ヘンスウ ト ジョウケン ブンキ ニ ヨル ノウカツドウ ノ サ 幾谷 吉晴／著 イクタニ ヨシハル 5-14
自動計測データに基づくソフトウェア開発の作業目的の推定 ジドウ ケイソク データ ニ モトズク ソフトウェア カイハツ ノ サギョウ モクテキ ノ スイテイ 大橋 亮太／ほか著 オオハシ リョウタ 15-24
クラッシュレポートの送信頻度が不具合との関連付けに与える影響 クラッシュ レポート ノ ソウシン ヒンド ガ フグアイ トノ カンレンズケ ニ アタエル エイキョウ 小須田 光／著 コスダ ヒカリ 25-34
なぜGitHubは人気なのか/マルチエージェントシミュレーションによる協調進化の分析 ナゼ ギットハブ ワ ニンキ ナノカ マルチエージェント シミュレーション ニ ヨル キョウチョウ シンカ ノ ブンセキ 畑 秀明／著 ハタ ヒデアキ 35-44
OSSプロジェクトにおけるコミッターの承認に対する動機の理解 オーエスエス プロジェクト ニ オケル コミッター ノ ショウニン ニ タイスル ドウキ ノ リカイ 伊原 彰紀／ほか著 イハラ アキノリ 45-50
マージにおけるメソッドコンフリクト解消の実態調査 マージ ニ オケル メソッド コンフリクト カイショウ ノ ジッタイ チョウサ 湯月 亮平／著 ユズキ リョウヘイ 51-56
OSSの不具合修正曲線に基づく未修正不具合数の予測の試み オーエスエス ノ フグアイ シュウセイ キョクセン ニ モトズク ミシュウセイ フグアイスウ ノ ヨソク ノ ココロミ 藤野 啓輔／ほか著 フジノ ケイスケ 57-62
人口ピラミッドによるOSSプロジェクト貢献者の流動性分析 ジンコウ ピラミッド ニ ヨル オーエスエス プロジェクト コウケンシャ ノ リュウドウセイ ブンセキ 尾上 紗野／ほか著 オノウエ サヤ 63-68
Feature Envyとコメント文の関連性に関する考察 フィーチャー エンヴィ ト コメントブン ノ カンレンセイ ニ カンスル コウサツ 藤井 里沙／ほか著 フジイ リサ 69-74
リエンジニアリングプロセスにおける工程を考慮したソフトウェア構造解析の実践 リエンジニアリング プロセス ニ オケル コウテイ オ コウリョ シタ ソフトウェア コウゾウ カイセキ ノ ジッセン 長岡 武志／著 ナガオカ タケシ 75-80
フックを用いた変数アクセス偽装難読化に向けて フック オ モチイタ ヘンスウ アクセス ギソウ ナンドクカ ニ ムケテ 福田 收真／著 フクダ カズマサ 81-86
コルモゴロフ複雑性に基づくプロダクト派生木復元の試み コルモゴロフ フクザツセイ ニ モトズク プロダクト ハセイボク フクゲン ノ ココロミ 早瀬 康裕／著 ハヤセ ヤスヒロ 87-92
高速なMCS列挙を利用した準最弱事前条件推定の改良 コウソク ナ エムシーエス レッキョ オ リヨウ シタ ジュンサイジャク ジゼン ジョウケン スイテイ ノ カイリョウ 今井 健男／著 イマイ タケオ 93-102
モデル変換を用いたリファクタリング検証手法 モデル ヘンカン オ モチイタ リファクタリング ケンショウ シュホウ 市井 誠／著 イチイ マコト 103-112
任意の機密度束を用いた情報流解析における非機密化プリミティブの配置 ニンイ ノ キミツドソク オ モチイタ ジョウホウリュウ カイセキ ニ オケル ヒキミツカ プリミティブ ノ ハイチ 桑原 寛明／著 クワバラ ヒロアキ 113-122
初学者向けプログラミング演習における探索的プログラミングの実態調査と支援手法の提案 ショガクシャムケ プログラミング エンシュウ ニ オケル タンサクテキ プログラミング ノ ジッタイ チョウサ ト シエン シュホウ ノ テイアン 槇原 絵里奈／ほか著 マキハラ エリナ 123-128
インクリメンタル開発のためのJavaクラスの簡易実行ツール インクリメンタル カイハツ ノ タメ ノ ジャヴァ クラス ノ カンイ ジッコウ ツール 高橋 克幸／著 タカハシ カツユキ 129-134
遅延評価関数型言語から命令型言語への変換系における対応関係を考慮したソースレベルデバッグ支援 チエン ヒョウカ カンスウガタ ゲンゴ カラ メイレイガタ ゲンゴ エノ ヘンカンケイ ニ オケル タイオウ カンケイ オ コウリョ シタ ソース レベル デバッグ シエン 西村 将広／ほか著 ニシムラ マサヒロ 135-140
IT駆動型ビジネスアーキテクチャのゴール指向設計方法 アイティー クドウガタ ビジネス アーキテクチャ ノ ゴール シコウ セッケイ ホウホウ 井出 昌浩／ほか著 イデ マサヒロ 141-146
SOAに基づくシステムのアーキテクチャと仕様モデルの対応関係 エスオーエー ニ モトズク システム ノ アーキテクチャ ト シヨウ モデル ノ タイオウ カンケイ 江坂 篤侍／著 エサカ アツシ 147-152
システム企画における最適な意思決定のための重要意思決定キャンバスの提案 システム キカク ニ オケル サイテキ ナ イシ ケッテイ ノ タメ ノ ジュウヨウ イシ ケッテイ キャンバス ノ テイアン 横田 真人／ほか著 ヨコタ マサト 153-158
制御状態の切り替えを考慮した組込みシステムモデルの協調解析 セイギョ ジョウタイ ノ キリカエ オ コウリョ シタ クミコミ システム モデル ノ キョウチョウ カイセキ 渡辺 翠／著 ワタナベ ミドリ 159-164
非同期通信を行うWebアプリケーションによる資源競合問題に対するモデル検査による検証 ヒドウキ ツウシン オ オコナウ ウェブ アプリケーション ニ ヨル シゲン キョウゴウ モンダイ ニ タイスル モデル ケンサ ニ ヨル ケンショウ 都丸 卓也／ほか著 トマル タクヤ 165-170
ProBを用いたVDMの陰仕様の解釈実行の試み ピーアールオービー オ モチイタ ヴイディーエム ノ インシヨウ ノ カイシャク ジッコウ ノ ココロミ 石川 洋／著 イシカワ ヒロシ 171-176
モジュール理解のためのバグレポート推薦 モジュール リカイ ノ タメ ノ バグ レポート スイセン 藤原 新／ほか著 フジワラ シン 177-182
Analogy手法における類似プロジェクト数決定のための指標 アナロジー シュホウ ニ オケル ルイジ プロジェクトスウ ケッテイ ノ タメ ノ シヒョウ 柿元 健／著 カキモト タケシ 183-188
ソフトウェア開発データの無矛盾性の評価 ソフトウェア カイハツ データ ノ ムムジュンセイ ノ ヒョウカ 門田 暁人／著 モンデン アキト 189-194
異なる成熟度の仕様に対するVDM適用効果の比較 コトナル セイジュクド ノ シヨウ ニ タイスル ヴイディーエム テキヨウ コウカ ノ ヒカク 大森 洋一／ほか著 オオモリ ヨウイチ 195-200
開発プロセスにおけるステークホルダマネジメント方法の提案と評価 カイハツ プロセス ニ オケル ステークホルダ マネジネント ホウホウ ノ テイアン ト ヒョウカ 野村 典文／著 ノムラ ノリフミ 201-206
ソフトウェア開発におけるビジネスルール分類の考察 ソフトウェア カイハツ ニ オケル ビジネス ルール ブンルイ ノ コウサツ 山田 節夫／ほか著 ヤマダ セツオ 207-212
設計抽象化のためのリファクタリング支援 セッケイ チュウショウカ ノ タメ ノ リファクタリング シエン 艾 迪／ほか著 ガイ テキ 213-218
異なるコードクローンメトリクスを用いた欠陥モジュール予測の試み コトナル コード クローン メトリクス オ モチイタ ケッカン モジュール ヨソク ノ ココロミ 角田 雅照／ほか著 ツノダ マサテル 219-224
ネスト化によるリファクタリングの連続的適用 ネストカ ニ ヨル リファクタリング ノ レンゾクテキ テキヨウ 田島 香織／著 タジマ カオリ 225-230
テストケースの実行履歴に基づいたクラスタリングと0-1計画モデルを組み合わせた回帰テスト計画手法の提案 テスト ケース ノ ジッコウ リレキ ニ モトズイタ クラスタリング ト ゼロ イチ ケイカク モデル オ クミアワセタ カイキ テスト ケイカク シュホウ ノ テイアン 阿萬 裕久／ほか著 アマン ヒロヒサ 231-240
WebIDEを用いたプログラミング演習におけるテストケース評価システムの提案 ウェブ アイディーイー オ モチイタ プログラミング エンシュウ ニ オケル テスト ケース ヒョウカ システム ノ テイアン 蜂巣 吉成／著 ハチス ヨシナリ 241-250
高度ソフトウェア専門技術者育成のためのゴール指向に基づく教授法設計方法の提案 コウド ソフトウェア センモン ギジュツシャ イクセイ ノ タメ ノ ゴール シコウ ニ モトズク キョウジュホウ セッケイ ホウホウ ノ テイアン 古畑 慶次／ほか著 コバタ ケイジ 251-260
形式仕様に基づくテスト結果の評価 ケイシキ シヨウ ニ モトズク テスト ケッカ ノ ヒョウカ 池谷 駿／著 イケヤ シュン 261-262
Yet Another CSS Preprocessor:CSSの複雑性軽減に向けた設計手法 イェット アナザー シーエスエス プリプロセッサ シーエスエス ノ フクザツセイ ケイゲン ニ ムケタ セッケイ シュホウ 森下 雅章／著 モリシタ マサアキ 263-264
処理と実行順序の類似性に基づく仕様の補完手法 ショリ ト ジッコウ ジュンジョ ノ ルイジセイ ニ モトズク シヨウ ノ ホカン シュホウ 利國 愛／著 トシクニ アイ 265-266
テスト合格予測手法におけるテスト項目間の関連付の自動化の検討 テスト ゴウカク ヨソク シュホウ ニ オケル テスト コウモクカン ノ カンレンズケ ノ ジドウカ ノ ケントウ 中野 隆司／ほか著 ナカノ タカシ 267-268
ソフトウェアメトリクスを用いたソフトウェア再利用の提案 ソフトウェア メトリクス オ モチイタ ソフトウェア サイリヨウ ノ テイアン 曽和 寛史／著 ソワ ヒロシ 269-270
変更追跡機能を用いた静的検査ツールの効果的な利用法 ヘンコウ ツイセキ キノウ オ モチイタ セイテキ ケンサ ツール ノ コウカテキ ナ リヨウホウ 渥美 紀寿／著 アツミ ノリトシ 271-272
オープンソースライセンス変更によるプロジェクトへの影響評価に向けて オープン ソース ライセンス ヘンコウ ニ ヨル プロジェクト エノ エイキョウ ヒョウカ ニ ムケテ 眞鍋 雄貴／著 マナベ ユウキ 273-274
モデル駆動開発におけるユーザビリティ機能の要求確認を支援するWebプロトタイプ自動生成ツール モデル クドウ カイハツ ニ オケル ユーザビリティ キノウ ノ ヨウキュウ カクニン オ シエン スル ウェブ プロトタイプ ジドウ セイセイ ツール 紙森 翔平／著 カミモリ ショウヘイ 275-276
非同期処理の実行を管理する疑似ブロックの提案 ヒドウキ ショリ ノ ジッコウ オ カンリ スル ギジ ブロック ノ テイアン 畔上 剛／著 アゼガミ タケシ 277-278
自然言語記述された仕様書からの機能情報抽出とソースコードとの対応方法の検討 シゼン ゲンゴ キジュツ サレタ シヨウショ カラ ノ キノウ ジョウホウ チュウシュツ ト ソース コード トノ タイオウ ホウホウ ノ ケントウ 増田 智樹／著 マスダ トモキ 279-280
Chromiumのgitリポジトリから算出可能な工数の見積もり手法の定量的評価 クロミウム ノ ギット リポジトリ カラ サンシュツ カノウ ナ コウスウ ノ ミツモリ シュホウ ノ テイリョウテキ ヒョウカ 戸田 航史／著 トダ コウジ 281-282
結合テストレベルにおけるExhaustive Testing適用の技術的課題の検討 ケツゴウ テスト レベル ニ オケル イグゾースティヴ テスティング テキヨウ ノ ギジュツテキ カダイ ノ ケントウ 増田 聡／著 マスダ サトシ 283-284
閉空間ナビゲーションシステムにおける誘導方式の決定に関する提案 ヘイクウカン ナビゲーション システム ニ オケル ユウドウ ホウシキ ノ ケッテイ ニ カンスル テイアン 長谷川 智美／著 ハセガワ サトミ 285-286
プログラム依存グラフにおける到達可能性に着目した凝集度メトリクスの提案 プログラム イゾン グラフ ニ オケル トウタツ カノウセイ ニ チャクモク シタ ギシュウド メトリクス ノ テイアン 加藤 健太／ほか著 カトウ ケンタ 287-288
To‐Be業務プロセスモデリングに向けた業務要求分析手法 トゥー ビー ギョウム プロセス モデリング ニ ムケタ ギョウム ヨウキュウ ブンセキ シュホウ 荒木 真敬／著 アラキ マサタカ 289-290
ソフトウェアプロジェクト予測におけるトービットモデル適用の試み ソフトウェア プロジェクト ヨソク ニ オケル トービット モデル テキヨウ ノ ココロミ 角田 雅照／著 ツノダ マサテル 291-292

ページの先頭へ