資料詳細

  • 1 件中、 1 件目

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

-- 近代科学社 -- 2004.11 --

所蔵

所蔵は 1 件です。

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

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

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

ページの先頭へ

資料詳細 閉じる

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

110000598050000 , 110001084100000

各巻タイトル 日本ソフトウェア科学会FOSE 2004
各巻タイトル読み ニホン ソフトウェア カガクカイ エフオーエスイー ニセンヨン
各巻著者 野呂 昌満／編,山本 晋一郎／編
各巻の著者の典拠番号

110003815690000 , 110004265810000

価格 ¥5000
内容注記 サービス連携指向要求工学の展望 山本修一郎∥述. Javaプログラムの実行履歴に基づくシーケンス図の作成 谷口考治∥ほか著. プログラムスライシングを用いたJava実行系列からの部分シーケンス図生成手法 小林隆志∥ほか著. アスペクト指向的な表明のモジュール化 山田聖∥著 渡部卓雄∥著. アスペクト指向ソフトウェアアーキテクチャスタイルの構築 熊崎敦司∥著 野呂昌満∥著. 位置指向設計プロセス:モバイル環境における状況依存アプリケーションのアスペクト指向設計 松崎和賢∥ほか著. P2Pグリッドにおけるモバイルエージェントを用いた生存性の高いサービスの構築 鄭顕志∥ほか著. 階層型モバイルエージェントの自律的な合成のための記述とその基盤に関する検討 石川冬樹∥ほか著. マルチエージェントシステムのためのインタラクション主導開発におけるシステム分析 土肥拓生∥ほか著. マルチメディアコンテンツ流通のためのモバイルエージェントのモデル駆動開発 苅部卓哉∥ほか著. 協調フィルタリングに基づく工数見積もりのロバスト性評価 柿元健∥ほか著. ソフトウェア実行時のAPI呼び出し履歴に基づく動的バースマークの提案 岡本圭司∥ほか著. プログラム構造に基づくプログラミング能力評価法 浜名隆広∥ほか著. クラスサイズメトリクスを用いたソフトウェア変更量の予測判別に関する考察 望月尚美∥ほか著. π計算に対する時間拡張と代数的意味論 桑原寛明∥ほか著. 一括プロセス記述方式によって記述された分散システムのためのワークフローエンジンの拡張 樋山大輔∥ほか著. ロジック書き換えパターンの検証方法の提案 吉岡信和∥著 本位田真一∥著. 構造的代数仕様のための等価述語の提案と実装 中村正樹∥著 二木厚吉∥著. SMVによるOTS・CafeOBJ仕様のモデル検査 中野昌弘∥ほか著. レガシー・トランスフォーメーションのためのビジネスルール・リファクタリング 立石孝彰∥ほか著. 書き換えによるOtway-Rees認証プロトコルの検証 清野貴博∥ほか著. マルチバージョン生成によるプログラムの解析防止 山内寛己∥ほか著. XMLを用いたCASEツール・プラットフォーム作成支援環境 高橋透∥ほか著. 環境の仕様を用いたシナリオから状態マシンの生成 紫合治∥著. リファクタリングツールにおけるUndo機構の提案 丸山勝久∥著. 文書解析に基づくソフトウェアパターンの体系化 久保淳人∥ほか著. MIMO:モバイルオブジェクトのためのリモートメソッド呼び出しフレームワーク 伊藤祥∥著 杉山安洋∥著. Mixin Layersへの総称型の導入 紙名哲生∥著 玉井哲雄∥著. 教育用OSのソフトウェア工学的側面 権藤克彦∥著 大場勝∥著. Webアプリケーションの構造に基づくテスト基準 式町健∥ほか著. モデル変換によるWebアプリケーション開発の支援 風戸広史∥ほか著. JavaScriptを含むWebアプリケーションの解析手法 福安直樹∥ほか著. オブジェクト指向分析・設計モデルの解析手法 青木利晃∥著. 型システムの表現力とプログラムの安全性 Jacques・Garrigue∥著. オブジェクト指向デザインと形式手法に関連して 中島震∥著. アスペクト指向プログラミング言語のモデル化 増原英彦∥著. 通信プロセスモデルに基づくソフトウェアモデル化 結縁祥治∥著. 新世代ソフトウェア開発環境とソフトウェア工学 満田成紀∥著.
一般件名 ソフトウェア∥論文集
一般件名カナ ソフトウェア∥ロンブンシュウ
一般件名 ソフトウェア工学
一般件名カナ ソフトウェア コウガク
一般件名典拠番号

511743600000000

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

ページの先頭へ

内容一覧 閉じる

内容 内容ヨミ 著者名 著者名ヨミ ページ
サービス連携指向要求工学の展望 サービス　レンケイ　シコウ　ヨウキュウ　コウガク　ノ　テンボウ 山本 修一郎／述 ヤマモト　シュウイチロウ １－３
Javaプログラムの実行履歴に基づくシーケンス図の作成 ジャヴァ　プログラム　ノ　ジッコウ　リレキ　ニ　モトズク　シーケンスズ　ノ　サクセイ 谷口 考治／ほか著 タニグチ　コウジ ５－１６
プログラムスライシングを用いたJava実行系列からの部分シーケンス図生成手法 プログラム　スライシング　オ　モチイタ　ジャヴァ　ジッコウ　ケイレツ　カラ　ノ　ブブン　シーケンスズ　セイセイ　シュホウ 小林 隆志／ほか著 コバヤシ　タカシ １７－２８
アスペクト指向的な表明のモジュール化 アスペクト　シコウテキ　ナ　ヒョウメイ　ノ　モジュールカ 山田 聖／著 ヤマダ　キヨシ ２９－３９
アスペクト指向ソフトウェアアーキテクチャスタイルの構築 アスペクト　シコウ　ソフトウェア　アーキテクチャ　スタイル　ノ　コウチク 熊崎 敦司／著 クマザキ　アツシ ４１－４４
位置指向設計プロセス:モバイル環境における状況依存アプリケーションのアスペクト指向設計 イチ　シコウ　セッケイ　プロセス　モバイル　カンキョウ　ニ　オケル　ジョウキョウ　イゾン　アプリケーション　ノ　アスペクト　シコウ　セッケイ 松崎 和賢／ほか著 マツザキ　カズタカ ４５－４８
P2Pグリッドにおけるモバイルエージェントを用いた生存性の高いサービスの構築 ピーツーピー　グリッド　ニ　オケル　モバイル　エージェント　オ　モチイタ　セイゾンセイ　ノ　タカイ　サービス　ノ　コウチク 鄭 顕志／ほか著 テイ　ケンジ ４９－６０
階層型モバイルエージェントの自律的な合成のための記述とその基盤に関する検討 カイソウガタ　モバイル　エージェント　ノ　ジリツテキ　ナ　ゴウセイ　ノ　タメ　ノ　キジュツ　ト　ソノ　キバン　ニ　カンスル　ケントウ 石川 冬樹／ほか著 イシカワ　フユキ ６１－６４
マルチエージェントシステムのためのインタラクション主導開発におけるシステム分析 マルチ　エージェント　システム　ノ　タメ　ノ　インタラクション　シュドウ　カイハツ　ニ　オケル　システム　ブンセキ 土肥 拓生／ほか著 ドイ　タクオ ６５－６８
マルチメディアコンテンツ流通のためのモバイルエージェントのモデル駆動開発 マルチメディア　コンテンツ　リュウツウ　ノ　タメ　ノ　モバイル　エージェント　ノ　モデル　クドウ　カイハツ 苅部 卓哉／ほか著 カルベ　タクヤ ６９－７２
協調フィルタリングに基づく工数見積もりのロバスト性評価 キョウチョウ　フィルタリング　ニ　モトズク　コウスウ　ミツモリ　ノ　ロバストセイ　ヒョウカ 柿元 健／ほか著 カキモト　タケシ ７３－８４
ソフトウェア実行時のAPI呼び出し履歴に基づく動的バースマークの提案 ソフトウェア　ジッコウジ　ノ　エーピーアイ　ヨビダシ　リレキ　ニ　モトズク　ドウテキ　バースマーク　ノ　テイアン 岡本 圭司／ほか著 オカモト　ケイジ ８５－８８
プログラム構造に基づくプログラミング能力評価法 プログラム　コウゾウ　ニ　モトズク　プログラミング　ノウリョク　ヒョウカホウ 浜名 隆広／ほか著 ハマナ　タカヒロ ８９－９２
クラスサイズメトリクスを用いたソフトウェア変更量の予測判別に関する考察 クラスサイズ　メトリクス　オ　モチイタ　ソフトウェア　ヘンコウリョウ　ノ　ヨソク　ハンベツ　ニ　カンスル　コウサツ 望月 尚美／ほか著 モチズキ　ナオミ ９３－９６
π計算に対する時間拡張と代数的意味論 パイ　ケイサン　ニ　タイスル　ジカン　カクチョウ　ト　ダイスウテキ　イミロン 桑原 寛明／ほか著 クワバラ　ヒロアキ ９７－１０８
一括プロセス記述方式によって記述された分散システムのためのワークフローエンジンの拡張 イッカツ　プロセス　キジュツ　ホウシキ　ニ　ヨッテ　キジュツ　サレタ　ブンサン　システム　ノ　タメ　ノ　ワーク　フロー　エンジン　ノ　カクチョウ 樋山 大輔／ほか著 ヒヤマ　ダイスケ １０９－１１２
ロジック書き換えパターンの検証方法の提案 ロジック　カキカエ　パターン　ノ　ケンショウ　ホウホウ　ノ　テイアン 吉岡 信和／著 ヨシオカ　ノブカズ １１３－１１６
構造的代数仕様のための等価述語の提案と実装 コウゾウテキ　ダイスウ　シヨウ　ノ　タメ　ノ　トウカ　ジュツゴ　ノ　テイアン　ト　ジッソウ 中村 正樹／著 ナカムラ　マサキ １１７－１２８
SMVによるOTS/CafeOBJ仕様のモデル検査 エスエムヴイ　ニ　ヨル　オーティーエス　カフェ　オービージェー　シヨウ　ノ　モデル　ケンサ 中野 昌弘／ほか著 ナカノ　マサヒロ １２９－１４０
レガシー・トランスフォーメーションのためのビジネスルール・リファクタリング レガシー　トランスフォーメーション　ノ　タメ　ノ　ビジネス　ルール　リファクタリング 立石 孝彰／ほか著 タテイシ　タカアキ １４１－１５２
書き換えによるOtway‐Rees認証プロトコルの検証 カキカエ　ニ　ヨル　オトウェイ　リース　ニンショウ　プロトコル　ノ　ケンショウ 清野 貴博／ほか著 セイノ　タカヒロ １５３－１５６
マルチバージョン生成によるプログラムの解析防止 マルチ　バージョン　セイセイ　ニ　ヨル　プログラム　ノ　カイセキ　ボウシ 山内 寛己／ほか著 ヤマウチ　ヒロキ １５７－１６０
XMLを用いたCASEツール・プラットフォーム作成支援環境 エックスエムエル　オ　モチイタ　ケース　ツール　プラット　フォーム　サクセイ　シエン　カンキョウ 高橋 透／ほか著 タカハシ　トオル １６１－１７２
環境の仕様を用いたシナリオから状態マシンの生成 カンキョウ　ノ　シヨウ　オ　モチイタ　シナリオ　カラ　ジョウタイ　マシン　ノ　セイセイ 紫合 治／著 シゴウ　オサム １７３－１７６
リファクタリングツールにおけるUndo機構の提案 リファクタリング　ツール　ニ　オケル　アンドゥー　キコウ　ノ　テイアン 丸山 勝久／著 マルヤマ　カツヒサ １７７－１８０
文書解析に基づくソフトウェアパターンの体系化 ブンショ　カイセキ　ニ　モトズク　ソフトウェア　パターン　ノ　タイケイカ 久保 淳人／ほか著 クボ　アツト １８１－１９２
MIMO:モバイルオブジェクトのためのリモートメソッド呼び出しフレームワーク ミモ　モバイル　オブジェクト　ノ　タメ　ノ　リモート　メソッド　ヨビダシ　フレーム　ワーク 伊藤 祥／著 イトウ　ショウ １９３－１９６
Mixin Layersへの総称型の導入 ミキシン　レイヤーズ　エノ　ソウショウガタ　ノ　ドウニュウ 紙名 哲生／著 カミナ　テツオ １９７－２０８
教育用OSのソフトウェア工学的側面 ／ udosの開発を通して キョウイクヨウ　オーエス　ノ　ソフトウェア　コウガクテキ　ソクメン 権藤 克彦／著 ゴンドウ　カツヒコ ２０９－２１２
Webアプリケーションの構造に基づくテスト基準 ウェブ　アプリケーション　ノ　コウゾウ　ニ　モトズク　テスト　キジュン 式町 健／ほか著 シキマチ　タケシ ２１３－２２３
モデル変換によるWebアプリケーション開発の支援 モデル　ヘンカン　ニ　ヨル　ウェブ　アプリケーション　カイハツ　ノ　シエン 風戸 広史／ほか著 カザト　ヒロシ ２２５－２２８
JavaScriptを含むWebアプリケーションの解析手法 ジャヴァ　スクリプト　オ　フクム　ウェブ　アプリケーション　ノ　カイセキ　シュホウ 福安 直樹／ほか著 フクヤス　ナオキ ２２９－２３２
オブジェクト指向分析・設計モデルの解析手法 オブジェクト　シコウ　ブンセキ　セッケイ　モデル　ノ　カイセキ　シュホウ 青木 利晃／著 アオキ　トシアキ ２３３－２３４
型システムの表現力とプログラムの安全性 カタシステム　ノ　ヒョウゲンリョク　ト　プログラム　ノ　アンゼンセイ Jacques Garrigue／著 ガリグ　ジャック ２３５
オブジェクト指向デザインと形式手法に関連して オブジェクト　シコウ　デザイン　ト　ケイシキ　シュホウ　ニ　カンレン　シテ 中島 震／著 ナカジマ　シン ２３７－２３８
アスペクト指向プログラミング言語のモデル化 アスペクト　シコウ　プログラミング　ゲンゴ　ノ　モデルカ 増原 英彦／著 マスハラ　ヒデヒコ ２３９－２４０
通信プロセスモデルに基づくソフトウェアモデル化 ツウシン　プロセス　モデル　ニ　モトズク　ソフトウェア　モデルカ 結縁 祥治／著 ユエン　ショウジ ２４１－２４２
新世代ソフトウェア開発環境とソフトウェア工学 シンセダイ　ソフトウェア　カイハツ　カンキョウ　ト　ソフトウェア　コウガク 満田 成紀／著 ミツダ　ナルキ ２４３－２４４

ページの先頭へ