Sisäänkirjautuminen

Debbabi, Mourad

Verification and Validation in Systems Engineering

Debbabi, Mourad - Verification and Validation in Systems Engineering, e-kirja

87,95€

E-kirja, PDF, Adobe DRM-suojattu
ISBN: 9783642152283
DRM-rajoitukset

TulostusEi sallittu
Kopioi leikepöydälleEi sallittu

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

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

Tekijä(t)
 
 
 
 
Julkaisija
Springer
Julkaisuvuosi
2010
Kieli
en
Painos
1
Sivumäärä
26 sivua
Kategoria
Tietotekniikka, tietoliikenne
Tiedostomuoto
E-kirja
eISBN (PDF)
9783642152283

Samankaltaisia e-kirjoja