蔵書情報
この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。
この資料に対する操作
電子書籍を読むを押すと 電子図書館に移動しこの資料の電子書籍を読むことができます。
資料情報
各蔵書資料に関する詳細情報です。
| No. |
所蔵館 |
配架場所 |
資料番号 |
資料種別 |
請求記号 |
帯出区分 |
状態 |
所蔵棚番号 |
ＡＪ区分
|
取込区分
|
| 1 |
中央 | 書庫資料 | 1016144279 | 図書 | 549.86/ソフ/S6:7 | | 在庫 | | 一般書(A) | |
関連資料
この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。
書誌詳細
この資料の書誌詳細情報です。
| タイトルコード |
1000000846146 |
| 書誌種別 |
図書 |
| 書名 |
ソフトウェア工学の基礎 7(レクチャーノート/ソフトウェア学) |
| 書名ヨミ |
ソフトウェア コウガク ノ キソ |
| 叢書名 |
レクチャーノート/ソフトウェア学
|
| 出版者 |
近代科学社
|
| 出版年月 |
2001.1 |
| ページ |
266p |
| 大きさ |
26cm |
| ISBN |
4-7649-0287-7 |
| 分類記号 |
007.63
|
目次
内容細目
| No. |
内容タイトル |
内容著者１ |
内容著者２ |
内容著者３ |
内容著者４ |
| 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によるモバイルエージェントセキュリテイの形式的仕様記述 |
田原 康之／ほか著 |
|
|
|
もどる
