loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
13th Annual IEEE International Symposium and Workshop on Engineering of Computer Based Systems (ECBS'06)
A Unified Approach for Verification and Validation of Systems and Software Engineering Models
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
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
Usage of this product signifies your acceptance of the Terms of Use.