<会議発表論文>
Multi-Aspect System Analysis Using State Machines Extracted from Specifications in VDM–SL

作成者
本文言語
出版者
発行日
雑誌名
開始ページ
終了ページ
出版タイプ
アクセス権
概要 Model-oriented formal specification languages such as VDM-SL is useful to describe functional requirements of the target systems. However, since single-aspect analysis is not enough to make reliable s...pecifications, we also use other approaches such as model checking to analyze dynamic aspects of the system as a part of multi-aspect analysis. In this paper, we discuss our approach to extract state machines from specifications in VDM-SL.We can analyze both static and dynamic aspect by using these two different kinds of specification languages, model-oriented and state-machine languages in an integrated manner.続きを見る

本文情報を非表示

isfst2004_J353 pdf 36.6 KB 38  

詳細

レコードID
査読有無
関連情報
関連情報
主題
ISBN
注記
タイプ
登録日 2009.04.22
更新日 2017.03.21