蔵書情報
この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。
書誌情報サマリ
| 書名 |
ソフトウェア工学の基礎 7 レクチャーノート/ソフトウェア学 25 日本ソフトウェア科学会FOSE2000
|
| 出版者 |
近代科学社
|
| 出版年月 |
2001.1 |
書誌詳細
この資料の書誌詳細情報です。
| タイトル番号 |
1009910154396 |
| 書誌種別 |
和書 |
| 書名 |
ソフトウェア工学の基礎 7 レクチャーノート/ソフトウェア学 25 日本ソフトウェア科学会FOSE2000 |
| 書名ヨミ |
ソフトウェア コウガク ノ キソ レクチャー ノート ソフトウェアガク ニホン ソフトウェア カガクカイ エフオーエスイー ニセン |
| 叢書名 |
レクチャーノート/ソフトウェア学
|
| 叢書巻次 |
25 |
| 各巻書名 |
日本ソフトウェア科学会FOSE2000 |
| 出版者 |
近代科学社
|
| 出版地 |
東京 |
| 出版年月 |
2001.1 |
| ページ数 |
266p |
| 大きさ |
26cm |
| 価格 |
￥３５００ |
| 言語区分 |
日本語 |
| ISBN |
4-7649-0287-7 |
| 分類 |
007.63
|
| 件名 |
ソフトウェア工学 |
内容細目
-
1 ニーズ指向の情報駆動学における分析・モデリング・実現抽象化技術について
1-10
-
橋本 正明／著
-
2 21世紀におけるソフトウェア工学の基礎とは?
11-12
-
野呂 昌満／ほか討議
-
3 建築施工のプロダクト中心のプロセスモデリング
13-20
-
三浦 友徳／ほか著
-
4 建築施工の業務分析の一試行
21-28
-
阿満 誠也／ほか著
-
5 ビジネスフローにおける一貫性制約の記述手法の提案
29-36
-
由良 俊介／ほか著
-
6 分散システムのためのプロセス論理の充足可能性
37-44
-
磯部 祥尚／著 大蒔 和仁／著
-
7 Safe dynamics for distributed programming
45-52
-
藤田 憲悦／著
-
8 協調型分散システムへの時間導入法
53-60
-
中山 竜二／ほか著
-
9 規律性のあるIDEFOによる機能モデルとデータモデルの結合
61-68
-
上村 学／ほか著
-
10 信頼性向上のためのビジネスプロセス記述
69-76
-
今井 慈郎／ほか著
-
11 離散系生産システムのためのデータモデリング法
77-84
-
山田 功／著 熊谷 敏／著
-
12 ヴァリアントの継承について
85-92
-
香川 考司／著
-
13 多相ヴァリアントによるコード再利用
93-100
-
Jacques・Garrigue／著
-
14 M-pi計算に対する型システム
101-108
-
塚崎 悟／著 富樫 敦／著
-
15 情報アーキテクチャの概念に基づくWebサービス要求分析手法
109-116
-
荻原 剛志／ほか著
-
16 HOLを用いたオブジェクト指向分析モデルの検証
117-124
-
立石 孝彰／ほか著
-
17 アーキテクチャ指向による要求分析
125-132
-
友枝 敦／著
-
18 Chidamberのメトリクスを用いたオブジェクト指向プログラムの再設計
133-141
-
伊藤 謙心／ほか著
-
19 ユーザの実装逸脱度に基づくフレームワークの設計評価メトリクス
141-148
-
黒田 隆一／ほか著
-
20 細粒度コンポーネント環境における履歴クラスタリング
149-156
-
鷲崎 弘宜／ほか著
-
21 オブジェクト指向組み込みシステム開発のための設計モデルSESモデル
157-164
-
青木 利晃／著 片山 卓也／著
-
22 既存ネットワークソフトウェアとの互換性を考慮したソフトウェア構成法
165-172
-
熊崎 敦司／ほか著
-
23 移動エージェント相互運用を実現するソフトウェアアーキテクチャ
173-180
-
粂野 文洋／ほか著
-
24 階層的漸増テスト自動実行ツール
181-188
-
山口 嘉文／ほか著
-
25 オブジェクト属性を利用したソフトウェアの視覚化
189-196
-
安原 継二／ほか著
-
26 プログラムの正規化に基づいた差分抽出法の提案
197-204
-
尾崎 憲幸／ほか著
-
27 実用規模システムへの形式手法の適用事例
205-208
-
田中 俊行／ほか著
-
28 グラフ分析エンジンGOAeの開発
209-212
-
張 漢明／ほか著
-
29 文書作成支援のためのWWWコンコーダンサー
213-220
-
山之上 卓／ほか著
-
30 位置透過性を持つ分散プログラミング環境のD'Agentによる実現
221-228
-
本田 治／ほか著
-
31 射影型振舞仕様を用いた高信頼コンポーネントソフトウェアの開発
229-236
-
松本 充広／著 二木 厚吉／著
-
32 AND構造とOR構造の分解による実時間ソフトウェアの安全性の演繹的検証
237-244
-
山ノ口 崇／著 山根 智／著
-
33 RMIを用いた分散システム構築の自動化
245-248
-
油利 耕平／著 溝口 佳寛／著
-
34 Research topics discovery from WWW by keywords association rules
249-256
-
David・Ramamonjisoa／ほか著
-
35 振舞仕様を用いたIPモジュールの記述に向けて
257-260
-
海野 浩／ほか著
-
36 Mobile UNITYによるモバイルエージェントセキュリテイの形式的仕様記述
261-266
-
田原 康之／ほか著
この資料に対する操作
カートに入れる を押すと この資料を 予約する候補として予約カートに追加します。
いますぐ予約する を押すと 認証後この資料をすぐに予約します。
この資料に対する操作
電子書籍を読むを押すと 電子図書館に移動しこの資料の電子書籍を読むことができます。
資料情報
各蔵書資料に関する詳細情報です。
| No. |
資料番号 |
所蔵館 |
請求番号 |
配架場所 |
資料種別 |
帯出区分 |
状態 |
貸出
|
| 1 |
0020096053 | 県立図書館 | 007.63/ｿﾌ/ | 書庫１ | 一般和書 | 貸可資料 | 在庫 |
○ |
関連資料
この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。
前のページへ
