| 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 |
新世代ソフトウェア開発環境とソフトウェア工学 |
満田 成紀/著 |
|
|
|