資料詳細

  • 1 件中、 1 件目

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

-- 近代科学社 -- 2011.11 --

所蔵

所蔵は 1 件です。

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

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

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

ページの先頭へ

資料詳細 閉じる

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

110000598050000 , 110001084100000

各巻タイトル 日本ソフトウェア科学会FOSE 2011
各巻タイトル読み ニホン ソフトウェア カガクカイ エフオーエスイー ニセンジュウイチ
各巻著者 門田 暁人／編,上野 秀剛／編
各巻の著者の典拠番号

110005401940000 , 110004855870000

価格 ¥5500
内容紹介 日本ソフトウェア科学会「ソフトウェア工学の基礎」研究会(FOSE)が主催する第18回ワークショップの論文集。開発環境とツール、モデリング手法、開発データ分析とサービス化などのテーマ別に収録。
一般件名 ソフトウェア工学
一般件名カナ ソフトウェア コウガク
一般件名典拠番号

511743600000000

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

ページの先頭へ

内容一覧 閉じる

内容 内容ヨミ 著者名 著者名ヨミ ページ
「ソースコード天国」実現に向けて ヤマト,マサタケ 大和 正武／著 ソース/コード/テンゴク/ジツゲン/ニ/ムケテ 1-10
SMTベースのCOPデバッグ支援 ウチオ,シズカ 内尾 静／著 エスエムティー/ベース/ノ/シーオーピー/デバッグ/シエン 11-20
コンパイル方式によるXQuery問い合わせプログラム生成方法 ハチス,ヨシナリ 蜂巣 吉成／ほか著 コンパイル/ホウシキ/ニ/ヨル/エックスクエリー/トイアワセ/プログラム/セイセイ/ホウホウ 21-30
実行時エラー時に変数の推移情報を表示するJava仮想マシンの提案 ホシ,コウイチロウ 星 孝一郎／著 ジッコウジ/エラージ/ニ/ヘンスウ/ノ/スイイ/ジョウホウ/オ/ヒョウジ/スル/ジャヴァ/カソウ/マシン/ノ/テイアン 31-40
シナリオ差分に基づくシナリオ検索支援手法 ヨシダ,ユウサク 吉田 裕作／著 シナリオ/サブン/ニ/モトズク/シナリオ/ケンサク/シエン/シュホウ 41-50
Ajaxアプリケーションを対象としたラウンドトリップエンジニアリング支援手法 ハヤシ,チヒロ 林 千博／著 エイジャックス/アプリケーション/オ/タイショウ/ト/シタ/ラウンド/トリップ/エンジニアリング/シエン/シュホウ 51-60
ソースコード編集履歴のリファクタリング手法 ハヤシ,シンペイ 林 晋平／ほか著 ソース/コード/ヘンシュウ/リレキ/ノ/リファクタリング/シュホウ 61-70
ソースコード差分のレビューにおけるレビューアの理解度の実験的評価 タグチ,マサヒロ 田口 雅裕／著 ソース/コード/サブン/ノ/レビュー/ニ/オケル/レビューア/ノ/リカイド/ノ/ジッケンテキ/ヒョウカ 71-80
OSS開発におけるコミッター選出のための開発者の活動量に関する実証的分析 イハラ,アキノリ 伊原 彰紀／ほか著 オーエスエス/カイハツ/ニ/オケル/コミッター/センシュツ/ノ/タメ/ノ/カイハツシャ/ノ/カツドウリョウ/ニ/カンスル/ジッショウテキ/ブンセキ 81-90
統一ソーシャルグラフモデルの提案とSNSへの適用評価 アオヤマ,ミキオ 青山 幹雄／著 トウイツ/ソーシャル/グラフ/モデル/ノ/テイアン/ト/エスエヌエス/エノ/テキヨウ/ヒョウカ 91-96
ソフトウェアモデル間のスケーラブルな整合化戦略について キシ,トモジ 岸 知二／著 ソフトウェア/モデルカン/ノ/スケーラブル/ナ/セイゴウカ/センリャク/ニ/ツイテ 97-102
組込みシステムのリソースモデルからUPPAAL時間オートマトンへの変換手法 オノ,コウイチ 小野 康一／ほか著 クミコミ/システム/ノ/リソース/モデル/カラ/ウパール/ジカン/オートマトン/エノ/ヘンカン/シュホウ 103-108
モデル検査のためのオブジェクト制約言語を用いた外部環境モデルの構築のための考察 ヨシイケ,ヒロキ 吉池 弘樹／ほか著 モデル/ケンサ/ノ/タメ/ノ/オブジェクト/セイヤク/ゲンゴ/オ/モチイタ/ガイブ/カンキョウ/モデル/ノ/コウチク/ノ/タメ/ノ/コウサツ 109-114
DCWeaver:動的なWebコンテンツを考慮したアスペクト指向言語の設計と実装 ナガシマ,コウヘイ 永島 康平／著 ディーシー/ウィーヴァー/ドウテキ/ナ/ウェブ/コンテンツ/オ/コウリョ/シタ/アスペクト/シコウ/ゲンゴ/ノ/セッケイ/ト/ジッソウ 115-120
プログラム理解支援を目的とした編集操作スライスとその再生 マルヤマ,カツヒサ 丸山 勝久／ほか著 プログラム/リカイ/シエン/オ/モクテキ/ト/シタ/ヘンシュウ/ソウサ/スライス/ト/ソノ/サイセイ 121-126
スタンドアロンソフトウェアを発展させた分散システムにおけるオブジェクト配置制御法 カンダ,ショウタ 神田 翔太／著 スタンド/アロン/ソフトウェア/オ/ハッテン/サセタ/ブンサン/システム/ニ/オケル/オブジェクト/ハイチ/セイギョホウ 127-132
ミラーリング可能な分散オブジェクトシステムの重複メソッド呼び出し問題とその解決法 ヤマノウチ,タケル 山ノ内 健／著 ミラーリング/カノウ/ナ/ブンサン/オブジェクト/システム/ノ/チョウフク/メソッド/ヨビダシ/モンダイ/ト/ソノ/カイケツホウ 133-138
非機能特性を考慮した自己適応システムの動的再構成手法の提案 ホリコシ,ヒサユキ 堀越 永幸／ほか著 ヒキノウ/トクセイ/オ/コウリョ/シタ/ジコ/テキオウ/システム/ノ/ドウテキ/サイコウセイ/シュホウ/ノ/テイアン 139-144
情報制御システム記述言語による列車運行制御モデルの記述と検証 コガイ,ケイ 小飼 敬／ほか著 ジョウホウ/セイギョ/システム/キジュツ/ゲンゴ/ニ/ヨル/レッシャ/ウンコウ/セイギョ/モデル/ノ/キジュツ/ト/ケンショウ 145-150
時間論理で記述された仕様からのプログラム自動抽出による組み込みシステム構成手法 アライ,タカヒロ 新井 貴大／ほか著 ジカン/ロンリ/デ/キジュツ/サレタ/シヨウ/カラ/ノ/プログラム/ジドウ/チュウシュツ/ニ/ヨル/クミコミ/システム/コウセイ/シュホウ 151-156
Support for Generating UML Class Diagrams and OCL Constraints from KAOS Model ソムバット・チャンウィライ Sombat Chanvilai／ほか著 サポート/フォー/ジェネレーティング/ユーエムエル/クラス/ダイアグラムズ/アンド/オーシーエル/コンストレインツ/フロム/カオス/モデル 157-162
呼び出し関係を用いた単体テストおよび静的検査の可視化手法の改善とその評価 ムトウ,ユウコ 武藤 祐子／著 ヨビダシ/カンケイ/オ/モチイタ/タンタイ/テスト/オヨビ/セイテキ/ケンサ/ノ/カシカ/シュホウ/ノ/カイゼン/ト/ソノ/ヒョウカ 163-168
業務アプリケーションの結合テストでの回帰テスト選択手法 マエダ,ヨシハル 前田 芳晴／ほか著 ギョウム/アプリケーション/ノ/ケツゴウ/テスト/デノ/カイキ/テスト/センタク/シュホウ 169-174
保守性向上へ向けた設計モデルとソースコード間のトレーサビリティ解析 イトウ,ヒロキ 伊藤 弘毅／ほか著 ホシュセイ/コウジョウ/エ/ムケタ/セッケイ/モデル/ト/ソース/コードカン/ノ/トレーサビリティ/カイセキ 175-180
設計段階における抽象度を考慮したソフトウェアの保守性評価枠組み シミズ,マサヤ 志水 理哉／ほか著 セッケイ/ダンカイ/ニ/オケル/チュウショウド/オ/コウリョ/シタ/ソフトウェア/ノ/ホシュセイ/ヒョウカ/ワクグミ 181-186
Minimal Unsatisfiable Core列挙によるプログラムの準最弱な事前条件推定 イマイ,タケオ 今井 健男／著 ミニマル/アンサティスフィアブル/コア/レッキョ/ニ/ヨル/プログラム/ノ/ジュンサイジャク/ナ/ジゼン/ジョウケン/スイテイ 187-196
論理的制約条件付き0-1計画問題として定式化した重点レビュー対象モジュールの選択 アマン,ヒロヒサ 阿萬 裕久／著 ロンリテキ/セイヤク/ジョウケンツキ/ゼロ/イチ/ケイカク/モンダイ/ト/シテ/テイシキカ/シタ/ジュウテン/レビュー/タイショウ/モジュール/ノ/センタク 197-206
組込みシステムのアーキテクチャー検討における非機能要求の評価に適したモデル変換手法 カワハラ,リョウ 河原 亮／ほか著 クミコミ/システム/ノ/アーキテクチャー/ケントウ/ニ/オケル/ヒキノウ/ヨウキュウ/ノ/ヒョウカ/ニ/テキシタ/モデル/ヘンカン/シュホウ 207-212
出現単語の上位語,下位語を用いたソフトウェアドキュメントの抽象度定量化 モリサキ,シュウジ 森崎 修司／著 シュツゲン/タンゴ/ノ/ジョウイゴ/カイゴ/オ/モチイタ/ソフトウェア/ドキュメント/ノ/チュウショウド/テイリョウカ 213-218
設計・実装視点からの要求分析モデルの品質評価を目的としたシステム開発実験 オガタ,シンペイ 小形 真平／著 セッケイ/ジッソウ/シテン/カラ/ノ/ヨウキュウ/ブンセキ/モデル/ノ/ヒンシツ/ヒョウカ/オ/モクテキ/ト/シタ/システム/カイハツ/ジッケン 219-224
ユーザ・ベンダによるソフトウェア要件合意形成プロセスにおけるユーザ発言の自動分類 トダ,コウジ 戸田 航史／ほか著 ユーザ/ベンダ/ニ/ヨル/ソフトウェア/ヨウケン/ゴウイ/ケイセイ/プロセス/ニ/オケル/ユーザ/ハツゲン/ノ/ジドウ/ブンルイ 225-230
リポジトリマイニング技術共有のためのサービス指向フレームワーク マツモト,シンスケ 松本 真佑／著 リポジトリ/マイニング/ギジュツ/キョウユウ/ノ/タメ/ノ/サービス/シコウ/フレームワーク 231-236
不具合管理パターンが不具合修正に与える影響の分析 オオヒラ,マサオ 大平 雅雄／ほか著 フグアイ/カンリ/パターン/ガ/フグアイ/シュウセイ/ニ/アタエル/エイキョウ/ノ/ブンセキ 237-242
プログラム解析技術のサービス化の試み クワバラ,ヒロアキ 桑原 寛明／著 プログラム/カイセキ/ギジュツ/ノ/サービスカ/ノ/ココロミ 243-248
カスタムソフトの価格妥当性確認に向けた分析 ツノダ,マサテル 角田 雅照／ほか著 カスタム/ソフト/ノ/カカク/ダトウセイ/カクニン/ニ/ムケタ/ブンセキ 249-254
プロジェクトの可視化に基づくPBL指導支援 フクヤス,ナオキ 福安 直樹／著 プロジェクト/ノ/カシカ/ニ/モトズク/ピービーエル/シドウ/シエン 255-256
モデル検査技術を用いた性能最適化手法の提案 ナガノ,タケヒコ 長野 岳彦／著 モデル/ケンサ/ギジュツ/オ/モチイタ/セイノウ/サイテキカ/シュホウ/ノ/テイアン 257-258
GPUを利用したポインタ解析の実装と評価 フカヤ,トシクニ 深谷 敏邦／著 ジーピーユー/オ/リヨウ/シタ/ポインタ/カイセキ/ノ/ジッソウ/ト/ヒョウカ 259-260

ページの先頭へ