検索結果書誌詳細

  • 書誌の詳細です。 現在、予約は 0 件です。
  • 「資料情報」から書誌を予約カートに入れるページに移動します。

蔵書情報

この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。

所蔵数 1 在庫数 1 予約数 0

書誌情報サマリ

書名

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

出版者 近代科学社
出版年月 2001.1


この資料に対する操作

カートに入れる を押すと この資料を 予約する候補として予約カートに追加します。

いますぐ予約する を押すと 認証後この資料をすぐに予約します。

この資料に対する操作

電子書籍を読むを押すと 電子図書館に移動しこの資料の電子書籍を読むことができます。


登録するリストログインメモ


資料情報

各蔵書資料に関する詳細情報です。

No. 所蔵館 配架場所 請求記号 資料番号 資料種別 状態 個人貸出 在庫
1 西部図書館一般書庫0076/1785/71101724663一般在庫 

書誌詳細

この資料の書誌詳細情報です。

タイトルコード 1000000964903
書誌種別 図書
書名 ソフトウェア工学の基礎 7
巻次(漢字) 7
書名ヨミ ソフトウェア コウガク ノ キソ
叢書名 レクチャーノート/ソフトウェア学
叢書番号 25
各巻書名 日本ソフトウェア科学会FOSE2000
言語区分 日本語
出版地 東京
出版者 近代科学社
出版年月 2001.1
本体価格 ¥3500
ISBN 4-7649-0287-7
数量 266p
大きさ 26cm
分類記号 007.63
件名 ソフトウェア工学



内容細目

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

関連資料

この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。

2001
2001
007.63
ソフトウェア工学
前のページへ

本文はここまでです。


ページの終わりです。