スポンサーリンク
北陸先端科学技術大学院大学 | 論文
- 1L-4 高信頼組込みソフトウェア構築技術の統合(リーディングプロジェクト e-society:高信頼性組み込みソフトウェア(1),一般セッション,リーディングプロジェクト e-society)
- 制御タイミングのばらつきを考慮した資源共有とスケジュール手法(信号処理,LSI及び一般)
- 順序制約付レジスタ割り当てにおけるレジスタ数の上界に関する考察
- 代数仕様に基づく実時間システムの検証
- モデル検査基準を用いたモデル検査プロセスについて(ディペンダブルコンピュータシステムとセキュリティ技術及び一般)
- モデル検査技術を活用したソフトウェア設計・検証手法に関する考察(モデル表記・モデル検査)
- 1L-2 モデル検査によるリアルタイムオペレーティングシステムの検証実験(リーディングプロジェクト e-society:高信頼性組み込みソフトウェア(1),一般セッション,リーディングプロジェクト e-society)
- 1L-1 モデル検査技術によるUML設計検証に関する考察(リーディングプロジェクト e-society:高信頼性組み込みソフトウェア(1),一般セッション,リーディングプロジェクト e-society)
- 3.モデル検査技術によるUML設計検証(高信頼性組み込みソフトウェア開発-最新技術動向と取り組み-)
- 2.形式的手法による高信頼性組み込みソフトウェア開発(高信頼性組み込みソフトウェア開発-最新技術動向と取り組み-)
- モデル検査によるアーキテクチャ設計検証(アーキテクチャ)
- オブジェクト指向分析モデルにおけるデータフローの形式化と解析手法
- モデル検査技術を利用したプログラム解析器の生成ツール
- B-2 代数仕様言語CafeOBJにおけるモデル検査(プログラムの理論,B.ソフトウェア)
- エビデンスに基づく評価のための人的資源モデル管理システムの設計
- 2C-6 RDFView : メタデータ活用を目的とした情報システム(Webサービスとアーキテクチャ,一般セッション,データベースとメディア)
- 5B-3 ユニバーサルな知識表現による歴史観光情報コンテンツの提案(コンテンツ推薦,一般セッション,データベースとメディア)
- メタデータ照合型ネットワーク解析システム'MANACO'を用いた医療情報通信観測に関する提案
- O-007 MANACOによる地域観光情報観測手法の提案(O分野:情報システム)
- Semantic Web 技術を応用した質問票調査支援情報システムの構築
スポンサーリンク