An edition of Verification and validation in systems engineering (2010)

Verification and validation in systems engineering

assessing UML/SysML design models

by

Cover of: Verification and validation in systems engineering by Mourad Debbabi, Mourad Debbabi
Not in Library

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
Notes

Check nearby libraries

Buy this book

Last edited by ImportBot
December 29, 2021 | History
Edit
An edition of Verification and validation in systems engineering (2010)

Verification and validation in systems engineering

assessing UML/SysML design models

by

This edition doesn't have a description yet. Can you add one?

Publish Date
Publisher
Springer
Language
English
Pages
248

Check nearby libraries

Buy this book

Previews available in: English

Subjects

Systems engineering, Leistungsbewertung, Softwaremetrie, SysML (Computer science), Software Engineering, Expert systems (Computer science), SysML, Systementwicklung, Verification, UML (Computer science), UML, Validierung, Validation, Verifikation, Programmanalyse, Computer programs, Computer software, validation, Uml (computer science)
Edition Availability
Cover of: Verification and Validation in Systems Engineering
Verification and Validation in Systems Engineering: Assessing UML/SysML Design Models
Nov 13, 2014, Springer
paperback
Libraries near you: WorldCat
Cover of: Verification and Validation in Systems Engineering
Verification and Validation in Systems Engineering: Assessing UML/SysML Design Models
Apr 20, 2011, Springer
paperback
Libraries near you: WorldCat
Cover of: Verification and validation in systems engineering
Verification and validation in systems engineering: assessing UML/SysML design models
2010, Springer
in English
  • Not in Library
Libraries near you: WorldCat

Add another edition?

Book Details

Table of 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.

Edition Notes

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

Published in
Heidelberg, New York

Classifications

Dewey Decimal Class
004.24
Library of Congress
QA76.76.E95 V47 2010, QA75.5-76.95

The Physical Object

Pagination
xxvi, 248 p.
Number of pages
248

ID Numbers

Open Library
OL25004097M
Internet Archive
verificationvali00debb
ISBN 10
3642152279
ISBN 13
9783642152276
LCCN
2010936711
OCLC/WorldCat
662409358

Source records

Library of Congress MARC record
Library of Congress MARC record
Internet Archive item record
Library of Congress MARC record
Better World Books record

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON
December 29, 2021 Edited by ImportBot import existing book
September 25, 2020 Edited by MARC Bot import existing book
October 20, 2011 Created by LC Bot import new book