資料詳細

  • 1 件中、 1 件目

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

-- 近代科学社 -- 2001.1 --

所蔵

所蔵は 1 件です。

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

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

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

ページの先頭へ

資料詳細 閉じる

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

110000598050000 , 110001084100000

各巻タイトル 日本ソフトウェア科学会FOSE2000
各巻タイトル読み ニホン ソフトウェア カガクカイ エフオーエスイー ニセン
各巻著者 古川 善吾／編,広田 豊彦／編
各巻の著者の典拠番号

110003498310000 , 110001145620000

価格 ¥3500
内容注記 ニーズ指向の情報駆動学における分析・モデリング・実現抽象化技術について 橋本正明∥著. 21世紀におけるソフトウェア工学の基礎とは? 野呂昌満∥ほか討議. 建築施工のプロダクト中心のプロセスモデリング 三浦友徳∥ほか著. 建築施工の業務分析の一試行 阿満誠也∥ほか著. ビジネスフローにおける一貫性制約の記述手法の提案 由良俊介∥ほか著. 分散システムのためのプロセス論理の充足可能性 磯部祥尚∥著 大蒔和仁∥著. Safe dynamics for distributed programming 藤田憲悦∥著. 協調型分散システムへの時間導入法 中山竜二∥ほか著. 規律性のあるIDEFOによる機能モデルとデータモデルの結合 上村学∥ほか著. 信頼性向上のためのビジネスプロセス記述 今井慈郎∥ほか著. 離散系生産システムのためのデータモデリング法 山田功∥著 熊谷敏∥著. ヴァリアントの継承について 香川考司∥著. 多相ヴァリアントによるコード再利用 Jacques・Garrigue∥著. M-pi計算に対する型システム 塚崎悟∥著 富樫敦∥著. 情報アーキテクチャの概念に基づくWebサービス要求分析手法 荻原剛志∥ほか著. HOLを用いたオブジェクト指向分析モデルの検証 立石孝彰∥ほか著. アーキテクチャ指向による要求分析 友枝敦∥著. Chidamberのメトリクスを用いたオブジェクト指向プログラムの再設計 伊藤謙心∥ほか著. ユーザの実装逸脱度に基づくフレームワークの設計評価メトリクス 黒田隆一∥ほか著. 細粒度コンポーネント環境における履歴クラスタリング 鷲崎弘宜∥ほか著. オブジェクト指向組み込みシステム開発のための設計モデルSESモデル 青木利晃∥著 片山卓也∥著. 既存ネットワークソフトウェアとの互換性を考慮したソフトウェア構成法 熊崎敦司∥ほか著. 移動エージェント相互運用を実現するソフトウェアアーキテクチャ 粂野文洋∥ほか著. 階層的漸増テスト自動実行ツール 山口嘉文∥ほか著. オブジェクト属性を利用したソフトウェアの視覚化 安原継二∥ほか著. プログラムの正規化に基づいた差分抽出法の提案 尾崎憲幸∥ほか著. 実用規模システムへの形式手法の適用事例 田中俊行∥ほか著. グラフ分析エンジンGOAeの開発 張漢明∥ほか著. 文書作成支援のためのWWWコンコーダンサー 山之上卓∥ほか著. 位置透過性を持つ分散プログラミング環境のD'Agentによる実現 本田治∥ほか著. 射影型振舞仕様を用いた高信頼コンポーネントソフトウェアの開発 松本充広∥著 二木厚吉∥著. AND構造とOR構造の分解による実時間ソフトウェアの安全性の演繹的検証 山ノ口崇∥著 山根智∥著. RMIを用いた分散システム構築の自動化 油利耕平∥著 溝口佳寛∥著. Research topics discovery from WWW by keywords association rules David・Ramamonjisoa∥ほか著. 振舞仕様を用いたIPモジュールの記述に向けて 海野浩∥ほか著. Mobile UNITYによるモバイルエージェントセキュリテイの形式的仕様記述 田原康之∥ほか著.
一般件名 システム開発∥会議録
一般件名カナ システムカイハツ∥カイギロク
一般件名 ソフトウェア工学
一般件名カナ ソフトウェア コウガク
一般件名典拠番号

511743600000000

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

ページの先頭へ

内容一覧 閉じる

内容 内容ヨミ 著者名 著者名ヨミ ページ
ニーズ指向の情報駆動学における分析・モデリング・実現抽象化技術について ニーズ　シコウ　ノ　ジョウホウ　クドウガク　ニ　オケル　ブンセキ　モデリング　ジツゲン　チュウショウカ　ギジュツ　ニ　ツイテ 橋本 正明／著 ハシモト　マサアキ １－１０
21世紀におけるソフトウェア工学の基礎とは? ニジュウイッセイキ　ニ　オケル　ソフトウェア　コウガク　ノ　キソ　トワ 野呂 昌満／ほか討議 ノロ　マサミ １１－１２
建築施工のプロダクト中心のプロセスモデリング ケンチク　セコウ　ノ　プロダクト　チュウシン　ノ　プロセス　モデリング 三浦 友徳／ほか著 ミウラ　トモノリ １３－２０
建築施工の業務分析の一試行 ケンチク　セコウ　ノ　ギョウム　ブンセキ　ノ　イチ　シコウ 阿満 誠也／ほか著 アマン　セイヤ ２１－２８
ビジネスフローにおける一貫性制約の記述手法の提案 ビジネス　フロー　ニ　オケル　イッカンセイ　セイヤク　ノ　キジュツ　シュホウ　ノ　テイアン 由良 俊介／ほか著 ユラ　シユンスケ ２９－３６
分散システムのためのプロセス論理の充足可能性 ブンサン　システム　ノ　タメ　ノ　プロセス　ロンリ　ノ　ジュウソク　カノウセイ 磯部 祥尚／著 イソベ　ヨシナオ ３７－４４
Safe dynamics for distributed programming セイフ　ダイナミックス　フォー　ディストリビューテッド　プログラミング 藤田 憲悦／著 フジタ　ケンエツ ４５－５２
協調型分散システムへの時間導入法 キョウチョウガタ　ブンサン　システム　エノ　ジカン　ドウニュウホウ 中山 竜二／ほか著 ナカヤマ　リユウジ ５３－６０
規律性のあるIDEFOによる機能モデルとデータモデルの結合 キリツセイ　ノ　アル　アイディーイーエフオー　ニ　ヨル　キノウ　モデル　ト　データ　モデル　ノ　ケツゴウ 上村 学／ほか著 カミムラ　マナブ ６１－６８
信頼性向上のためのビジネスプロセス記述 シンライセイ　コウジョウ　ノ　タメ　ノ　ビジネス　プロセス　キジュツ 今井 慈郎／ほか著 イマイ　ヨシロウ ６９－７６
離散系生産システムのためのデータモデリング法 リサンケイ　セイサン　システム　ノ　タメ　ノ　データ　モデリングホウ 山田 功／著 ヤマダ　イサオ ７７－８４
ヴァリアントの継承について ヴァリアント　ノ　ケイショウ　ニ　ツイテ 香川 考司／著 カガワ　コウジ ８５－９２
多相ヴァリアントによるコード再利用 タソウ　ヴァリアント　ニ　ヨル　コード　サイリョウ Jacques・Garrigue／著 ガリグ　ジヤツク ９３－１００
M-pi計算に対する型システム エムピーアイ　ケイサン　ニ　タイスル　カタシステム 塚崎 悟／著 ツカサキ　サトル １０１－１０８
情報アーキテクチャの概念に基づくWebサービス要求分析手法 ジョウホウ　アーキテクチャ　ノ　ガイネン　ニ　モトズク　ウェブ　サービス　ヨウキュウ　ブンセキ　シュホウ 荻原 剛志／ほか著 オギワラ　タケシ １０９－１１６
HOLを用いたオブジェクト指向分析モデルの検証 エイチオーエル　オ　モチイタ　オブジェクト　シコウ　ブンセキ　モデル　ノ　ケンショウ 立石 孝彰／ほか著 タテイシ　タカアキ １１７－１２４
アーキテクチャ指向による要求分析 アーキテクチャ　シコウ　ニ　ヨル　ヨウキュウ　ブンセキ 友枝 敦／著 トモエダ　アツシ １２５－１３２
Chidamberのメトリクスを用いたオブジェクト指向プログラムの再設計 チャイダンバー　ノ　メトリクス　オ　モチイタ　オブジェクト　シコウ　プログラム　ノ　サイセッケイ 伊藤 謙心／ほか著 イトウ　ケンシン １３３－１４１
ユーザの実装逸脱度に基づくフレームワークの設計評価メトリクス ユーザ　ノ　ジッソウ　イツダツド　ニ　モトズク　フレーム　ワーク　ノ　セッケイ　ヒョウカ　メトリクス 黒田 隆一／ほか著 クロダ　リユウイチ １４１－１４８
細粒度コンポーネント環境における履歴クラスタリング サイリュウド　コンポーネント　カンキョウ　ニ　オケル　リレキ　クラスタリング 鷲崎 弘宜／ほか著 ワシザキ　ヒロノリ １４９－１５６
オブジェクト指向組み込みシステム開発のための設計モデルSESモデル オブジェクト　シコウ　クミコミ　システム　カイハツ　ノ　タメ　ノ　セッケイ　モデル　エスイーエス　モデル 青木 利晃／著 アオキ　トシアキ １５７－１６４
既存ネットワークソフトウェアとの互換性を考慮したソフトウェア構成法 キゾン　ネットワーク　ソフトウェア　トノ　ゴカンセイ　オ　コウリョ　シタ　ソフトウェア　コウセイホウ 熊崎 敦司／ほか著 クマザキ　アツシ １６５－１７２
移動エージェント相互運用を実現するソフトウェアアーキテクチャ イドウ　エージェント　ソウゴ　ウンヨウ　オ　ジツゲン　スル　ソフトウェア　アーキテクチャ 粂野 文洋／ほか著 クメノ　フミヒロ １７３－１８０
階層的漸増テスト自動実行ツール カイソウテキ　ゼンゾウ　テスト　ジドウ　ジッコウ　ツール 山口 嘉文／ほか著 ヤマグチ　ヨシフミ １８１－１８８
オブジェクト属性を利用したソフトウェアの視覚化 オブジェクト　ゾクセイ　オ　リヨウ　シタ　ソフトウェア　ノ　シカクカ 安原 継二／ほか著 ヤスハラ　ケイジ １８９－１９６
プログラムの正規化に基づいた差分抽出法の提案 プログラム　ノ　セイキカ　ニ　モトズイタ　サブン　チュウシュツホウ　ノ　テイアン 尾崎 憲幸／ほか著 オザキ　ノリユキ １９７－２０４
実用規模システムへの形式手法の適用事例 ジツヨウ　キボ　システム　エノ　ケイシキ　シュホウ　ノ　テキヨウ　ジレイ 田中 俊行／ほか著 タナカ　トシユキ ２０５－２０８
グラフ分析エンジンGOAeの開発 グラフ　ブンセキ　エンジン　ジーオーエーイー　ノ　カイハツ 張 漢明／ほか著 チョウ　カンメイ ２０９－２１２
文書作成支援のためのWWWコンコーダンサー ブンショ　サクセイ　シエン　ノ　タメ　ノ　ダブリューダブリューダブリュー　コンコーダンサー 山之上 卓／ほか著 ヤマノウエ　タカシ ２１３－２２０
位置透過性を持つ分散プログラミング環境のD'Agentによる実現 イチ　トウカセイ　オ　モツ　ブンサン　プログラミング　カンキョウ　ノ　ダジャン　ニ　ヨル　ジツゲン 本田 治／ほか著 ホンダ　オサム ２２１－２２８
射影型振舞仕様を用いた高信頼コンポーネントソフトウェアの開発 シャエイガタ　フルマイ　シヨウ　オ　モチイタ　コウシンライ　コンポーネント　ソフトウェア　ノ　カイハツ 松本 充広／著 マツモト　ミチヒロ ２２９－２３６
AND構造とOR構造の分解による実時間ソフトウェアの安全性の演繹的検証 アンド　コウゾウ　ト　オア　コウゾウ　ノ　ブンカイ　ニ　ヨル　ジツジカン　ソフトウェア　ノ　アンゼンセイ　ノ　エンエキテキ　ケンショウ 山ノ口 崇／著 ヤマノクチ　タカシ ２３７－２４４
RMIを用いた分散システム構築の自動化 アールエムアイ　オ　モチイタ　ブンサン　システム　コウチク　ノ　ジドウカ 油利 耕平／著 ユリ　コウヘイ ２４５－２４８
Research topics discovery from WWW by keywords association rules リサーチ　トピックス　ディスカヴァリ　フロム　ダブリューダブリューダブリュー　バイ　キーワーズ　アソシエイション　ルールズ David・Ramamonjisoa／ほか著 ラマモンジソア　デーヴイド ２４９－２５６
振舞仕様を用いたIPモジュールの記述に向けて フルマイ　シヨウ　オ　モチイタ　アイピー　モジュール　ノ　キジュツ　ニ　ムケテ 海野 浩／ほか著 ウンノ　ヒロシ ２５７－２６０
Mobile UNITYによるモバイルエージェントセキュリテイの形式的仕様記述 モービル　ユニティ　ニ　ヨル　モバイル　エージェント　セキュリティ　ノ　ケイシキテキ　シヨウ　キジュツ 田原 康之／ほか著 タハラ　ヤスユキ ２６１－２６６

ページの先頭へ