資料詳細

  • 1 件中、 1 件目

ソフトウェア工学の基礎 7 利用可

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

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館 場所 棚番号 請求記号 資料コード 貸出利用 状態
本館 書庫１上 Map B/007.63/ｿﾌ/792279 1107922792 閲可 貸可 協可 －

ページの先頭へ

資料詳細

タイトル ソフトウェア工学の基礎 7
巻の書名 日本ソフトウェア科学会FOSE2000
叢書名 レクチャーノート/ソフトウェア学
出版地 東京
出版者 近代科学社
出版年 2001.1
ページ数 266p
大きさ 26cm
一般件名 ソフトウェア工学
ISBN 4-7649-0287-7 国立国会図書館 カーリル GoogleBooks WebcatPlus
分類番号 007.63

ページの先頭へ

内容一覧

タイトル 著者名 ページ
ニーズ指向の情報駆動学における分析・モデリング・実現抽象化技術について 橋本 正明／著 1-10
21世紀におけるソフトウェア工学の基礎とは? 野呂 昌満／ほか討議 11-12
建築施工のプロダクト中心のプロセスモデリング 三浦 友徳／ほか著 13-20
建築施工の業務分析の一試行 阿満 誠也／ほか著 21-28
ビジネスフローにおける一貫性制約の記述手法の提案 由良 俊介／ほか著 29-36
分散システムのためのプロセス論理の充足可能性 磯部 祥尚／著 37-44
Safe dynamics for distributed programming 藤田 憲悦／著 45-52
協調型分散システムへの時間導入法 中山 竜二／ほか著 53-60
規律性のあるIDEFOによる機能モデルとデータモデルの結合 上村 学／ほか著 61-68
信頼性向上のためのビジネスプロセス記述 今井 慈郎／ほか著 69-76
離散系生産システムのためのデータモデリング法 山田 功／著 77-84
ヴァリアントの継承について 香川 考司／著 85-92
多相ヴァリアントによるコード再利用 Jacques・Garrigue／著 93-100
M-pi計算に対する型システム 塚崎 悟／著 101-108
情報アーキテクチャの概念に基づくWebサービス要求分析手法 荻原 剛志／ほか著 109-116
HOLを用いたオブジェクト指向分析モデルの検証 立石 孝彰／ほか著 117-124
アーキテクチャ指向による要求分析 友枝 敦／著 125-132
Chidamberのメトリクスを用いたオブジェクト指向プログラムの再設計 伊藤 謙心／ほか著 133-141
ユーザの実装逸脱度に基づくフレームワークの設計評価メトリクス 黒田 隆一／ほか著 141-148
細粒度コンポーネント環境における履歴クラスタリング 鷲崎 弘宜／ほか著 149-156
オブジェクト指向組み込みシステム開発のための設計モデルSESモデル 青木 利晃／著 157-164
既存ネットワークソフトウェアとの互換性を考慮したソフトウェア構成法 熊崎 敦司／ほか著 165-172
移動エージェント相互運用を実現するソフトウェアアーキテクチャ 粂野 文洋／ほか著 173-180
階層的漸増テスト自動実行ツール 山口 嘉文／ほか著 181-188
オブジェクト属性を利用したソフトウェアの視覚化 安原 継二／ほか著 189-196
プログラムの正規化に基づいた差分抽出法の提案 尾崎 憲幸／ほか著 197-204
実用規模システムへの形式手法の適用事例 田中 俊行／ほか著 205-208
グラフ分析エンジンGOAeの開発 張 漢明／ほか著 209-212
文書作成支援のためのWWWコンコーダンサー 山之上 卓／ほか著 213-220
位置透過性を持つ分散プログラミング環境のD'Agentによる実現 本田 治／ほか著 221-228
射影型振舞仕様を用いた高信頼コンポーネントソフトウェアの開発 松本 充広／著 229-236
AND構造とOR構造の分解による実時間ソフトウェアの安全性の演繹的検証 山ノ口 崇／著 237-244
RMIを用いた分散システム構築の自動化 油利 耕平／著 245-248
Research topics discovery from WWW by keywords association rules David・Ramamonjisoa／ほか著 249-256
振舞仕様を用いたIPモジュールの記述に向けて 海野 浩／ほか著 257-260
Mobile UNITYによるモバイルエージェントセキュリテイの形式的仕様記述 田原 康之／ほか著 261-266

ページの先頭へ