資料詳細

  • 1 件中、 1 件目

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

-- 近代科学社 -- 2010.11 --

所蔵

所蔵は 1 件です。

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

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

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

ページの先頭へ

資料詳細 閉じる

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

110000598050000 , 110001084100000

各巻タイトル 日本ソフトウェア科学会FOSE 2010
各巻タイトル読み ニホン ソフトウェア カガクカイ エフオーエスイー ニセンジュウ
各巻著者 高田 眞吾／編,福田 浩章／編
各巻の著者の典拠番号

110005878140000 , 110005346650000

価格 ¥5000
内容注記 データマイニング技術を応用したソフトウェア構築・保守支援 小林隆志∥著, 林晋平∥著. SATSMTソルバとそのソフトウェア工学分野での応用 梅村晃広∥著. 属性つきゴールグラフにおけるゴールの品質特性 鵜飼孝典∥著, 林晋平∥著, 佐伯元司∥著. デザインパターンを用いたソースコードインスペクションツールのソフトウェアアーキテクチャ設計 浦野彰彦∥ほか著. 実装者に依存しないプログラム規模の測定に向けて 門田暁人∥著, 内田眞司∥著, 松本健一∥著. 表明動的生成を目的としたテストケース制約のESCJava2を利用した導出 小林和貴∥ほか著. プログラム変更履歴調査のための編集操作再生器 大森隆行∥著, 丸山勝久∥著. トレースに基づくデバッグにおける欠陥箇所発見支援手法 上原伸介∥ほか著. CONPASU-tool:記号処理に基づく並行プロセス解析支援ツールの試作 磯部祥尚∥著. 組込みシステム検証のためのUML+MARTEモデルから時間オートマトンへの変換手法 小野康一∥ほか著. テキスト処理のためのパーザーコンビネーター 岩間太∥著, 中村大賀∥著, 竹内広宜∥著. ソースコード解析を利用したモデル検査に基づく欠陥抽出手法 青木善貴∥著, 松浦佐江子∥著. 検証項目を持つ情報制御システム記述言語のための分析・設計手法 小飼敬∥ほか著. モデル検査を用いた振舞い検証の実用化技術に関する考察-網羅性に着目して 張漢明∥ほか著. プロセス標準化に着目したソフトウェア保守ベンチマーク構築の試み 角田雅照∥ほか著. Webサービスのリファクタリング検出と自動適応 福留康之∥著, 鷲崎弘宜∥著, 深澤良彰∥著. テンプレートメソッドの形成に基づく類似メソッド集約支援 政井智雄∥ほか著. 多面的テストの統合によるユーザビリティ評価 矢下雄一郎∥ほか著. OEMソフトウェア製品の検証プロセスの分析 名倉正剛∥著, 川口真司∥著, 飯田元∥著. 組合せテストの評価と直交表を用いた網羅率改善法 曽我部幸司∥著, 阿萬裕久∥著. デバッグ支援のためのグラフベース推薦システム 塩塚大∥著, 鵜林尚靖∥著. ケーススタディ:KAOSUMLモデリング 本田耕三∥ほか著. 高度道路交通システム向け開放型分散アスペクト指向フレームワーク 成瀬龍人∥ほか著. ファイル結合によるウェブサイトのフロントエンド性能の改善 野ケ山尊秀∥著, 井床利生∥著. 組込みソフトウェア製品ファミリにおけるコンパイルスイッチによる構成管理手法 渥美紀寿∥ほか著. ナップサック問題としてのFault-proneモジュール選択とそこでのメトリクスの効果について 山下裕也∥著, 阿萬裕久∥著. 仕様記述を必要としない有界レグレッション検知フレームワークの提案 吉田雅年∥著. 事例分析に基づく組込みシステムに適したソフトウェアアーキテクチャの提案 海老原健一∥ほか著. モバイルデバイスにおけるカスタマイズ可能なインタフェースに関する研究 棚池祐樹∥著, 福田浩章∥著, 山本喜一∥著. オブジェクト生成関係抽出ツールROBIN 中野佑紀∥ほか著. IZMI:成果物の修正頻度に着目したソフトウェア開発履歴の可視化ツール 大蔵君治∥著, 飯田元∥著. 教室コンピュータを利用した大規模不正コピーレポート検出システムの開発 尾花将輝∥ほか著. テスティングフレームワークにおける問題と考察 坂本一憲∥著, 鷲崎弘宜∥著, 深澤良彰∥著
内容紹介 日本ソフトウェア科学会「ソフトウェア工学の基礎」研究会(FOSE)が主催する第17回ワークショップの論文集。ミニチュートリアル、ソフトウェアの多面性、支援ツール、ソフトウェア保守などのテーマ別に収録。
一般件名 ソフトウェア工学
一般件名カナ ソフトウェアコウガク
一般件名 ソフトウェア工学
一般件名カナ ソフトウェア コウガク
一般件名典拠番号

511743600000000

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

ページの先頭へ

内容一覧 閉じる

内容 内容ヨミ 著者名 著者名ヨミ ページ
データマイニング技術を応用したソフトウェア構築・保守支援 データ　マイニング　ギジュツ　オ　オウヨウ　シタ　ソフトウェア　コウチク　ホシュ　シエン 小林 隆志／著 コバヤシ　タカシ １－２
SAT/SMTソルバとそのソフトウェア工学分野での応用 エスエーティー　エスエムティー　ソルバ　ト　ソノ　ソフトウェア　コウガク　ブンヤ　デノ　オウヨウ 梅村 晃広／著 ウメムラ　アキヒロ ３－４
属性つきゴールグラフにおけるゴールの品質特性 ゾクセイツキ　ゴール　グラフ　ニ　オケル　ゴール　ノ　ヒンシツ　トクセイ 鵜飼 孝典／著 ウガイ　タカノリ ５－１４
デザインパターンを用いたソースコードインスペクションツールのソフトウェアアーキテクチャ設計 デザイン　パターン　オ　モチイタ　ソース　コード　インスペクション　ツール　ノ　ソフトウェア　アーキテクチャ　セッケイ 浦野 彰彦／ほか著 ウラノ　アキヒコ １５－２４
実装者に依存しないプログラム規模の測定に向けて ジッソウシャ　ニ　イゾン　シナイ　プログラム　キボ　ノ　ソクテイ　ニ　ムケテ 門田 暁人／著 モンデン　アキト ２５－３４
表明動的生成を目的としたテストケース制約のESC/Java2を利用した導出 ヒョウメイ　ドウテキ　セイセイ　オ　モクテキ　ト　シタ　テスト　ケース　セイヤク　ノ　イーエスシー　ジャヴァ　ツー　オ　リヨウ　シタ　ドウシュツ 小林 和貴／ほか著 コバヤシ　カズキ ３５－４４
プログラム変更履歴調査のための編集操作再生器 プログラム　ヘンコウ　リレキ　チョウサ　ノ　タメ　ノ　ヘンシュウ　ソウサ　サイセイキ 大森 隆行／著 オオモリ　タカユキ ４５－５４
トレースに基づくデバッグにおける欠陥箇所発見支援手法 トレース　ニ　モトズク　デバッグ　ニ　オケル　ケッカン　カショ　ハッケン　シエン　シュホウ 上原 伸介／ほか著 ウエハラ　ノブユキ ５５－６４
CONPASU‐tool:記号処理に基づく並行プロセス解析支援ツールの試作 コンパス　ツール　キゴウ　ショリ　ニ　モトズク　ヘイコウ　プロセス　カイセキ　シエン　ツール　ノ　シサク 磯部 祥尚／著 イソベ　ヨシナオ ６５－７４
組込みシステム検証のためのUML+MARTEモデルから時間オートマトンへの変換手法 クミコミ　システム　ケンショウ　ノ　タメ　ノ　ユーエムエル　プラス　マルテ　モデル　カラ　ジカン　オートマトン　エノ　ヘンカン　シュホウ 小野 康一／ほか著 オノ　コウイチ ７５－８４
テキスト処理のためのパーザーコンビネーター テキスト　ショリ　ノ　タメ　ノ　パーザー　コンビネーター 岩間 太／著 イワマ　フトシ ８５－９４
ソースコード解析を利用したモデル検査に基づく欠陥抽出手法 ソース　コード　カイセキ　オ　リヨウ　シタ　モデル　ケンサ　ニ　モトズク　ケッカン　チュウシュツ　シュホウ 青木 善貴／著 アオキ　ヨシタカ ９５－１００
検証項目を持つ情報制御システム記述言語のための分析・設計手法 ケンショウ　コウモク　オ　モツ　ジョウホウ　セイギョ　システム　キジュツ　ゲンゴ　ノ　タメ　ノ　ブンセキ　セッケイ　シュホウ 小飼 敬／ほか著 コガイ　ケイ １０１－１０６
モデル検査を用いた振舞い検証の実用化技術に関する考察-網羅性に着目して モデル　ケンサ　オ　モチイタ　フルマイ　ケンショウ　ノ　ジツヨウカ　ギジュツ　ニ　カンスル　コウサツ　モウラセイ　ニ　チャクモク　シテ 張 漢明／ほか著 チョウ　カンメイ １０７－１１２
プロセス標準化に着目したソフトウェア保守ベンチマーク構築の試み プロセス　ヒョウジュンカ　ニ　チャクモク　シタ　ソフトウェア　ホシュ　ベンチ　マーク　コウチク　ノ　ココロミ 角田 雅照／ほか著 ツノダ　マサテル １１３－１１８
Webサービスのリファクタリング検出と自動適応 ウェブ　サービス　ノ　リファクタリング　ケンシュツ　ト　ジドウ　テキオウ 福留 康之／著 フクトメ　ヤスユキ １１９－１２４
テンプレートメソッドの形成に基づく類似メソッド集約支援 テンプレート　メソッド　ノ　ケイセイ　ニ　モトズク　ルイジ　メソッド　シュウヤク　シエン 政井 智雄／ほか著 マサイ　トモオ １２５－１３０
多面的テストの統合によるユーザビリティ評価 タメンテキ　テスト　ノ　トウゴウ　ニ　ヨル　ユーザビリティ　ヒョウカ 矢下 雄一郎／ほか著 ヤシタ　ユウイチロウ １３１－１３６
OEMソフトウェア製品の検証プロセスの分析 オーイーエム　ソフトウェア　セイヒン　ノ　ケンショウ　プロセス　ノ　ブンセキ 名倉 正剛／著 ナグラ　マサタカ １３７－１４２
組合せテストの評価と直交表を用いた網羅率改善法 クミアワセ　テスト　ノ　ヒョウカ　ト　チョッコウヒョウ　オ　モチイタ　モウラリツ　カイゼンホウ 曽我部 幸司／著 ソガベ　コウジ １４３－１４８
デバッグ支援のためのグラフベース推薦システム デバッグ　シエン　ノ　タメ　ノ　グラフ　ベース　スイセン　システム 塩塚 大／著 シオズカ　マサル １４９－１５４
ケーススタディ:KAOS/UMLモデリング ケース　スタディ　カオス　ユーエムエル　モデリング 本田 耕三／ほか著 ホンダ　コウゾウ １５５－１６０
高度道路交通システム向け開放型分散アスペクト指向フレームワーク コウド　ドウロ　コウツウ　システムムケ　カイホウガタ　ブンサン　アスペクト　シコウ　フレームワーク 成瀬 龍人／ほか著 ナルセ　リュウト １６１－１６６
ファイル結合によるウェブサイトのフロントエンド性能の改善 ファイル　ケツゴウ　ニ　ヨル　ウェブ　サイト　ノ　フロント　エンド　セイノウ　ノ　カイゼン 野ケ山 尊秀／著 ノガヤマ　タカヒデ １６７－１７２
組込みソフトウェア製品ファミリにおけるコンパイルスイッチによる構成管理手法 クミコミ　ソフトウェア　セイヒン　ファミリ　ニ　オケル　コンパイル　スイッチ　ニ　ヨル　コウセイ　カンリ　シュホウ 渥美 紀寿／ほか著 アツミ　ノリトシ １７３－１７８
ナップサック問題としてのFault‐proneモジュール選択とそこでのメトリクスの効果について ナップサック　モンダイ　ト　シテ　ノ　フォールト　プローン　モジュール　センタク　ト　ソコ　デノ　メトリクス　ノ　コウカ　ニ　ツイテ 山下 裕也／著 ヤマシタ　ユウヤ １７９－１８０
仕様記述を必要としない有界レグレッション検知フレームワークの提案 シヨウ　キジュツ　オ　ヒツヨウ　ト　シナイ　ユウカイ　レグレッション　ケンチ　フレームワーク　ノ　テイアン 吉田 雅年／著 ヨシダ　マサトシ １８１－１８２
事例分析に基づく組込みシステムに適したソフトウェアアーキテクチャの提案 ジレイ　ブンセキ　ニ　モトズク　クミコミ　システム　ニ　テキシタ　ソフトウェア　アーキテクチャ　ノ　テイアン 海老原 健一／ほか著 エビハラ　ケンイチ １８３－１８４
モバイルデバイスにおけるカスタマイズ可能なインタフェースに関する研究 モバイル　デバイス　ニ　オケル　カスタマイズ　カノウ　ナ　インタフェース　ニ　カンスル　ケンキュウ 棚池 祐樹／著 タナイケ　ユウキ １８５－１８６
オブジェクト生成関係抽出ツールROBIN オブジェクト　セイセイ　カンケイ　チュウシュツ　ツール　アールオービーアイエヌ 中野 佑紀／ほか著 ナカノ　ユウキ １８７－１８８
IZMI:成果物の修正頻度に着目したソフトウェア開発履歴の可視化ツール アイゼットエムアイ　セイカブツ　ノ　シュウセイ　ヒンド　ニ　チャクモク　シタ　ソフトウェア　カイハツ　リレキ　ノ　カシカ　ツール 大蔵 君治／著 オオクラ　キミハル １８９－１９０
教室コンピュータを利用した大規模不正コピーレポート検出システムの開発 キョウシツ　コンピュータ　オ　リヨウ　シタ　ダイキボ　フセイ　コピー　レポート　ケンシュツ　システム　ノ　カイハツ 尾花 将輝／ほか著 オバナ　マサキ １９１－１９２
テスティングフレームワークにおける問題と考察 テスティング　フレームワーク　ニ　オケル　モンダイ　ト　コウサツ 坂本 一憲／著 サカモト　カズノリ １９３－１９４

ページの先頭へ