Coverart for item
The Resource Verification and validation in systems engineering : assessing UML/SysML design models, Mourad Debbabi [and others]

Verification and validation in systems engineering : assessing UML/SysML design models, Mourad Debbabi [and others]

Label
Verification and validation in systems engineering : assessing UML/SysML design models
Title
Verification and validation in systems engineering
Title remainder
assessing UML/SysML design models
Statement of responsibility
Mourad Debbabi [and others]
Contributor
Subject
Language
eng
Summary
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
Cataloging source
GW5XE
Dewey number
620.001/171
Illustrations
illustrations
Index
index present
LC call number
TA168
LC item number
.V47 2010
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
Debbabi, Mourad
http://library.link/vocab/subjectName
  • Systems engineering
  • Computer software
  • Computer software
  • COMPUTERS
  • Informatique
  • Computer software
  • Computer software
  • Systems engineering
  • Systementwicklung
  • SysML
  • Software Engineering
  • Softwaremetrie
  • Programmanalyse
  • Verifikation
  • Validierung
  • Leistungsbewertung
  • UML
Label
Verification and validation in systems engineering : assessing UML/SysML design models, Mourad Debbabi [and others]
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
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
Control code
693779879
Dimensions
unknown
Extent
1 online resource (xxvi, 248 pages)
Form of item
online
Isbn
9783642152283
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-642-15228-3.
Other physical details
illustrations
http://library.link/vocab/ext/overdrive/overdriveId
978-3-642-15227-6
Specific material designation
remote
System control number
(OCoLC)693779879
Label
Verification and validation in systems engineering : assessing UML/SysML design models, Mourad Debbabi [and others]
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
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
Control code
693779879
Dimensions
unknown
Extent
1 online resource (xxvi, 248 pages)
Form of item
online
Isbn
9783642152283
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-642-15228-3.
Other physical details
illustrations
http://library.link/vocab/ext/overdrive/overdriveId
978-3-642-15227-6
Specific material designation
remote
System control number
(OCoLC)693779879

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...