A Unified Approach for Verification and Validation of Systems and Software Engineering Models

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Luay Alawneh Articles by Mourad Debbabi Articles by Yosr Jarraya Articles by Andrei Soeanu Articles by Fawzi Hassayne

13th Annual IEEE International Symposium and Workshop on Engineering of Computer Based Systems (ECBS'06)

Postdam, Germany

March 27-March 30

ISBN: 0-7695-2546-6

	ASCII Text	x
	Luay Alawneh, Mourad Debbabi, Yosr Jarraya, Andrei Soeanu, Fawzi Hassayne, "A Unified Approach for Verification and Validation of Systems and Software Engineering Models," Engineering of Computer-Based Systems, IEEE International Conference on the, pp. 409-418, 13th Annual IEEE International Symposium and Workshop on Engineering of Computer Based Systems (ECBS'06), 2006.

	BibTex	x
	@article{ 10.1109/ECBS.2006.17, author = {Luay Alawneh and Mourad Debbabi and Yosr Jarraya and Andrei Soeanu and Fawzi Hassayne}, title = {A Unified Approach for Verification and Validation of Systems and Software Engineering Models}, journal ={Engineering of Computer-Based Systems, IEEE International Conference on the}, volume = {0}, year = {2006}, isbn = {0-7695-2546-6}, pages = {409-418}, doi = {http://doi.ieeecomputersociety.org/10.1109/ECBS.2006.17}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Engineering of Computer-Based Systems, IEEE International Conference on the TI - A Unified Approach for Verification and Validation of Systems and Software Engineering Models SN - 0-7695-2546-6 SP409 EP418 A1 - Luay Alawneh, A1 - Mourad Debbabi, A1 - Yosr Jarraya, A1 - Andrei Soeanu, A1 - Fawzi Hassayne, PY - 2006 KW - null VL - 0 JA - Engineering of Computer-Based Systems, IEEE International Conference on the ER -

Luay Alawneh, Concordia University, Montreal, Canada

Mourad Debbabi, Concordia University, Montreal, Canada

Yosr Jarraya, Concordia University, Montreal, Canada

Andrei Soeanu, Concordia University, Montreal, Canada

Fawzi Hassayne, Defence Research and Development Canada, Ottawa, Ontario, Canada

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ECBS.2006.17

We present in this paper a unified paradigm for the verification and validation of software and systems engineering design models expressed in UML 2.0 or SysML. This paradigm relies on an established synergy between three salient approaches, which are model-checking, program analysis, and software engineering techniques. To illustrate the accomplishment of our results, we have designed and implemented an integrated and automated computer-aided assessment tool. We provide three case studies for sequence, state machine, and class and package diagrams to demonstrate the benefits of our methodology.

Citation:

Luay Alawneh, Mourad Debbabi, Yosr Jarraya, Andrei Soeanu, Fawzi Hassayne, "A Unified Approach for Verification and Validation of Systems and Software Engineering Models," ecbs, pp.409-418, 13th Annual IEEE International Symposium and Workshop on Engineering of Computer Based Systems (ECBS'06), 2006

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.