検索結果 5 件
デジタル記事
インターネットで読める全国の図書館
- 要約等...guages such as VDM-SL is useful to d...... of the target systems. However, since single-aspect analysis is not enough ...... make reliable specifications, we also use o...... as model checking to analyze dy......aspects of the system as a part of multi-aspect analysis. In this paper, we......ach to extract state machines from specifications in VDM-SL.We can analyze......amic aspect by using these two different kinds of specifica......l-oriented and state-machine languages in an integrated manner. The 8th International Sym...... 2004, Xian, China
- 件名Formal Methods Multi-Aspect Analysis Formal Specification VDM–SL State Machine
- 出版者(掲載誌)Software Engineers Association
デジタル記事
インターネットで読める全国の図書館
- 件名Formal Methods Multi-Aspect Analysis Formal Specification VDM–SL State Machine
- 一般注記The 8th International Sym...... 2004, Xian, China
- 関連情報The Proceedings of ISFST-2004 || p200-205 http://www.sea.jp/Ev...
検索結果は以上です。