Verification and Validation in Systems Engineering
Latest Publications

TOTAL DOCUMENTS

13
(FIVE YEARS 0)

H-INDEX

1
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642152276, 9783642152283
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Verification and Validation of UML Behavioral Diagrams

2010 ◽  
pp. 125-152
Author(s):  
Mourad Debbabi ◽  
Fawzi Hassaïne ◽  
Yosr Jarraya ◽  
Andrei Soeanu ◽  
Luay Alawneh
Keyword(s):  
Verification And Validation

Architecture Frameworks, Model-Driven Architecture, and Simulation

2010 ◽  
pp. 15-35 ◽  
Author(s):  
Mourad Debbabi ◽  
Fawzi Hassaïne ◽  
Yosr Jarraya ◽  
Andrei Soeanu ◽  
Luay Alawneh
Keyword(s):  
Model Driven Architecture ◽  
Model Driven ◽  
Architecture Frameworks

Conclusion

2010 ◽  
pp. 223-226
Author(s):  
Mourad Debbabi ◽  
Fawzi Hassaïne ◽  
Yosr Jarraya ◽  
Andrei Soeanu ◽  
Luay Alawneh

Semantic Foundations of SysML Activity Diagrams

2010 ◽  
pp. 189-203
Author(s):  
Mourad Debbabi ◽  
Fawzi Hassaïne ◽  
Yosr Jarraya ◽  
Andrei Soeanu ◽  
Luay Alawneh
Keyword(s):  
Activity Diagrams ◽  
Sysml Activity Diagrams

Automatic Approach for Synergistic Verification and Validation

2010 ◽  
pp. 95-105
Author(s):  
Mourad Debbabi ◽  
Fawzi Hassaïne ◽  
Yosr Jarraya ◽  
Andrei Soeanu ◽  
Luay Alawneh
Keyword(s):  
Verification And Validation

Soundness of the Translation Algorithm

2010 ◽  
pp. 205-222
Author(s):  
Mourad Debbabi ◽  
Fawzi Hassaïne ◽  
Yosr Jarraya ◽  
Andrei Soeanu ◽  
Luay Alawneh

Introduction

2010 ◽  
pp. 1-13
Author(s):  
Mourad Debbabi ◽  
Fawzi Hassaïne ◽  
Yosr Jarraya ◽  
Andrei Soeanu ◽  
Luay Alawneh

Verification, Validation, and Accreditation

2010 ◽  
pp. 75-93
Author(s):  
Mourad Debbabi ◽  
Fawzi Hassaïne ◽  
Yosr Jarraya ◽  
Andrei Soeanu ◽  
Luay Alawneh

Unified Modeling Language

2010 ◽  
pp. 37-59
Author(s):  
Mourad Debbabi ◽  
Fawzi Hassaïne ◽  
Yosr Jarraya ◽  
Andrei Soeanu ◽  
Luay Alawneh
Keyword(s):  
Unified Modeling Language ◽  
Modeling Language ◽  
Unified Modeling

Software Engineering Metrics in the Context of Systems Engineering

2010 ◽  
pp. 107-124
Author(s):  
Mourad Debbabi ◽  
Fawzi Hassaïne ◽  
Yosr Jarraya ◽  
Andrei Soeanu ◽  
Luay Alawneh
Keyword(s):  
Software Engineering ◽  
Systems Engineering
Load More ...
Sign in / Sign up

Export Citation Format

Share Document