Amazon cover image
Image from Amazon.com

Verification and validation in systems engineering [Book] : assessing UML/SysML design models / Mourad Debbabi ... [et al.].

Contributor(s): Material type: TextTextPublication details: Heidelberg ; New York : Springer, c2010.Description: xxvi, 248 p. ; 24 cmISBN:
  • 9783642152283 (e-isbn)
  • 9783642152276
  • 3642152279
Subject(s): DDC classification:
  • 004.24 22
Other classification:
  • 004.24
Contents:
Introduction -- Architecture frameworks, model-driven architecture, and simulation -- Unified Modeling Language -- Systems Modeling Language -- Verification, Validation, and accreditation -- Automatic approach for synergistic verification and validation -- Software engineering metrics in the context of systems engineering -- Verification and validation of UML behavioral diagrams -- Probabilistic model checking of SysML activity diagrams -- Performance analysis of time-constrained SysML activity diagrams -- Semantic foundation of SysML activity diagrams -- Soundness of the translation algorithm.
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Date due Barcode Item holds
Books Books Junaid Zaidi Library, COMSATS University Islamabad 004.24 VER (Browse shelf(Opens below)) Available 41149
Total holds: 0

Includes bibliographical references (p. 227-239) and index.

Introduction -- Architecture frameworks, model-driven architecture, and simulation -- Unified Modeling Language -- Systems Modeling Language -- Verification, Validation, and accreditation -- Automatic approach for synergistic verification and validation -- Software engineering metrics in the context of systems engineering -- Verification and validation of UML behavioral diagrams -- Probabilistic model checking of SysML activity diagrams -- Performance analysis of time-constrained SysML activity diagrams -- Semantic foundation of SysML activity diagrams -- Soundness of the translation algorithm.

All.

There are no comments on this title.

to post a comment.