サイト内検索

詳細検索

ヘルプ

セーフサーチについて

性的・暴力的に過激な表現が含まれる作品の表示を調整できる機能です。
ご利用当初は「セーフサーチ」が「ON」に設定されており、性的・暴力的に過激な表現が含まれる作品の表示が制限されています。
全ての作品を表示するためには「OFF」にしてご覧ください。
※セーフサーチを「OFF」にすると、アダルト認証ページで「はい」を選択した状態になります。
※セーフサーチを「OFF」から「ON」に戻すと、次ページの表示もしくはページ更新後に認証が入ります。

【HB】丸善丸の内本店×hontoブックツリー matching booktree ~今の気分で探す新しい本~ ポイント5倍キャンペーン(~5/31)

システム開発・設計 ランキング

システム開発・設計のランキングをご紹介します一覧を見る

前へ戻る

次に進む

収録作品一覧

ソフトウェア工学の基礎 11 日本ソフトウェア科学会FOSE 2004

ソフトウェア工学の基礎 11 日本ソフトウェア科学会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