スポンサーリンク
総合研究大学院大学|国立情報学研究所 | 論文
- コンテキストベース・プロダクトライン開発とVDM++の適用(ソフトウェアプロダクトライン開発,ソフトウェア工学の理論と実践)
- 検証モデリングの比較検討 : 組込みシステムの事例(組込みシステム,一般)
- Event-Bで書かれたシステム要求仕様の妥当性検査
- Event-Bデザインのモデル検査における抽象化(モデル表記・モデル検査)
- 特集「組込みシステム工学」の編集にあたって
- 移動エージェント相互運用の実現 : 基本アーキテクチャ
- 3S-4 移動エージェント相互運用の実現 : ディレクトリサーバ
- 3S-3 移動エージェント相互運用の実現 : インカネーションエージェントによる相互運用の実現
- 3S-2 移動エージェント相互運用の実現 : 基本アーキテクチャ
- 漢字コードについて(文字シンポジウムから)
- 文献の論理構造を考慮した全文検索システム
- ユニークタイトルの電子アーカイブ(1):予備的統計と保存の提案
- Webアプリケーション開発向けAOP機構の実装(Webアプリケーション(学生セッション))
- 仕様記述言語Zと証明環境Isabelle/HOL-Z(ソフトウェア紹介,先端ソフトウェアツール)
- Webサービスにおける安全性とセキュリティの解析
- リファクタリングの正しさのESC/Java2による形式検証
- チューリヒ大学日本学科図書館NACSIS-CATプロジェクト報告
- 2010年までの研究者需給見通しと研究者養成の課題(IV-3部会 大学と研究者)
- 目録所在情報サービス (第5回学術情報センターシンポジウム報告 1)
- 形式手法の潮流 : アーキテクチャへの関心(システム設計のための形式手法の基礎と応用)