ユースケースモデルに基づくソースコード検証のためのリバースエンジニアリング手法の検討 : ASP.NETアプリケーションを事例として

• 小形 真平

• 青木 善貴

• 谷沢 智史

書誌事項

タイトル別名

• ユースケースモデル ニ モトズク ソースコード ケンショウ ノ タメ ノ リバースエンジニアリング シュホウ ノ ケントウ : ASP.NET アプリケーション オ ジレイ ト シテ
• An Investigation of a Reverse Engineering Method for Verifying Source Code with a Use Case Model : A Case of an ASP.NET Application
• 知能ソフトウェア工学
• チノウ ソフトウェア コウガク

収録刊行物

• 電子情報通信学会技術研究報告 = IEICE technical report : 信学技報

  電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 114 (420), 19-24, 2015-01

  東京 : 電子情報通信学会

キーワード

• ASP.NET
• モデル検査
• リバースエンジニアリング
• 静的解析
• UML
• セキュリティ要求
• Model Checking
• Reverse Engineering
• Static Analysis
• Security Requirements

詳細情報

• CRID: 1520290882586634752
• NII論文ID: 110010008617
• NII書誌ID: AA1123312X
• ISSN: 09135685
• NDL書誌ID: 026149593
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I026149593
• 本文言語コード: ja
• NDL 雑誌分類:
  • ZN33(科学技術--電気工学・電気機械工業--電子工学・電気通信)
• データソース種別:
  • NDL
  • CiNii Articles