E-commerceソフトウェアの形式的開発方法論
スポンサーリンク
概要
- 論文の詳細を見る
21世紀のIT革命を支える柱の一つとして, 信頼性のあるE-commerceソフトウェアの構築は重要である.しかしながら, E-commerceソフトウェアは, 分散, 並行といった特徴を持ったリアクティブソフトウェアであるため, 設計作業やプログラム動作が複雑であり, 信頼性保証が困難である.本論文では, 仕様においてモデル検査を行い, その性質をAssume-Guarantee形式による演繹的詳細化検証手法によってプログラムまで引き継がせることで, E-commerceソフトウェアの信頼性を保証しながら形式的に開発する方法論を提案する.
- 社団法人電子情報通信学会の論文
- 2001-01-16
著者
関連論文
- プログラムスライシングによるプログラムのモデル検査手法
- 演繹的モデル検査による自動詳細化検証手法
- OSスケジューラプログラムの自動検証の実験的研究
- 制御ソフトウェアの開発方法論 : 制御理論と計算機科学の横断的設計アプローチ
- E-commerceソフトウェアの形式的開発方法論
- Assume-Guarantee形式による実時間ソフトウェアの演繹的詳細化検証手法
- 実時間システムの演繹的検証と自動検証の実験的研究
- 実時間システムの演繹的検証