Login

Debbabi, Mourad

Verification and Validation in Systems Engineering

Debbabi, Mourad - Verification and Validation in Systems Engineering, ebook

99,20€

Ebook, PDF with Adobe DRM
ISBN: 9783642152283
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

Table of contents

1. Introduction
Mourad Debbabi, Fawzi Hassaïne, Yosr Jarraya, Andrei Soeanu, Luay Alawneh

2. Architecture Frameworks, Model-Driven Architecture, and Simulation
Mourad Debbabi, Fawzi Hassaïne, Yosr Jarraya, Andrei Soeanu, Luay Alawneh

3. Unified Modeling Language
Mourad Debbabi, Fawzi Hassaïne, Yosr Jarraya, Andrei Soeanu, Luay Alawneh

4. Systems Modeling Language
Mourad Debbabi, Fawzi Hassaïne, Yosr Jarraya, Andrei Soeanu, Luay Alawneh

5. Verification, Validation, and Accreditation
Mourad Debbabi, Fawzi Hassaïne, Yosr Jarraya, Andrei Soeanu, Luay Alawneh

6. Automatic Approach for Synergistic Verification and Validation
Mourad Debbabi, Fawzi Hassaïne, Yosr Jarraya, Andrei Soeanu, Luay Alawneh

7. Software Engineering Metrics in the Context of Systems Engineering
Mourad Debbabi, Fawzi Hassaïne, Yosr Jarraya, Andrei Soeanu, Luay Alawneh

8. Verification and Validation of UML Behavioral Diagrams
Mourad Debbabi, Fawzi Hassaïne, Yosr Jarraya, Andrei Soeanu, Luay Alawneh

9. Probabilistic Model Checking of SysML Activity Diagrams
Mourad Debbabi, Fawzi Hassaïne, Yosr Jarraya, Andrei Soeanu, Luay Alawneh

10. Performance Analysis of Time-Constrained SysML Activity Diagrams
Mourad Debbabi, Fawzi Hassaïne, Yosr Jarraya, Andrei Soeanu, Luay Alawneh

11. Semantic Foundations of SysML Activity Diagrams
Mourad Debbabi, Fawzi Hassaïne, Yosr Jarraya, Andrei Soeanu, Luay Alawneh

12. Soundness of the Translation Algorithm
Mourad Debbabi, Fawzi Hassaïne, Yosr Jarraya, Andrei Soeanu, Luay Alawneh

13. Conclusion
Mourad Debbabi, Fawzi Hassaïne, Yosr Jarraya, Andrei Soeanu, Luay Alawneh

Keywords: Computer Science, Software Engineering, System Performance and Evaluation, Management of Computing and Information Systems

Author(s)
 
 
 
 
Publisher
Springer
Publication year
2010
Language
en
Edition
1
Page amount
26 pages
Category
Information Technology, Telecommunications
Format
Ebook
eISBN (PDF)
9783642152283

Similar titles