B-035 形式手法を用いた組込み用OSの試作 : Bメソッドによる仕様検証実験(ソフトウェア,一般論文)

スポンサーリンク

概要

• 論文の詳細を見る
• FIT(電子情報通信学会・情報処理学会)推進委員会の論文
• 2008-08-20

著者

• 野口 健一郎

  神奈川大学理学部情報科学科

• 川守田 慶

  神奈川大学大学院理学研究科情報科学専攻

• 野口 健一郎

  神奈川大学大学院理学研究科情報科学専攻

関連論文

• 情報科学教育におけるノートPC利用の研究
• 神奈川大学理学部情報科学科におけるノートパソコンを利用した情報教育の試み
• M-020 赤外線リモコンを利用したホームサーバの実験(M分野:ユビキタス・マルチメディア・セキュリティ)
• 5M-8 Javaをターゲットにした自国語プログラミングの実験
• B-036 拡張状態遷移技法を用いた仕様検証の実験 : 組込み用OS試作への適用(ソフトウェア,一般論文)
• B-035 形式手法を用いた組込み用OSの試作 : Bメソッドによる仕様検証実験(ソフトウェア,一般論文)
• B-008 組込み用を目指したOSのセキュリティの研究 : MINIX3のセキュリティ機能の評価と強化の実験(B分野:ソフトウェア)
• A-020 実行可視化機能を備えた図形ベースプログラミング学習支援ツール(A分野:モデル・アルゴリズム・プログラミング,一般論文)
• M-046 Webサービス技術を実装した情報家電プラットフォームの作成実験(M.ネットワーク・モバイルコンピューティング)
• L-028 メールユーザエージェントによる送信ドメイン認証の実験(L分野:ネットワーク・セキュリティ,一般論文)
• 多言語プログラミング環境の研究(2002年度共同研究プロジェクト)
• M. 多言語プログラミング環境の研究
• R. 自国語プログラミング環境の研究
• O. 自国語プログラミング環境の研究
• B-033 組込みOS用暗号化ロードモジュール機能及びセキュアファイルサーバの試作(B分野:ソフトウェア,一般論文)
• 形式手法 ─ ソフトウェアの信頼性確保のアプローチ ─
• 3G-5 やさしいプログラミング言語「かいてみよう」とその実行環境「神平君」 : 高校教科情報の補助教材の提案(情報教育,一般セッション,コンピュータと人間社会)
• M-072 Webサービスのセキュリティの研究 : WS-Security/SAML/XACML適用の基礎実験(M分野:ユビキタス・モバイルコンピューティング)
• L-039 携帯電話を用いた電子印鑑システムの改良と出席通知システムへの適用実験(L分野:ネットワーク・セキュリティ)
• M_037 携帯電話を利用した電子印鑑システムの作成実験(M分野:アーキテクチャ・ユビキタス・セキュリティ)
• L_037 XML文書に適合するRELAX NGスキーマの自動生成実験 : スキーマ仕様のサポート範囲の拡大(L分野:ネットワークコンピューティング)
• L_010 携帯電話用Webサービスクライアントの自動構成実験(L分野:ネットワークコンピューティング)
• M-037 インタフェース定義言語IDLからのWebサービス・プログラム自動生成実験(M分野:ユビキタス・マルチメディア・セキュリティ)
• M-015 Webサービスのセキュリティの研究 : XACMLを用いたアクセス制御の基礎実験(M分野:ユビキタス・マルチメディア・セキュリティ)
• B-021 セキュアOS LIDSの機能の検証と運用の自動化実験(B分野:ソフトウェア)
• B-001 Javaをターゲットにした自国語プログラミングの実験 : 多国語の運用(B分野:ソフトウェア)
• ウェブサービスのセキュリティの研究(2004年度神奈川大学総合理学研究所助成共同研究)
• M-083 SAMLを利用したWebサービスの認証方式の検討(M.ネットワーク・モバイルコンピューティング)
• M-009 XML文書に適合するRELAX NGスキーマの自動生成実験(M.ネットワーク・モバイルコンピューティング)
• M-013 XML暗号化規格の実装実験および検討(M分野:ユビキタス・マルチメディア・セキュリティ)
• B-7 Javaをターゲットにした自国語プログラミングにおける辞書を用いた自動変換(ソフトウェア開発支援ツール,B.ソフトウェア)
• L-010 メールユーザエージェントによる送信者認証の実験 : DKIM方式の適用(セキュリティ運用管理,L分野:ネットワーク・セキュリティ)
• B-044 安全な組込み用OSの試作 : セパレーションカーネルに基づくセキュリティ機能の検討(OS・ストレージ,B分野:ソフトウェア)
• B-043 組込み用OSのネットワーク機能の設計と形式手法SPINによる検証(OS・ストレージ,B分野:ソフトウェア)
• M-21 XMLを利用した遠隔地からの家庭用機器の操作方式(サービス・資源管理と応用(2),M.ネットワーク・モバイルコンピューティング)
• 一斉射撃問題を解いてみる : 分かりやすい 8 状態最少時間解まで

もっと見る 閉じる

スポンサーリンク