Published Articles >> Table of Contents >> Abstract

13th Annual IEEE International Symposium and Workshop on Engineering of Computer Based Systems (ECBS'06)   pp. 409-418
A Unified Approach for Verification and Validation of Systems and Software Engineering Models
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

Full Article Text:

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ECBS.2006.17
Send link to a friend

Abstract
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.
Back to Top Additional Information
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