資料詳細

  • 1 件中、 1 件目

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

-- 近代科学社 -- 2007.11 --

所蔵

所蔵は 1 件です。

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

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

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

ページの先頭へ

資料詳細 閉じる

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

110000598050000 , 110001084100000

各巻タイトル 日本ソフトウェア科学会FOSE 2007
各巻タイトル読み ニホン ソフトウェア カガクカイ エフオーエスイー ニセンナナ
各巻著者 岸 知二／編,野田 夏子／編
各巻の著者の典拠番号

110002849950000 , 110004440730000

価格 ¥5000
内容注記 分子プログラミング 萩谷昌己∥著, 山村雅幸∥著. 日本語要求仕様の変更支援ツールの開発 清水可奈子∥著, 大西淳∥著. 操作履歴解析によるシナリオとGUI操作との整合性検証手法 白銀純子∥著, 深澤良彰∥著. アタックパターンの設計とそれに基づく分散システムの脆弱性の分析 吉岡信和∥著, 本位田真一∥著. LTLモデル検査の為の図示記法 小池憲史∥ほか著. 代数仕様言語CafeOBJによるパケットフィルタリングシステムの記述と検証 海野浩∥著, 二木厚吉∥著. スクリプト言語に対する動的情報フロー制御 立石孝彰∥著, 田渕直∥著. 論理結合とモジュール結合による複雑度を用いたソフトウェア進化の可視化ツールの提案 花川典子∥著. Fault-proneモジュール判別におけるF1値とソフトウェア信頼性の関係 柿元健∥ほか著. 工数予測における類似性に基づく欠損値補完の効果 田村晃一∥ほか著. パターン適用前の状況を活用したデザインパターン検出 深谷和宏∥ほか著. コメント中の頻出文字列を用いたソフトウェアライセンスの特定支援 真鍋雄貴∥ほか著. データ・ユースケース・フィーチャーモデルの統合によるプロダクトライン構築手法 位野木万里∥ほか著. 相関ルール分析とロジスティック回帰分析を用いたfault-proneモジュール予測手法の提案 亀井靖高∥ほか著. 異なるプロジェクト間におけるFault-Proneモジュール判別の精度評価 木浦幹雄∥ほか著. 保守性に着目したリファクタリング方針の評価メトリクス 川俣洋次郎∥ほか著. モデル駆動開発におけるソフトウェア測定法の変換による再利用 原浩太∥ほか著. メソッド名とドキュメンテーションコメントの対応付け手法の提案 加古径吾∥ほか著. 事例研究:「簡単#include検査君」 権藤克彦∥著, 冨永和人∥著. plog:プログラミング経験の抽出を目的とした作業収集システム 谷聡貴∥ほか著. 操作学習支援システム生成におけるログの解析利用 岩田一∥ほか著. コーディネータによるコンポーネントの協調とその検証 林信宏∥著, 片山卓也∥著. モデル変換に基づく要求記述を利用した形式仕様記述の構築 中川博之∥ほか著. シナリオにおけるアクタの状態の定義・参照関係を用いたふるまいの検証 糸賀裕弥∥著, 大西淳∥著. 意思決定に基づくソフトウェア進化のモデル化 下滝亜里∥著, 青山幹雄∥著. PatternJava:デザインパターンの記述と実装のためのJava言語の拡張 市川雄介∥著, 杉山安洋∥著. ソフトウェア統合検索を利用した再利用支援システム 大須賀俊憲∥ほか著. ソフトウェアアーキテクチャスタイルE-AOSAS++に基づく開発支援環境 沢田篤史∥ほか著. JavaEEアプリケーションにおける実装からの層状構造判別法 斉藤勇樹∥ほか著
一般件名 ソフトウェア工学∥論文集
一般件名カナ ソフトウェアコウガク∥ロンブンシュウ
一般件名 ソフトウェア工学
一般件名カナ ソフトウェア コウガク
一般件名典拠番号

511743600000000

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

ページの先頭へ

内容一覧 閉じる

内容 内容ヨミ 著者名 著者名ヨミ ページ
分子プログラミング ブンシ　プログラミング 萩谷 昌己／著 ハギヤ　マサミ １－４
日本語要求仕様の変更支援ツールの開発 ニホンゴ　ヨウキュウ　シヨウ　ノ　ヘンコウ　シエン　ツール　ノ　カイハツ 清水 可奈子／著 シミズ　カナコ ５－１４
操作履歴解析によるシナリオとGUI操作との整合性検証手法 ソウサ　リレキ　カイセキ　ニ　ヨル　シナリオ　ト　ジーユーアイ　ソウサ　トノ　セイゴウセイ　ケンショウ　シュホウ 白銀 純子／著 シロガネ　ジュンコ １５－２４
アタックパターンの設計とそれに基づく分散システムの脆弱性の分析 アタック　パターン　ノ　セッケイ　ト　ソレ　ニ　モトズク　ブンサン　システム　ノ　ゼイジャクセイ　ノ　ブンセキ 吉岡 信和／著 ヨシオカ　ノブカズ ２５－３３
LTLモデル検査の為の図示記法 エルティーエル　モデル　ケンサ　ノ　タメ　ノ　ズシ　キホウ 小池 憲史／ほか著 コイケ　サトシ ３５－４４
代数仕様言語CafeOBJによるパケットフィルタリングシステムの記述と検証 ダイスウ　シヨウ　ゲンゴ　カフェ　オービージェー　ニ　ヨル　パケット　フィルタリング　システム　ノ　キジュツ　ト　ケンショウ 海野 浩／著 ウンノ　ヒロシ ４５－５４
スクリプト言語に対する動的情報フロー制御 スクリプト　ゲンゴ　ニ　タイスル　ドウテキ　ジョウホウ　フロー　セイギョ 立石 孝彰／著 タテイシ　タカアキ ５５－６４
論理結合とモジュール結合による複雑度を用いたソフトウェア進化の可視化ツールの提案 ロンリ　ケツゴウ　ト　モジュール　ケツゴウ　ニ　ヨル　フクザツド　オ　モチイタ　ソフトウェア　シンカ　ノ　カシカ　ツール　ノ　テイアン 花川 典子／著 ハナカワ　ノリコ ６５－７４
Fault‐proneモジュール判別におけるF1値とソフトウェア信頼性の関係 フォールト　プローン　モジュール　ハンベツ　ニ　オケル　エフイチチ　ト　ソフトウェア　シンライセイ　ノ　カンケイ 柿元 健／ほか著 カキモト　タケシ ７５－８３
工数予測における類似性に基づく欠損値補完の効果 コウスウ　ヨソク　ニ　オケル　ルイジセイ　ニ　モトズク　ケッソンチ　ホカン　ノ　コウカ 田村 晃一／ほか著 タムラ　コウイチ ８５－９３
パターン適用前の状況を活用したデザインパターン検出 パターン　テキヨウゼン　ノ　ジョウキョウ　オ　カツヨウ　シタ　デザイン　パターン　ケンシュツ 深谷 和宏／ほか著 フカヤ　カズヒロ ９５－１０４
コメント中の頻出文字列を用いたソフトウェアライセンスの特定支援 コメントチュウ　ノ　ヒンシュツ　モジレツ　オ　モチイタ　ソフトウェア　ライセンス　ノ　トクテイ　シエン 真鍋 雄貴／ほか著 マナベ　ユウキ １０５－１１４
データ・ユースケース・フィーチャーモデルの統合によるプロダクトライン構築手法 データ　ユース　ケース　フィーチャー　モデル　ノ　トウゴウ　ニ　ヨル　プロダクト　ライン　コウチク　シュホウ 位野木 万里／ほか著 イノキ　マリ １１５－１２４
相関ルール分析とロジスティック回帰分析を用いたfault‐proneモジュール予測手法の提案 ソウカン　ルール　ブンセキ　ト　ロジスティック　カイキ　ブンセキ　オ　モチイタ　フォールト　プローン　モジュール　ヨソク　シュホウ　ノ　テイアン 亀井 靖高／ほか著 カメイ　ヤスタカ １２５－１３０
異なるプロジェクト間におけるFault‐Proneモジュール判別の精度評価 コトナル　プロジェクトカン　ニ　オケル　フォールト　プローン　モジュール　ハンベツ　ノ　セイド　ヒョウカ 木浦 幹雄／ほか著 キウラ　ミキオ １３１－１３６
保守性に着目したリファクタリング方針の評価メトリクス ホシュセイ　ニ　チャクモク　シタ　リファクタリング　ホウシン　ノ　ヒョウカ　メトリクス 川俣 洋次郎／ほか著 カワマタ　ヨウジロウ １３７－１４２
モデル駆動開発におけるソフトウェア測定法の変換による再利用 モデル　クドウ　カイハツ　ニ　オケル　ソフトウェア　ソクテイホウ　ノ　ヘンカン　ニ　ヨル　サイリヨウ 原 浩太／ほか著 ハラ　コウタ １４３－１４８
メソッド名とドキュメンテーションコメントの対応付け手法の提案 メソッドメイ　ト　ドキュメンテーション　コメント　ノ　タイオウズケ　シュホウ　ノ　テイアン 加古 径吾／ほか著 カコ　ケイゴ １４９－１５４
事例研究:「簡単#include検査君」 ジレイ　ケンキュウ　カンタン　シャープ　インクルード　ケンサクン 権藤 克彦／著 ゴンドウ　カツヒコ １５５－１６０
plog:プログラミング経験の抽出を目的とした作業収集システム プログ　プログラミング　ケイケン　ノ　チュウシュツ　オ　モクテキ　ト　シタ　サギョウ　シュウシュウ　システム 谷 聡貴／ほか著 タニ　トシキ １６１－１６６
操作学習支援システム生成におけるログの解析利用 ソウサ　ガクシュウ　シエン　システム　セイセイ　ニ　オケル　ログ　ノ　カイセキ　リヨウ 岩田 一／ほか著 イワタ　ハジメ １６７－１７２
コーディネータによるコンポーネントの協調とその検証 コーディネータ　ニ　ヨル　コンポーネント　ノ　キョウチョウ　ト　ソノ　ケンショウ 林 信宏／著 リン　シンコウ １７３－１７８
モデル変換に基づく要求記述を利用した形式仕様記述の構築 モデル　ヘンカン　ニ　モトズク　ヨウキュウ　キジュツ　オ　リヨウ　シタ　ケイシキ　シヨウ　キジュツ　ノ　コウチク 中川 博之／ほか著 ナカガワ　ヒロユキ １７９－１８４
シナリオにおけるアクタの状態の定義・参照関係を用いたふるまいの検証 シナリオ　ニ　オケル　アクタ　ノ　ジョウタイ　ノ　テイギ　サンショウ　カンケイ　オ　モチイタ　フルマイ　ノ　ケンショウ 糸賀 裕弥／著 イトガ　ヒロヤ １８５－１９０
意思決定に基づくソフトウェア進化のモデル化 イシ　ケッテイ　ニ　モトズク　ソフトウェア　シンカ　ノ　モデルカ 下滝 亜里／著 シモタキ　アサト １９１－１９６
PatternJava:デザインパターンの記述と実装のためのJava言語の拡張 パターン　ジャヴァ　デザイン　パターン　ノ　キジュツ　ト　ジッソウ　ノ　タメ　ノ　ジャヴァ　ゲンゴ　ノ　カクチョウ 市川 雄介／著 イチカワ　ユウスケ １９７－２０２
ソフトウェア統合検索を利用した再利用支援システム ソフトウェア　トウゴウ　ケンサク　オ　リヨウ　シタ　サイリヨウ　シエン　システム 大須賀 俊憲／ほか著 オオスカ　トシノリ ２０３－２０８
ソフトウェアアーキテクチャスタイルE-AOSAS++に基づく開発支援環境 ソフトウェア　アーキテクチャ　スタイル　イー　エーオーエスエーエス　プラスプラス　ニ　モトズク　カイハツ　シエン　カンキョウ 沢田 篤史／ほか著 サワダ　アツシ ２０９－２１４
JavaEEアプリケーションにおける実装からの層状構造判別法 ジャヴァ　イーイー　アプリケーション　ニ　オケル　ジッソウ　カラ　ノ　ソウジョウ　コウゾウ　ハンベツホウ 斉藤 勇樹／ほか著 サイトウ　ユウキ ２１５－２２０

ページの先頭へ