HAPPY HOLIDAYS: Get a special discount on Apress Access! Subscribe today >>

Verification and Validation in Systems Engineering

Assessing UML/SysML Design Models

Authors: Debbabi, M., Hassaïne, F., Jarraya, Y., Soeanu, A., Alawneh, L.

  • Broad and comprehensive overview of software verification and validation techniques
  • Close integration with UML standard
  • Theoretical presentation complemented by numerous case studies
see more benefits

Buy this book

eBook $84.99
price for USA
  • ISBN 978-3-642-15228-3
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Download immediately after purchase
Hardcover $109.00
price for USA
  • ISBN 978-3-642-15227-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $109.00
price for USA
  • ISBN 978-3-642-42316-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

Verification and validation represents an important process used for the quality assessment of engineered systems and their compliance with the requirements established at the beginning of or during the development cycle.

Debbabi and his coauthors investigate methodologies and techniques that can be employed for the automatic verification and validation of systems engineering design models expressed in standardized modeling languages. Their presentation includes a bird’s eye view of the most prominent modeling languages for software and systems engineering, namely the Unified Modeling Language (UML) and the more recent Systems Modeling Language (SysML). Moreover, it elaborates on a number of quantitative and qualitative techniques that synergistically combine automatic verification techniques, program analysis, and software engineering quantitative methods applicable to design models described in these modeling languages. Each of these techniques is additionally explained using a case study highlighting the process, its results, and resulting changes in the system design.

Researchers in academia and industry as well as students specializing in software and systems engineering will find here an overview of state-of-the-art validation and verification techniques. Due to their close association with the UML standard, the presented approaches are also applicable to industrial software development.

Reviews

From the reviews:

“The five authors of this book tackle a very difficult subject, and must be commended for doing so. The result is a welcome addition to the body of professional literature. … It is a highly technical … book on one of the most critical subjects that we have, as professionals. … The book is exceedingly well illustrated. … a professional involved in systems engineering, and particularly in systems quality, verification, systems verification, or other related activities, would find this book useful.” (Mordechai Ben-Menachem, ACM Computing Reviews, May, 2011)


Table of contents (13 chapters)

  • Introduction

    Debbabi, Mourad (et al.)

    Pages 1-13

  • Architecture Frameworks, Model-Driven Architecture, and Simulation

    Debbabi, Mourad (et al.)

    Pages 15-35

  • Unified Modeling Language

    Debbabi, Mourad (et al.)

    Pages 37-59

  • Systems Modeling Language

    Debbabi, Mourad (et al.)

    Pages 61-73

  • Verification, Validation, and Accreditation

    Debbabi, Mourad (et al.)

    Pages 75-93

Buy this book

eBook $84.99
price for USA
  • ISBN 978-3-642-15228-3
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Download immediately after purchase
Hardcover $109.00
price for USA
  • ISBN 978-3-642-15227-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $109.00
price for USA
  • ISBN 978-3-642-42316-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Bibliographic Information

Bibliographic Information
Book Title
Verification and Validation in Systems Engineering
Book Subtitle
Assessing UML/SysML Design Models
Authors
Copyright
2010
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-15228-3
DOI
10.1007/978-3-642-15228-3
Hardcover ISBN
978-3-642-15227-6
Softcover ISBN
978-3-642-42316-1
Edition Number
1
Number of Pages
XXVI, 248
Topics