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
Locate

My Reading Lists:

Create a new list

Notes
Notes

Check nearby libraries

Buy this book

Last edited by ImportBot
April 21, 2025 | 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

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
Cover of: Verification and Validation in Systems Engineering
Verification and Validation in Systems Engineering: Assessing UML/SysML Design Models
Apr 20, 2011, Springer
paperback
Cover of: Verification and validation in systems engineering
Verification and validation in systems engineering: assessing UML/SysML design models
2010, Springer
in English

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

Edition Identifiers

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

Work Identifiers

Work ID
OL16116390W

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)

No community reviews have been submitted for this work.

Lists

Loading indicator
Loading carousel
Loading indicator
Loading carousel

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
April 21, 2025 Edited by ImportBot Redacting ocaids
December 29, 2021 Edited by ImportBot import existing book
September 25, 2020 Edited by MARC Bot import existing book
May 22, 2020 Edited by CoverBot Added new cover
October 20, 2011 Created by LC Bot Imported from Library of Congress MARC record