形式手法 ─ ソフトウェアの信頼性確保のアプローチ ─
スポンサーリンク
概要
- 論文の詳細を見る
This paper reviews the various formal methods and their application to the development of reliable software.
- 神奈川大学の論文
- 2009-10-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. 自国語プログラミング環境の研究
- 形式手法 ─ ソフトウェアの信頼性確保のアプローチ ─
- 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.ネットワーク・モバイルコンピューティング)