ユ-ザ定義に基づくプログラムの変則構造の検出

スポンサーリンク

概要

• 論文の詳細を見る
• 電子情報通信学会の論文

著者

• 長谷川 哲夫

  株式会社 東芝:早稲田大学

関連論文

• モデル検査によるステートチャートとシーケンスチャートの整合性検証(「さまざまな分野の形式的検証最前線」及びAI一般)
• シーケンス図からの時間性能モデル検査用オブザーバ生成手法(テスト・検証(一般セッション))
• ユ-ザ定義に基づくプログラムの変則構造の検出

スポンサーリンク