スポンサーリンク
総合研究大学院大学|国立情報学研究所 | 論文
- 総論:情報標準の世界(情報活動と標準規格)
- 書誌コントロールを超えて(書誌コントロール再考)
- Event-Bデザインのモデル検査における抽象化(モデル表記・モデル検査)
- RBACモデルの形式検証と修正支援(形式手法(1)・言語(学生セッション))
- AOPによるWebアプリケーションの要求監視
- プロジェクト紹介 : 高信頼組込み用オブジェクト指向設計技術(組込み・アスペクト指向)
- 黒毛和種未経産牛におけるCIDRとFSHを用いた過剰排卵処理成績に及ぼす Estradiol-17β の効果
- 代数仕様言語Maudeを用いた制約オートマトンの実現(形式的手法)
- Cプログラム・モデル検査におけるDbC(一般セッション2:モデル検査とコデザイン)
- リアルタイム・コンポーネント向けの程良い形式手法
- 制約オートマトンを用いたソフトウェア・デザインの記述法
- 制約オートマトンに関するモデル検査法の実験
- UMLステートダイアグラムの亜種を用いた組み込みソフトウェア振舞い解析(分析・設計技法)
- プライオリティ概念のあるステートダイアグラムのモデル検査
- 3 組み込みソフトウェアのモデル検査技術入門(組み込みソフトウェア開発技術)
- Webサービスにおける安全性とセキュリティの解析
- ジョインポイント写像によるドメイン特化AO機構の開発手法
- ポリシー規則と振る舞い仕様の分離への書き換え論理アプローチ(一般セッション)
- UCSとUnicode 文字と文字コード管理 (特集 書誌調整) -- (ユニコードとセマンティックウェブの基礎知識--館内講演会から)
- ユビキタスアプリケーション向け移動エージェントの相互運用