資料詳細

  • 1 件中、 1 件目

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

-- 近代科学社 -- 2009.11 --

所蔵

所蔵は 1 件です。

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

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

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

ページの先頭へ

資料詳細 閉じる

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

110000598050000 , 110001084100000

各巻タイトル 日本ソフトウェア科学会FOSE 2009
各巻タイトル読み ニホン ソフトウェア カガクカイ エフオーエスイー ニセンキュウ
各巻著者 中島 震／編,鷲崎 弘宜／編
各巻の著者の典拠番号

110003839040000 , 110004163080000

価格 ¥6000
内容注記 組込みソフトウェアの性能解析のための実行トレースの捨象にもとづくモデリング手法 小野康一∥ほか著. FeliCa ICチップ開発における仕様記述フレームワークの構築 中津川泰正∥著, 栗田太郎∥著, 荒木啓二郎∥著. 形式手法適用の実際と教訓 栗田太郎∥著, 中津川泰正∥著, 荒木啓二郎∥著. リアクティブシステム仕様を実現可能にするための環境制約の抽出 萩原茂樹∥ほか著. 型検査に基づく情報流解析における型エラースライシング 桑原寛明∥著. ウェブ・アプリケーションに対する脆弱性検出のための文字列解析の拡張 立石孝彰∥著. プラットフォーム学習支援のためのサンプルプログラムを用いたドキュメントの関連部分抽出 藤浦祥雅∥ほか著. JavaScriptソースコードリポジトリを用いた代替コード発見 蛭牟田英治∥ほか著. flexDiff:ステートメント・リスト方式のXML形式差分を出力する柔軟なプログラム差分抽出ツール 横田大樹∥著, 権藤克彦∥著. アーキテクチャ記述をカプセル化するインタフェース機構Archface 野村潤∥著, 鵜林尚靖∥著. モデル検査における妥当性確認を目的とした並行システムの表現手法 竹内亮太郎∥ほか著. メトリクスと機械学習によるデザインパターン検出 内山諭∥ほか著. 差分シナリオを用いたシナリオ生成支援 牧野正之∥著, 大西淳∥著. プロダクトとプロセスの品質に着目した要求定義ノウハウのアセット化 北川貴之∥ほか著. 直交表を用いた単体テスト向けテストケースの効率的生成法 曽我部幸司∥著, 阿萬裕久∥著. Mining Specifications to Test. C Function Takeo Imai∥著, Michael D.Ernst∥著. アサーション動的生成のためのテストケース自動生成手法の生成アサーションの妥当性評価 宮本敬三∥ほか著. メソッドの自動生成を用いたOCLのJMLへの変換ツールの設計 尾鷲方志∥著, 岡野浩三∥著, 楠本真二∥著. プログラムファイルのグループ分けによるコードクローン散布状況の可視化 川口真司∥ほか著. 開発者メトリクスを用いたソフトウェア信頼性の分析 松本真佑∥ほか著.Skill-based Staff Allocation Optimization in Software Development Projects Tad Gonsalves∥ほか著. ブレンディッド開発プロセスにおける複雑さのメトリクスの提案 尾花将輝∥著, 花川典子∥著. ソフトウェア開発工数予測における予測回避プロジェクトの選定とその効果 戸田航史∥著, 門田暁人∥著, 松本健一∥著. ソフトウェア開発工数予測における線形重回帰モデル再考 門田暁人∥著. 振る舞いを記述したモデルからのシステム再利用 上村学∥著, 川端亮∥著, 伊藤潔∥著. 設計文書に対する静的形式検査のための型システム 岩間太∥著, 中村大賀∥著. Alloyを利用した情報制御システム記述言語の仕様検証の実用化 小飼敬∥ほか著. アスペクト指向ソフトウェアアーキテクチャの振る舞い検証に関する考察 張漢明∥ほか著. プログラム中の機密性違反を扱うセキュリティポイントカットとアドバイスの提案 伊三野直志∥著, 丸山勝久∥著. 委託・受託を対象とするコミットメントネットワークを導入したドメインとインタードメインのオントロジの構成法 加藤隼也∥著, 川端亮∥著, 伊藤潔∥著. NFRフレームワークにおけるシステム連携向け拡張NFR型カタログの提案 矢嶋健一∥著, 落水浩一郎∥著. 構造および語の類似性に基づくアナリシスパターンの自動抽出 野本悠太郎∥ほか著. ライブラリ移行を目的とした機能の対応関係パターンとそれに基づく移行手法 藤崎洋子∥ほか著. アスペクト指向によるAjaxデザインパターンの適用 江口和樹∥ほか著. ソースコード編集履歴を用いた開発停滞期検出 大森隆行∥著, 丸山勝久∥著. 識別子に対する注釈付加ツールDocumentTag 悦田翔悟∥ほか著. CoBRAに基づく見積り支援ツール 中村宏美∥著. 定量データに基づくプロジェクト診断支援ツール 森下哲成∥著. 意味解析器の自動生成系にむけて 多幡充∥著, 桑原寛明∥著, 國枝義敏∥著. UMLとSimulinkのモデル変換手法の提案 吉田聡∥著, 上田賀一∥著, 中島震∥著. モデル検査によるAjaxアプリケーション検証のためのモデルの提案 玉田和洋∥ほか著. オブジェクト指向プログラムの実行履歴上のフェイズに対応する機能の推定手法の提案 渡邊結∥著, 石尾隆∥著, 井上克郎∥著
内容紹介 日本ソフトウェア科学会「ソフトウェア工学の基礎」研究会(FOSE)が主催する第16回ワークショップの論文集。組込みソフトウェア開発手法、設計技法、プログラム品質向上などのテーマ別に収録。
一般件名 ソフトウェア工学∥論文集
一般件名カナ ソフトウェアコウガク∥ロンブンシュウ
一般件名 ソフトウェア工学
一般件名カナ ソフトウェア コウガク
一般件名典拠番号

511743600000000

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

ページの先頭へ

内容一覧 閉じる

内容 内容ヨミ 著者名 著者名ヨミ ページ
組込みソフトウェアの性能解析のための実行トレースの捨象にもとづくモデリング手法 クミコミ　ソフトウェア　ノ　セイノウ　カイセキ　ノ　タメ　ノ　ジッコウ　トレース　ノ　シャショウ　ニ　モトズク　モデリング　シュホウ 小野 康一／ほか著 オノ　コウイチ １－１２
FeliCa ICチップ開発における仕様記述フレームワークの構築 フェリカ　アイシー　チップ　カイハツ　ニ　オケル　シヨウ　キジュツ　フレームワーク　ノ　コウチク 中津川 泰正／著 ナカツガワ　ヤスマサ １３－２４
形式手法適用の実際と教訓 ／ 「形式手法の十戒」に照らし合わせて ケイシキ　シュホウ　テキヨウ　ノ　ジッサイ　ト　キョウクン 栗田 太郎／著 クリタ　タロウ ２５－３５
リアクティブシステム仕様を実現可能にするための環境制約の抽出 リアクティブ　システム　シヨウ　オ　ジツゲン　カノウ　ニ　スル　タメ　ノ　カンキョウ　セイヤク　ノ　チュウシュツ 萩原 茂樹／ほか著 ハギハラ　シゲキ ３７－４８
型検査に基づく情報流解析における型エラースライシング カタケンサ　ニ　モトズク　ジョウホウリュウ　カイセキ　ニ　オケル　カタエラー　スライシング 桑原 寛明／著 クワバラ　ヒロアキ ４９－６０
ウェブ・アプリケーションに対する脆弱性検出のための文字列解析の拡張 ウェブ　アプリケーション　ニ　タイスル　ゼイジャクセイ　ケンシュツ　ノ　タメ　ノ　モジレツ　カイセキ　ノ　カクチョウ 立石 孝彰／著 タテイシ　タカアキ ６１－７２
プラットフォーム学習支援のためのサンプルプログラムを用いたドキュメントの関連部分抽出 プラットフォーム　ガクシュウ　シエン　ノ　タメ　ノ　サンプル　プログラム　オ　モチイタ　ドキュメント　ノ　カンレン　ブブン　チュウシュツ 藤浦 祥雅／ほか著 フジウラ　ヨシマサ ７３－８４
JavaScriptソースコードリポジトリを用いた代替コード発見 ジャヴァ　スクリプト　ソース　コード　リポジトリ　オ　モチイタ　ダイタイ　コード　ハッケン 蛭牟田 英治／ほか著 ヒルムタ　エイジ ８５－９４
flexDiff:ステートメント・リスト方式のXML形式差分を出力する柔軟なプログラム差分抽出ツール フレックス　ディフ　ステートメント　リスト　ホウシキ　ノ　エックスエムエル　ケイシキ　サブン　オ　シュツリョク　スル　ジュウナン　ナ　プログラム　サブン　チュウシュツ　ツール 横田 大樹／著 ヨコタ　ヒデキ ９５－１０６
アーキテクチャ記述をカプセル化するインタフェース機構Archface アーキテクチャ　キジュツ　オ　カプセルカ　スル　インタフェース　キコウ　アーキフェース 野村 潤／著 ノムラ　ジュン １０７－１１８
モデル検査における妥当性確認を目的とした並行システムの表現手法 モデル　ケンサ　ニ　オケル　ダトウセイ　カクニン　オ　モクテキ　ト　シタ　ヘイコウ　システム　ノ　ヒョウゲン　シュホウ 竹内 亮太郎／ほか著 タケウチ　リョウタロウ １１９－１３０
メトリクスと機械学習によるデザインパターン検出 メトリクス　ト　キカイ　ガクシュウ　ニ　ヨル　デザイン　パターン　ケンシュツ 内山 諭／ほか著 ウチヤマ　サトル １３１－１４２
差分シナリオを用いたシナリオ生成支援 サブン　シナリオ　オ　モチイタ　シナリオ　セイセイ　シエン 牧野 正之／著 マキノ　マサユキ １４３－１５４
プロダクトとプロセスの品質に着目した要求定義ノウハウのアセット化 プロダクト　ト　プロセス　ノ　ヒンシツ　ニ　チャクモク　シタ　ヨウキュウ　テイギ　ノウハウ　ノ　アセットカ 北川 貴之／ほか著 キタガワ　タカユキ １５５－１６６
直交表を用いた単体テスト向けテストケースの効率的生成法 チョッコウヒョウ　オ　モチイタ　タンタイ　テストムケ　テスト　ケース　ノ　コウリツテキ　セイセイホウ 曽我部 幸司／著 ソガベ　コウジ １６７－１７４
Mining Specifications to Test a C Function マイニング　スペシフィケーションズ　トゥー　テスト　ア　シー　ファンクション Takeo Imai／著 イマイ　タケオ １７５－１８２
アサーション動的生成のためのテストケース自動生成手法の生成アサーションの妥当性評価 アサーション　ドウテキ　セイセイ　ノ　タメ　ノ　テスト　ケース　ジドウ　セイセイ　シュホウ　ノ　セイセイ　アサーション　ノ　ダトウセイ　ヒョウカ 宮本 敬三／ほか著 ミヤモト　ケイゾウ １８３－１９０
メソッドの自動生成を用いたOCLのJMLへの変換ツールの設計 メソッド　ノ　ジドウ　セイセイ　オ　モチイタ　オーシーエル　ノ　ジェーエムエル　エノ　ヘンカン　ツール　ノ　セッケイ 尾鷲 方志／著 オワシ　マサユキ １９１－１９８
プログラムファイルのグループ分けによるコードクローン散布状況の可視化 プログラム　ファイル　ノ　グループワケ　ニ　ヨル　コード　クローン　サンプ　ジョウキョウ　ノ　カシカ 川口 真司／ほか著 カワグチ　シンジ １９９－２０６
開発者メトリクスを用いたソフトウェア信頼性の分析 カイハツシャ　メトリクス　オ　モチイタ　ソフトウェア　シンライセイ　ノ　ブンセキ 松本 真佑／ほか著 マツモト　シンスケ ２０７－２１４
Skill‐based Staff Allocation Optimization in Software Development Projects スキル　ベースト　スタッフ　アロケーション　オプティマイゼーション　イン　ソフトウェア　ディヴェロップメント　プロジェクツ Tad Gonsalves／ほか著 ゴンサルヴェス　Ｔ． ２１５－２２０
ブレンディッド開発プロセスにおける複雑さのメトリクスの提案 ブレンディッド　カイハツ　プロセス　ニ　オケル　フクザツサ　ノ　メトリクス　ノ　テイアン 尾花 将輝／著 オバナ　マサキ ２２１－２２８
ソフトウェア開発工数予測における予測回避プロジェクトの選定とその効果 ソフトウェア　カイハツ　コウスウ　ヨソク　ニ　オケル　ヨソク　カイヒ　プロジェクト　ノ　センテイ　ト　ソノ　コウカ 戸田 航史／著 トダ　コウジ ２２９－２３６
ソフトウェア開発工数予測における線形重回帰モデル再考 ソフトウェア　カイハツ　コウスウ　ヨソク　ニ　オケル　センケイ　ジュウカイキ　モデル　サイコウ 門田 暁人／著 モンデン　アキト ２３７－２４４
振る舞いを記述したモデルからのシステム再利用 フルマイ　オ　キジュツ　シタ　モデル　カラ　ノ　システム　サイリヨウ 上村 学／著 カミムラ　マナブ ２４５－２５０
設計文書に対する静的形式検査のための型システム セッケイ　ブンショ　ニ　タイスル　セイテキ　ケイシキ　ケンサ　ノ　タメ　ノ　カタシステム 岩間 太／著 イワマ　フトシ ２５１－２５８
Alloyを利用した情報制御システム記述言語の仕様検証の実用化 アロイ　オ　リヨウ　シタ　ジョウホウ　セイギョ　システム　キジュツ　ゲンゴ　ノ　シヨウ　ケンショウ　ノ　ジツヨウカ 小飼 敬／ほか著 コガイ　ケイ ２５９－２６６
アスペクト指向ソフトウェアアーキテクチャの振る舞い検証に関する考察 アスペクト　シコウ　ソフトウェア　アーキテクチャ　ノ　フルマイ　ケンショウ　ニ　カンスル　コウサツ 張 漢明／ほか著 チョウ　カンメイ ２６７－２７４
プログラム中の機密性違反を扱うセキュリティポイントカットとアドバイスの提案 プログラムチュウ　ノ　キミツセイ　イハン　オ　アツカウ　セキュリティ　ポイント　カット　ト　アドバイス　ノ　テイアン 伊三野 直志／著 イサノ　タダシ ２７５－２８２
委託・受託を対象とするコミットメントネットワークを導入したドメインとインタードメインのオントロジの構成法 イタク　ジュタク　オ　タイショウ　ト　スル　コミットメント　ネットワーク　オ　ドウニュウ　シタ　ドメイン　ト　インタードメイン　ノ　オントロジ　ノ　コウセイホウ 加藤 隼也／著 カトウ　シュンヤ ２８３－２８８
NFRフレームワークにおけるシステム連携向け拡張NFR型カタログの提案 エヌエフアール　フレームワーク　ニ　オケル　システム　レンケイムケ　カクチョウ　エヌエフアールガタ　カタログ　ノ　テイアン 矢嶋 健一／著 ヤジマ　ケンイチ ２８９－２９６
構造および語の類似性に基づくアナリシスパターンの自動抽出 コウゾウ　オヨビ　ゴ　ノ　ルイジセイ　ニ　モトズク　アナリシス　パターン　ノ　ジドウ　チュウシュツ 野本 悠太郎／ほか著 ノモト　ユウタロウ ２９７－３０４
ライブラリ移行を目的とした機能の対応関係パターンとそれに基づく移行手法 ライブラリ　イコウ　オ　モクテキ　ト　シタ　キノウ　ノ　タイオウ　カンケイ　パターン　ト　ソレ　ニ　モトズク　イコウ　シュホウ 藤崎 洋子／ほか著 フジサキ　ヨウコ ３０５－３１２
アスペクト指向によるAjaxデザインパターンの適用 アスペクト　シコウ　ニ　ヨル　エイジャックス　デザイン　パターン　ノ　テキヨウ 江口 和樹／ほか著 エグチ　カズキ ３１３－３２０
ソースコード編集履歴を用いた開発停滞期検出 ソース　コード　ヘンシュウ　リレキ　オ　モチイタ　カイハツ　テイタイキ　ケンシュツ 大森 隆行／著 オオモリ　タカユキ ３２１－３２２
識別子に対する注釈付加ツールDocumentTag シキベツシ　ニ　タイスル　チュウシャク　フカ　ツール　ドキュメント　タグ 悦田 翔悟／ほか著 エツダ　ショウゴ ３２３－３２４
CoBRAに基づく見積り支援ツール シーオービーアールエー　ニ　モトズク　ミツモリ　シエン　ツール 中村 宏美／著 ナカムラ　ヒロミ ３２５－３２６
定量データに基づくプロジェクト診断支援ツール テイリョウ　データ　ニ　モトズク　プロジェクト　シンダン　シエン　ツール 森下 哲成／著 モリシタ　アキノリ ３２７－３２８
意味解析器の自動生成系にむけて イミ　カイセキキ　ノ　ジドウ　セイセイケイ　ニ　ムケテ 多幡 充／著 タバタ　ミツル ３２９－３３０
UMLとSimulinkのモデル変換手法の提案 ユーエムエル　ト　シミュリンク　ノ　モデル　ヘンカン　シュホウ　ノ　テイアン 吉田 聡／著 ヨシダ　サトシ ３３１－３３２
モデル検査によるAjaxアプリケーション検証のためのモデルの提案 モデル　ケンサ　ニ　ヨル　エイジャックス　アプリケーション　ケンショウ　ノ　タメ　ノ　モデル　ノ　テイアン 玉田 和洋／ほか著 タマダ　タカヒロ ３３３－３３４
オブジェクト指向プログラムの実行履歴上のフェイズに対応する機能の推定手法の提案 オブジェクト　シコウ　プログラム　ノ　ジッコウ　リレキジョウ　ノ　フェイズ　ニ　タイオウ　スル　キノウ　ノ　スイテイ　シュホウ　ノ　テイアン 渡邊 結／著 ワタナベ　ユイ ３３５－３３６

ページの先頭へ