資料詳細

  • 1 件中、 1 件目

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

-- 近代科学社 -- 2005.11 --

所蔵

所蔵は 1 件です。

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

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

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

ページの先頭へ

資料詳細 閉じる

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

110000598050000 , 110001084100000

各巻タイトル 日本ソフトウェア科学会FOSE 2005
各巻タイトル読み ニホン ソフトウェア カガクカイ エフオーエスイー ニセンゴ
各巻著者 権藤 克彦／編,小林 隆志／編
各巻の著者の典拠番号

110002753160000 , 110004547710000

価格 ¥5000
内容注記 AspectJにおけるアドバイスの動的なオン・オフ化 下滝亜里∥著. アスペクト指向ソフトウェアアーキテクチャスタイルの提案 熊崎敦司∥著, 野呂昌満∥著. アスペクト指向ウェブフレームワークによる情報共有システムの実現 大村裕∥著, 山岡順一∥著. プロダクトライン型ソフトウェア開発におけるコアアセット設計手法 位野木万里∥著, 深澤良彰∥著. 状態指向のステートチャート 紫合治∥著. UMLモデルのコンパイラ構成法 風戸広史∥ほか著. 信頼度成長モデルを用いたソフトウェアの処理性評価法 得能貢一∥著, 山田茂∥著. オープンソース開発における障害報告とソフトウェアの変更コストとの関係分析 岩田英丈∥ほか著. クラスの再利用とソースコードの変更率との関係に関する考察 土居通夫∥ほか著. ステートチャートに基づいたオブジェクト指向設計モデルの検証 青木利晃∥著, 片山卓也∥著. 検証可能ドメインモデルの構築と詳細化に関する商用システム事例によるケーススタディ 梅村晃広∥ほか著. 情報爆発の時代 喜連川優∥著. 協調フィルタリングによる工数見積もり手法におけるデータ数と見積もり精度の関係の分析 柿元健∥ほか著. ソフトウェア開発プロジェクト中のリスク要因に対するルールマイニングを利用した分析 浜野康裕∥ほか著. 履歴情報を用いた同一ユースケース実装クラス群抽出法の提案 楠田泰三∥ほか著. ソフトウェアの操作学習支援ツール:操作マップの自動生成手法 黒岩大輔∥ほか著. 開発情報からのチュートリアルシステム自動生成手法 岩田一∥ほか著. プログラミング実習におけるグループ開発プロセスの分析 玉田春昭∥ほか著. RODANのためのビジネスゴール分析手法の提案 中谷多哉子∥著, 藤野晃延∥著. 正常シナリオからの例外シナリオ作成支援 大西淳∥著. ソフトウェア要求抽出における実験的会話分析 角秀樹∥ほか著. リアルタイムタスクのストレス試験 中島震∥著. サービス連携システムにおけるテスト設計手法の提案 山本恭弘∥ほか著. ソフトウェア成果物間のトレース獲得 山田邦晴∥ほか著. 重要度算出に基づくソフトウェアパターン検索システム 中山弘之∥ほか著. パターンマイニングによるソフトウェア要求の獲得知識の記述 久保淳人∥ほか著. コンポーネント組み合わせ型のWebアプリケーション開発支援 金子伸幸∥ほか著. 分散コンポーネントのPlug and Play環境におけるコンポーネントの可用性の向上 河野泰隆∥ほか著. SML#を中核とする機能指向開発環境,或は“Functional Development"Manifesto 大堀淳∥著. リファクタリングによる既存ソフトウェアの安全性の向上 丸山勝久∥著, Putu Ashintya Widhiartha∥著. 総合開発環境の柔軟な拡張を支援するフレームワークの実装 大森隆行∥著, 丸山勝久∥著. 実世界分析に基づくシステム化境界の定義 中谷多哉子∥ほか著. 組込みソフトウェア非正常系における仕様分析手法の一提案 三瀬敏朗∥ほか著. Webアプリケーションにおけるデータ依存グラフ 黒川翔∥ほか著. 段階的詳細化によるビジネスルールの抽出と構造化 立石孝彰∥著, 北山文彦∥著. Extending CPS-Prover by deadlock-analysis Yoshinao Isobe∥ほか著. 通信プロセスモデルに基づく並行オブジェクト指向言語によるAIBOプログラムの動作記述 末次亮∥ほか著
一般件名 ソフトウェア工学∥論文集
一般件名カナ ソフトウェアコウガク∥ロンブンシュウ
一般件名 ソフトウェア工学
一般件名カナ ソフトウェア コウガク
一般件名典拠番号

511743600000000

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

ページの先頭へ

内容一覧 閉じる

内容 内容ヨミ 著者名 著者名ヨミ ページ
AspectJにおけるアドバイスの動的なオン・オフ化 アスペクト　ジェー　ニ　オケル　アドバイス　ノ　ドウテキ　ナ　オン　オフカ 下滝 亜里／著 シモタキ　アサト １－６
アスペクト指向ソフトウェアアーキテクチャスタイルの提案 アスペクト　シコウ　ソフトウェア　アーキテクチャ　スタイル　ノ　テイアン 熊崎 敦司／著 クマザキ　アツシ ７－１２
アスペクト指向ウェブフレームワークによる情報共有システムの実現 アスペクト　シコウ　ウェブ　フレームワーク　ニ　ヨル　ジョウホウ　キョウユウ　システム　ノ　ジツゲン 大村 裕／著 オオムラ　ユウ １３－１８
プロダクトライン型ソフトウェア開発におけるコアアセット設計手法 プロダクト　ラインガタ　ソフトウェア　カイハツ　ニ　オケル　コア　アセット　セッケイ　シュホウ 位野木 万里／著 イノキ　マリ １９－２４
状態指向のステートチャート ジョウタイ　シコウ　ノ　ステート　チャート 紫合 治／著 シゴウ　オサム ２５－３０
UMLモデルのコンパイラ構成法 ユーエムエル　モデル　ノ　コンパイラ　コウセイホウ 風戸 広史／ほか著 カザト　ヒロシ ３１－３６
信頼度成長モデルを用いたソフトウェアの処理性評価法 シンライド　セイチョウ　モデル　オ　モチイタ　ソフトウェア　ノ　ショリセイ　ヒョウカホウ 得能 貢一／著 トクノウ　コウイチ ３７－４２
オープンソース開発における障害報告とソフトウェアの変更コストとの関係分析 オープン　ソース　カイハツ　ニ　オケル　ショウガイ　ホウコク　ト　ソフトウェア　ノ　ヘンコウ　コスト　トノ　カンケイ　ブンセキ 岩田 英丈／ほか著 イワタ　ヒデタケ ４３－４８
クラスの再利用とソースコードの変更率との関係に関する考察 クラス　ノ　サイリヨウ　ト　ソース　コード　ノ　ヘンコウリツ　トノ　カンケイ　ニ　カンスル　コウサツ 土居 通夫／ほか著 ドイ　ミチオ ４９－５４
ステートチャートに基づいたオブジェクト指向設計モデルの検証 ステート　チャート　ニ　モトズイタ　オブジェクト　シコウ　セッケイ　モデル　ノ　ケンショウ 青木 利晃／著 アオキ　トシアキ ５５－６４
検証可能ドメインモデルの構築と詳細化に関する商用システム事例によるケーススタディ ケンショウ　カノウ　ドメイン　モデル　ノ　コウチク　ト　ショウサイカ　ニ　カンスル　ショウヨウ　システム　ジレイ　ニ　ヨル　ケース　スタディ 梅村 晃広／ほか著 ウメムラ　アキヒロ ６５－７４
情報爆発の時代 ジョウホウ　バクハツ　ノ　ジダイ 喜連川 優／著 キツレガワ　マサル ７５－７６
協調フィルタリングによる工数見積もり手法におけるデータ数と見積もり精度の関係の分析 キョウチョウ　フィルタリング　ニ　ヨル　コウスウ　ミツモリ　シュホウ　ニ　オケル　データスウ　ト　ミツモリ　セイド　ノ　カンケイ　ノ　ブンセキ 柿元 健／ほか著 カキモト　タケシ ７７－８６
ソフトウェア開発プロジェクト中のリスク要因に対するルールマイニングを利用した分析 ソフトウェア　カイハツ　プロジェクトチュウ　ノ　リスク　ヨウイン　ニ　タイスル　ルール　マイニング　オ　リヨウ　シタ　ブンセキ 浜野 康裕／ほか著 ハマノ　ヤスヒロ ８７－９６
履歴情報を用いた同一ユースケース実装クラス群抽出法の提案 リレキ　ジョウホウ　オ　モチイタ　ドウイツ　ユース　ケース　ジッソウ　クラスグン　チュウシュツホウ　ノ　テイアン 楠田 泰三／ほか著 クスダ　タイゾウ ９７－１０２
ソフトウェアの操作学習支援ツール:操作マップの自動生成手法 ソフトウェア　ノ　ソウサ　ガクシュウ　シエン　ツール　ソウサ　マップ　ノ　ジドウ　セイセイ　シュホウ 黒岩 大輔／ほか著 クロイワ　ダイスケ １０３－１１２
開発情報からのチュートリアルシステム自動生成手法 カイハツ　ジョウホウ　カラ　ノ　チュートリアル　システム　ジドウ　セイセイ　シュホウ 岩田 一／ほか著 イワタ　ハジメ １１３－１２２
プログラミング実習におけるグループ開発プロセスの分析 プログラミング　ジッシュウ　ニ　オケル　グループ　カイハツ　プロセス　ノ　ブンセキ 玉田 春昭／ほか著 タマダ　ハルアキ １２３－１２８
RODANのためのビジネスゴール分析手法の提案 アールオーディーエーエヌ　ノ　タメ　ノ　ビジネス　ゴール　ブンセキ　シュホウ　ノ　テイアン 中谷 多哉子／著 ナカタニ　タカコ １２９－１３４
正常シナリオからの例外シナリオ作成支援 セイジョウ　シナリオ　カラ　ノ　レイガイ　シナリオ　サクセイ　シエン 大西 淳／著 オオニシ　アツシ １３５－１４４
ソフトウェア要求抽出における実験的会話分析 ソフトウェア　ヨウキュウ　チュウシュツ　ニ　オケル　ジッケンテキ　カイワ　ブンセキ 角 秀樹／ほか著 カド　ヒデキ １４５－１５４
リアルタイムタスクのストレス試験 リアル　タイム　タスク　ノ　ストレス　シケン 中島 震／著 ナカジマ　シン １５５－１６０
サービス連携システムにおけるテスト設計手法の提案 サービス　レンケイ　システム　ニ　オケル　テスト　セッケイ　シュホウ　ノ　テイアン 山本 恭弘／ほか著 ヤマモト　ヤスヒロ １６１－１６６
ソフトウェア成果物間のトレース獲得 ソフトウェア　セイカブツカン　ノ　トレース　カクトク 山田 邦晴／ほか著 ヤマダ　クニハル １６７－１７２
重要度算出に基づくソフトウェアパターン検索システム ジュウヨウド　サンシュツ　ニ　モトズク　ソフトウェア　パターン　ケンサク　システム 中山 弘之／ほか著 ナカヤマ　ヒロユキ １７３－１８２
パターンマイニングによるソフトウェア要求の獲得知識の記述 パターン　マイニング　ニ　ヨル　ソフトウェア　ヨウキュウ　ノ　カクトク　チシキ　ノ　キジュツ 久保 淳人／ほか著 クボ　アツト １８３－１８８
コンポーネント組み合わせ型のWebアプリケーション開発支援 コンポーネント　クミアワセガタ　ノ　ウェブ　アプリケーション　カイハツ　シエン 金子 伸幸／ほか著 カネコ　ノブユキ １８９－１９４
分散コンポーネントのPlug and Play環境におけるコンポーネントの可用性の向上 ブンサン　コンポーネント　ノ　プラグ　アンド　プレイ　カンキョウ　ニ　オケル　コンポーネント　ノ　カヨウセイ　ノ　コウジョウ 河野 泰隆／ほか著 コウノ　ヤスタカ １９５－２００
SML#を中核とする機能指向開発環境,或は“Functional Development”Manifesto エスエムエル　シャープ　オ　チュウカク　ト　スル　キノウ　シコウ　カイハツ　カンキョウ　アルイワ　ファンクショナル　ディヴェロップメント　マニフェスト 大堀 淳／著 オオホリ　アツシ ２０１－２０４
リファクタリングによる既存ソフトウェアの安全性の向上 リファクタリング　ニ　ヨル　キソン　ソフトウェア　ノ　アンゼンセイ　ノ　コウジョウ 丸山 勝久／著 マルヤマ　カツヒサ ２０５－２１４
総合開発環境の柔軟な拡張を支援するフレームワークの実装 ソウゴウ　カイハツ　カンキョウ　ノ　ジュウナン　ナ　カクチョウ　オ　シエン　スル　フレームワーク　ノ　ジッソウ 大森 隆行／著 オオモリ　タカユキ ２１５－２２０
実世界分析に基づくシステム化境界の定義 ジッセカイ　ブンセキ　ニ　モトズク　システムカ　キョウカイ　ノ　テイギ 中谷 多哉子／ほか著 ナカタニ　タカコ ２２１－２２６
組込みソフトウェア非正常系における仕様分析手法の一提案 クミコミ　ソフトウェア　ヒセイジョウケイ　ニ　オケル　シヨウ　ブンセキ　シュホウ　ノ　イチ　テイアン 三瀬 敏朗／ほか著 ミセ　トシロウ ２２７－２３５
Webアプリケーションにおけるデータ依存グラフ ウェブ　アプリケーション　ニ　オケル　データ　イゾン　グラフ 黒川 翔／ほか著 クロカワ　ショウ ２３７－２４６
段階的詳細化によるビジネスルールの抽出と構造化 ダンカイテキ　ショウサイカ　ニ　ヨル　ビジネス　ルール　ノ　チュウシュツ　ト　コウゾウカ 立石 孝彰／著 タテイシ　タカアキ ２４７－２５６
Extending CPS-Prover by deadlock‐analysis ／ Towards the verification of systolic arrays エクステンディング　シーピーエス　プロヴァー　バイ　デッドロック　アナリシス Yoshinao Isobe／ほか著 イソベ　ヨシナオ ２５７－２６６
通信プロセスモデルに基づく並行オブジェクト指向言語によるAIBOプログラムの動作記述 ツウシン　プロセス　モデル　ニ　モトズク　ヘイコウ　オブジェクト　シコウ　ゲンゴ　ニ　ヨル　アイボ　プログラム　ノ　ドウサ　キジュツ 末次 亮／ほか著 スエツグ　リョウ ２６７－２７６

ページの先頭へ