國立虎尾科技大學 |

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers/ by Nils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler.
Author:	Przigoda, Nils.
other author:	Wille, Robert.
Description:	XII, 255 p. 16 illus., 5 illus. in color.online resource. :
Contained By:	Springer Nature eBook
Subject:	Electronic circuits. -
Online resource:	https://doi.org/10.1007/978-3-319-72814-8
ISBN:	9783319728148

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Przigoda, Nils.

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers[electronic resource] /by Nils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler. - 1st ed. 2018. - XII, 255 p. 16 illus., 5 illus. in color.online resource.

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.

ISBN: 9783319728148

Standard No.: 10.1007/978-3-319-72814-8doiSubjects--Topical Terms:

563332
Electronic circuits.

LC Class. No.: TK7888.4

Dewey Class. No.: 621.3815

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
LDR:02223nam a22003855i 4500 001 994002
003 DE-He213
005 20200629212759.0
007 cr nn 008mamaa
008 201225s2018 gw | s |||| 0|eng d
020 $a 9783319728148 $9 978-3-319-72814-8
024 7 $a 10.1007/978-3-319-72814-8 $2 doi
035 $a 978-3-319-72814-8
050 4 $a TK7888.4
072 7 $a TJFC $2 bicssc
072 7 $a TEC008010 $2 bisacsh
072 7 $a TJFC $2 thema
082 0 4 $a 621.3815 $2 23
100 1 $a Przigoda, Nils. $e author. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 1285382
245 1 0 $a Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers $h [electronic resource] / $c by Nils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler.
250 $a 1st ed. 2018.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2018.
300 $a XII, 255 p. 16 illus., 5 illus. in color. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
520 $a 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.
650 0 $a Electronic circuits. $3 563332
650 0 $a Microprocessors. $3 632481
650 0 $a Electronics. $3 596389
650 0 $a Microelectronics. $3 554956
650 1 4 $a Circuits and Systems. $3 670901
650 2 4 $a Processor Architectures. $3 669787
650 2 4 $a Electronics and Microelectronics, Instrumentation. $3 670219
700 1 $a Wille, Robert. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 891805
700 1 $a Przigoda, Judith. $e author. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 1285383
700 1 $a Drechsler, Rolf. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 670948
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783319728131
776 0 8 $i Printed edition: $z 9783319728155
776 0 8 $i Printed edition: $z 9783319892146
856 4 0 $u https://doi.org/10.1007/978-3-319-72814-8
912 $a ZDB-2-ENG
912 $a ZDB-2-SXE
950 $a Engineering (SpringerNature-11647)
950 $a Engineering (R0) (SpringerNature-43712)