特集「ソフトウェア開発を支援する基盤技術」の編集にあたって(<特集>ソフトウェア開発を支援する基盤技術)
スポンサーリンク
概要
- 論文の詳細を見る
- 日本ソフトウェア科学会の論文
- 2002-09-25
著者
関連論文
- Event-Bデザインのモデル検査における抽象化(モデル表記・モデル検査)
- RBACモデルの形式検証と修正支援(形式手法(1)・言語(学生セッション))
- AspectJを用いたスレッド記述法の検討
- AOPによるWebアプリケーションの要求監視
- 代数仕様言語Maudeを用いた制約オートマトンの実現(形式的手法)
- TRMIにおけるリモートオブジェクト管理コンソールTrmiMonitor
- Java言語のAPIドキュメント作成支援ツールの提案と実装
- D-3-5 分散システムの配置構造を提案するツールの試作(D-3.ソフトウェアサイエンス,一般講演)
- TRMIにおけるマルチスレッド制御機能とその有効性の検証
- 自己組織化マップを用いたJavaソースコード間類似度測定ライブラリの試作
- 複数名技術者による同時編集作業における競合の抑制と並列化の両立
- ニューラルネットワークを用いたコマンド予測シェルの試作
- 多様な問題を動的に生成する教育ソフトのXMLを用いた実現( 遠隔教育/一般)
- オブジェクトの動的バージョン管理機能を持つJava仮想マシンの試作
- TRMIによるオブジェクトの分散化(ソフトウェア開発を支援する基盤技術)
- オブジェクトの動的バージョン管理におけるバージョンの整合性について
- Campus Mobile Netのトラヒック特性
- キャンパスモバイルネットのトラヒック特性 (新しい学校づくりと教育工学研究)
- キャンパスモバイルネットの特性評価
- ClassFactory におけるパターン支援機能の提案
- 動的バージョン管理に基づく実行中のソフトウェアの発展法
- Javaクラスの動的バージョン管理の構想
- Object Makeによるコンフィギュレーション管理
- Cプログラム・モデル検査におけるDbC(一般セッション2:モデル検査とコデザイン)
- ジョインポイント写像によるドメイン特化AO機構の開発手法
- ポリシー規則と振る舞い仕様の分離への書き換え論理アプローチ(一般セッション)
- ユビキタスアプリケーション向け移動エージェントの相互運用
- コンテキストベース・プロダクトライン開発とVDM++の適用(ソフトウェアプロダクトライン開発,ソフトウェア工学の理論と実践)
- 検証モデリングの比較検討 : 組込みシステムの事例(組込みシステム,一般)
- 非同期呼び出しモデルにおける遅延評価を用いた同期法の研究
- ウィンターワークショップ・イン・沖縄'95開催報告
- Event-Bで書かれたシステム要求仕様の妥当性検査
- Event-Bデザインのモデル検査における抽象化(モデル表記・モデル検査)
- 特集「組込みシステム工学」の編集にあたって
- 移動エージェント相互運用の実現 : 基本アーキテクチャ
- 3S-4 移動エージェント相互運用の実現 : ディレクトリサーバ
- 3S-3 移動エージェント相互運用の実現 : インカネーションエージェントによる相互運用の実現
- 3S-2 移動エージェント相互運用の実現 : 基本アーキテクチャ
- 3S-1 移動エージェント相互運用の実現 : 背景と構想
- Webアプリケーション開発向けAOP機構の実装(Webアプリケーション(学生セッション))
- 特集「ソフトウェア開発を支援する基盤技術」の編集にあたって(ソフトウェア開発を支援する基盤技術)
- Sun SPOTにおけるSSRMIの実装
- TRMIにおけるマルチスレッド制御機能とその有効性の検証(ソフトウェア工学の基礎)
- オブジェクトの動的バージョン管理におけるバージョンの整合性について
- 形式手法の潮流 : アーキテクチャへの関心(システム設計のための形式手法の基礎と応用)
- Alloy : 自動解析可能なモデル規範形式仕様言語
- 有界モデル検査法を用いたCプログラムのモジュラー検証
- FODAフィーチャー・ダイアグラムの形式化と検査の自動化
- 有界モデル検査法を用いたモジュラー検証のテストケース生成による補完
- ソフトウェアモデル検査とテストケース生成の統合
- 有限Alloy記述の段階的な構築について
- 自己適応 Web アプリケーションシステム : 概念アーキテクチャと実現フレームワーク
- 関数の実行時間予測法と分散コンピューティング環境における応用