2010

Verification and Validation in Systems Engineering

Assessing UML/SysML Design Models

ISBN: 978-3-642-15227-6 (Print) 978-3-642-15228-3 (Online)

Table of contents (13 chapters)

  1. Front Matter

    Pages i-xxvi

  2. No Access

    Book Chapter

    Pages 1-13

    Introduction

  3. No Access

    Book Chapter

    Pages 15-35

    Architecture Frameworks, Model-Driven Architecture, and Simulation

  4. No Access

    Book Chapter

    Pages 37-59

    Unified Modeling Language

  5. No Access

    Book Chapter

    Pages 61-73

    Systems Modeling Language

  6. No Access

    Book Chapter

    Pages 75-93

    Verification, Validation, and Accreditation

  7. No Access

    Book Chapter

    Pages 95-105

    Automatic Approach for Synergistic Verification and Validation

  8. No Access

    Book Chapter

    Pages 107-124

    Software Engineering Metrics in the Context of Systems Engineering

  9. No Access

    Book Chapter

    Pages 125-152

    Verification and Validation of UML Behavioral Diagrams

  10. No Access

    Book Chapter

    Pages 153-166

    Probabilistic Model Checking of SysML Activity Diagrams

  11. No Access

    Book Chapter

    Pages 167-188

    Performance Analysis of Time-Constrained SysML Activity Diagrams

  12. No Access

    Book Chapter

    Pages 189-203

    Semantic Foundations of SysML Activity Diagrams

  13. No Access

    Book Chapter

    Pages 205-222

    Soundness of the Translation Algorithm

  14. No Access

    Book Chapter

    Pages 223-226

    Conclusion

  15. Back Matter

    Pages 227-248