Name
Title | ||
|---|---|---|
A Unified Approach for Verification and Validation of Systems and Software Engineering Models |
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. |
Year | DOI | Venue |
|---|---|---|
2006 | 10.1109/ECBS.2006.17 | ECBS |
Keywords | Field | DocType |
systems engineering design model,salient approach,program analysis,unified approach,automated computer-aided assessment tool,state machine,software engineering technique,unified paradigm,package diagram,established synergy,software engineering models,case study,reliability engineering,unified modeling language,computer security,software validation,system engineering,application software,software verification,model checking,software verification and validation,verification and validation,sysml,software systems,software engineering,software maintenance,software testing | Use case,Systems engineering,Unified Modeling Language,Software engineering,UML tool,Computer science,Software system,Software verification and validation,Systems Modeling Language,Software construction,Software verification | Conference |
ISBN | Citations | PageRank |
0-7695-2546-6 | 8 | 0.60 |
References | Authors | |
7 | 5 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Luay Alawneh | 1 | 70 | 9.18 |
| Mourad Debbabi | 2 | 1467 | 144.47 |
| Yosr Jarraya | 3 | 173 | 14.52 |
| Andrei Soeanu | 4 | 43 | 7.49 |
| Fawzi Hassayne | 5 | 8 | 0.60 |