Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers (Record no. 78935)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 03053nam a22005535i 4500 |
| 001 - CONTROL NUMBER | |
| control field | 978-3-319-72814-8 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20220801220802.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 180122s2018 sz | s |||| 0|eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 9783319728148 |
| -- | 978-3-319-72814-8 |
| 082 04 - CLASSIFICATION NUMBER | |
| Call Number | 621.3815 |
| 100 1# - AUTHOR NAME | |
| Author | Przigoda, Nils. |
| 245 10 - TITLE STATEMENT | |
| Title | Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers |
| 250 ## - EDITION STATEMENT | |
| Edition statement | 1st ed. 2018. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Number of Pages | XII, 255 p. 16 illus., 5 illus. in color. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc | This book provides a comprehensive discussion of UML/OCL methods and design flow, for automatic validation and verification of hardware and software systems. While the presented flow focuses on using satisfiability solvers, the authors also describe how these methods can be used for any other automatic reasoning engine. Additionally, the design flow described is applied to a broad variety of validation and verification tasks. The authors also cover briefly how non-functional properties such as timing constraints can be handled with the described flow. Provides a general flow and description for the validation and verification of UML/OCL models; Demonstrates a detailed realization of the general flow using satisfiability solvers; Includes a case study that presents the possibilities of the state-of-the-art approaches. |
| 700 1# - AUTHOR 2 | |
| Author 2 | Wille, Robert. |
| 700 1# - AUTHOR 2 | |
| Author 2 | Przigoda, Judith. |
| 700 1# - AUTHOR 2 | |
| Author 2 | Drechsler, Rolf. |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | https://doi.org/10.1007/978-3-319-72814-8 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | eBooks |
| 264 #1 - | |
| -- | Cham : |
| -- | Springer International Publishing : |
| -- | Imprint: Springer, |
| -- | 2018. |
| 336 ## - | |
| -- | text |
| -- | txt |
| -- | rdacontent |
| 337 ## - | |
| -- | computer |
| -- | c |
| -- | rdamedia |
| 338 ## - | |
| -- | online resource |
| -- | cr |
| -- | rdacarrier |
| 347 ## - | |
| -- | text file |
| -- | |
| -- | rda |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Electronic circuits. |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Microprocessors. |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Computer architecture. |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Electronics. |
| 650 14 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Electronic Circuits and Systems. |
| 650 24 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Processor Architectures. |
| 650 24 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Electronics and Microelectronics, Instrumentation. |
| 912 ## - | |
| -- | ZDB-2-ENG |
| 912 ## - | |
| -- | ZDB-2-SXE |
No items available.