UML-based design and verification method for developing dependable context-aware systems

研究成果: Chapter in Book/Report/Conference proceedingConference contribution

1 被引用数 (Scopus)

抄録

This paper proposes a verification mechanism for designing dependable context-aware systems. In our approach, a UML-based design model and actual execution trace data are translated into a logical formula. The validity of a design model, the correspondence between the design and the execution, and the non-functional properties can be verified automatically. For this checking, we use an SMT solver.

本文言語英語
ホスト出版物のタイトルMODELSWARD 2013 - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development
ページ89-94
ページ数6
出版ステータス出版済み - 5 28 2013
イベント1st International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2013 - Barcelona, スペイン
継続期間: 2 19 20132 21 2013

出版物シリーズ

名前MODELSWARD 2013 - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development

その他

その他1st International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2013
国/地域スペイン
CityBarcelona
Period2/19/132/21/13

All Science Journal Classification (ASJC) codes

  • ソフトウェア

フィンガープリント

「UML-based design and verification method for developing dependable context-aware systems」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル