資料詳細

  • 1 件中、 1 件目

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

-- 近代科学社 -- 2004.11 -- 007.63
（ 日本ソフトウェア科学会FOSE 2004 ） 野呂 昌満／編

所蔵

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

所蔵館 所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
県立 集密３(X01) 主配架/007.61/ｿﾌﾄｳｴｱ/(11) 10212984902 一般図書 書架 iLisvirtual

ページの先頭へ

資料詳細

タイトル ソフトウェア工学の基礎 11
叢書名 レクチャーノート/ソフトウェア学
出版者 近代科学社
出版年 2004.11
ページ数 244p
大きさ 26cm
一般件名 ソフトウェア工学
NDC分類(10版) 007.63
ISBN 4-7649-0313-X
巻の書名 日本ソフトウェア科学会FOSE 2004
巻の書名カナ ニホン ソフトウェア カガクカイ エフオーエスイー ニセンヨン
各巻著者 野呂 昌満／編
各巻著者カナ ノロ,マサミ

ページの先頭へ

内容一覧

タイトル 著者名 ページ
サービス連携指向要求工学の展望 山本 修一郎／述 1-3
Javaプログラムの実行履歴に基づくシーケンス図の作成 谷口 考治／ほか著 5-16
プログラムスライシングを用いたJava実行系列からの部分シーケンス図生成手法 小林 隆志／ほか著 17-28
アスペクト指向的な表明のモジュール化 山田 聖／著 29-39
アスペクト指向ソフトウェアアーキテクチャスタイルの構築 熊崎 敦司／著 41-44
位置指向設計プロセス:モバイル環境における状況依存アプリケーションのアスペクト指向設計 松崎 和賢／ほか著 45-48
P2Pグリッドにおけるモバイルエージェントを用いた生存性の高いサービスの構築 鄭 顕志／ほか著 49-60
階層型モバイルエージェントの自律的な合成のための記述とその基盤に関する検討 石川 冬樹／ほか著 61-64
マルチエージェントシステムのためのインタラクション主導開発におけるシステム分析 土肥 拓生／ほか著 65-68
マルチメディアコンテンツ流通のためのモバイルエージェントのモデル駆動開発 苅部 卓哉／ほか著 69-72
協調フィルタリングに基づく工数見積もりのロバスト性評価 柿元 健／ほか著 73-84
ソフトウェア実行時のAPI呼び出し履歴に基づく動的バースマークの提案 岡本 圭司／ほか著 85-88
プログラム構造に基づくプログラミング能力評価法 浜名 隆広／ほか著 89-92
クラスサイズメトリクスを用いたソフトウェア変更量の予測判別に関する考察 望月 尚美／ほか著 93-96
π計算に対する時間拡張と代数的意味論 桑原 寛明／ほか著 97-108
一括プロセス記述方式によって記述された分散システムのためのワークフローエンジンの拡張 樋山 大輔／ほか著 109-112
ロジック書き換えパターンの検証方法の提案 吉岡 信和／著 113-116
構造的代数仕様のための等価述語の提案と実装 中村 正樹／著 117-128
SMVによるOTS/CafeOBJ仕様のモデル検査 中野 昌弘／ほか著 129-140
レガシー・トランスフォーメーションのためのビジネスルール・リファクタリング 立石 孝彰／ほか著 141-152
書き換えによるOtway‐Rees認証プロトコルの検証 清野 貴博／ほか著 153-156
マルチバージョン生成によるプログラムの解析防止 山内 寛己／ほか著 157-160
XMLを用いたCASEツール・プラットフォーム作成支援環境 高橋 透／ほか著 161-172
環境の仕様を用いたシナリオから状態マシンの生成 紫合 治／著 173-176
リファクタリングツールにおけるUndo機構の提案 丸山 勝久／著 177-180
文書解析に基づくソフトウェアパターンの体系化 久保 淳人／ほか著 181-192
MIMO:モバイルオブジェクトのためのリモートメソッド呼び出しフレームワーク 伊藤 祥／著 193-196
Mixin Layersへの総称型の導入 紙名 哲生／著 197-208
教育用OSのソフトウェア工学的側面 権藤 克彦／著 209-212
Webアプリケーションの構造に基づくテスト基準 式町 健／ほか著 213-223
モデル変換によるWebアプリケーション開発の支援 風戸 広史／ほか著 225-228
JavaScriptを含むWebアプリケーションの解析手法 福安 直樹／ほか著 229-232
オブジェクト指向分析・設計モデルの解析手法 青木 利晃／著 233-234
型システムの表現力とプログラムの安全性 Jacques Garrigue／著 235
オブジェクト指向デザインと形式手法に関連して 中島 震／著 237-238
アスペクト指向プログラミング言語のモデル化 増原 英彦／著 239-240
通信プロセスモデルに基づくソフトウェアモデル化 結縁 祥治／著 241-242
新世代ソフトウェア開発環境とソフトウェア工学 満田 成紀／著 243-244

ページの先頭へ