| 000 -LEADER |
|---|
| fixed length control field |
03698nam a22004815i 4500 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OSt |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20140310151119.0 |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
|---|
| fixed length control field |
cr nn 008mamaa |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
101117s2010 gw | s |||| 0|eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783642152283 |
|
978-3-642-15228-3 |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA76.758 |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
005.1 |
| Edition number |
23 |
| 264 #1 - |
|---|
| -- |
Berlin, Heidelberg : |
| -- |
Springer Berlin Heidelberg, |
| -- |
2010. |
| 912 ## - |
|---|
| -- |
ZDB-2-SCS |
| 100 1# - MAIN ENTRY--PERSONAL NAME |
|---|
| Personal name |
Debbabi, Mourad. |
| Relator term |
author. |
| 245 10 - IMMEDIATE SOURCE OF ACQUISITION NOTE |
|---|
| Title |
Verification and Validation in Systems Engineering |
| Medium |
[electronic resource] : |
| Remainder of title |
Assessing UML/SysML Design Models / |
| Statement of responsibility, etc |
by Mourad Debbabi, Fawzi Hassaïne, Yosr Jarraya, Andrei Soeanu, Luay Alawneh. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
XXVI, 270p. 95 illus. |
| Other physical details |
online resource. |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
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 Foundations of SysML Activity Diagrams -- Soundness of the Translation Algorithm -- Conclusion. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc |
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. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer science. |
|
|---|
| Topical term or geographic name as entry element |
Computer system performance. |
|
|---|
| Topical term or geographic name as entry element |
Software engineering. |
|
|---|
| Topical term or geographic name as entry element |
Information Systems. |
|
|---|
| Topical term or geographic name as entry element |
Computer Science. |
|
|---|
| Topical term or geographic name as entry element |
Software Engineering. |
|
|---|
| Topical term or geographic name as entry element |
System Performance and Evaluation. |
|
|---|
| Topical term or geographic name as entry element |
Management of Computing and Information Systems. |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Hassaïne, Fawzi. |
| Relator term |
author. |
|
|---|
| Personal name |
Jarraya, Yosr. |
| Relator term |
author. |
|
|---|
| Personal name |
Soeanu, Andrei. |
| Relator term |
author. |
|
|---|
| Personal name |
Alawneh, Luay. |
| Relator term |
author. |
| 710 2# - ADDED ENTRY--CORPORATE NAME |
|---|
| Corporate name or jurisdiction name as entry element |
SpringerLink (Online service) |
| 773 0# - HOST ITEM ENTRY |
|---|
| Title |
Springer eBooks |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Display text |
Printed edition: |
| International Standard Book Number |
9783642152276 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
http://dx.doi.org/10.1007/978-3-642-15228-3 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Source of classification or shelving scheme |
|
| Item type |
E-Book |
