検索結果書誌詳細

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

蔵書情報

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

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

書誌情報サマリ

書名

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

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


この資料に対する操作

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

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

この資料に対する操作

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


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


資料情報

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

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

書誌詳細

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

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



内容細目

No. 内容タイトル 内容著者1 内容著者2 内容著者3 内容著者4
1 サービス連携指向要求工学の展望 山本 修一郎/述
2 Javaプログラムの実行履歴に基づくシーケンス図の作成 谷口 考治/ほか著
3 プログラムスライシングを用いたJava実行系列からの部分シーケンス図生成手法 小林 隆志/ほか著
4 アスペクト指向的な表明のモジュール化 山田 聖/著 渡部 卓雄/著
5 アスペクト指向ソフトウェアアーキテクチャスタイルの構築 熊崎 敦司/著 野呂 昌満/著
6 位置指向設計プロセス:モバイル環境における状況依存アプリケーションのアスペクト指向設計 松崎 和賢/ほか著
7 P2Pグリッドにおけるモバイルエージェントを用いた生存性の高いサービスの構築 鄭 顕志/ほか著
8 階層型モバイルエージェントの自律的な合成のための記述とその基盤に関する検討 石川 冬樹/ほか著
9 マルチエージェントシステムのためのインタラクション主導開発におけるシステム分析 土肥 拓生/ほか著
10 マルチメディアコンテンツ流通のためのモバイルエージェントのモデル駆動開発 苅部 卓哉/ほか著
11 協調フィルタリングに基づく工数見積もりのロバスト性評価 柿元 健/ほか著
12 ソフトウェア実行時のAPI呼び出し履歴に基づく動的バースマークの提案 岡本 圭司/ほか著
13 プログラム構造に基づくプログラミング能力評価法 浜名 隆広/ほか著
14 クラスサイズメトリクスを用いたソフトウェア変更量の予測判別に関する考察 望月 尚美/ほか著
15 π計算に対する時間拡張と代数的意味論 桑原 寛明/ほか著
16 一括プロセス記述方式によって記述された分散システムのためのワークフローエンジンの拡張 樋山 大輔/ほか著
17 ロジック書き換えパターンの検証方法の提案 吉岡 信和/著 本位田 真一/著
18 構造的代数仕様のための等価述語の提案と実装 中村 正樹/著 二木 厚吉/著
19 SMVによるOTS/CafeOBJ仕様のモデル検査 中野 昌弘/ほか著
20 レガシー・トランスフォーメーションのためのビジネスルール・リファクタリング 立石 孝彰/ほか著
21 書き換えによるOtway‐Rees認証プロトコルの検証 清野 貴博/ほか著
22 マルチバージョン生成によるプログラムの解析防止 山内 寛己/ほか著
23 XMLを用いたCASEツール・プラットフォーム作成支援環境 高橋 透/ほか著
24 環境の仕様を用いたシナリオから状態マシンの生成 紫合 治/著
25 リファクタリングツールにおけるUndo機構の提案 丸山 勝久/著
26 文書解析に基づくソフトウェアパターンの体系化 久保 淳人/ほか著
27 MIMO:モバイルオブジェクトのためのリモートメソッド呼び出しフレームワーク 伊藤 祥/著 杉山 安洋/著
28 Mixin Layersへの総称型の導入 紙名 哲生/著 玉井 哲雄/著
29 教育用OSのソフトウェア工学的側面 権藤 克彦/著 大場 勝/著
30 Webアプリケーションの構造に基づくテスト基準 式町 健/ほか著
31 モデル変換によるWebアプリケーション開発の支援 風戸 広史/ほか著
32 JavaScriptを含むWebアプリケーションの解析手法 福安 直樹/ほか著
33 オブジェクト指向分析・設計モデルの解析手法 青木 利晃/著
34 型システムの表現力とプログラムの安全性 Jacques Garrigue/著
35 オブジェクト指向デザインと形式手法に関連して 中島 震/著
36 アスペクト指向プログラミング言語のモデル化 増原 英彦/著
37 通信プロセスモデルに基づくソフトウェアモデル化 結縁 祥治/著
38 新世代ソフトウェア開発環境とソフトウェア工学 満田 成紀/著

関連資料

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

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

本文はここまでです。


ページの終わりです。