000 03053nam a22005535i 4500
001 978-3-319-72814-8
003 DE-He213
005 20220801220802.0
007 cr nn 008mamaa
008 180122s2018 sz | s |||| 0|eng d
020 _a9783319728148
_9978-3-319-72814-8
024 7 _a10.1007/978-3-319-72814-8
_2doi
050 4 _aTK7867-7867.5
072 7 _aTJFC
_2bicssc
072 7 _aTEC008010
_2bisacsh
072 7 _aTJFC
_2thema
082 0 4 _a621.3815
_223
100 1 _aPrzigoda, Nils.
_eauthor.
_4aut
_4http://id.loc.gov/vocabulary/relators/aut
_952337
245 1 0 _aAutomated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
_h[electronic resource] /
_cby Nils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler.
250 _a1st ed. 2018.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2018.
300 _aXII, 255 p. 16 illus., 5 illus. in color.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
520 _aThis 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 _aElectronic circuits.
_919581
650 0 _aMicroprocessors.
_952338
650 0 _aComputer architecture.
_93513
650 0 _aElectronics.
_93425
650 1 4 _aElectronic Circuits and Systems.
_952339
650 2 4 _aProcessor Architectures.
_952340
650 2 4 _aElectronics and Microelectronics, Instrumentation.
_932249
700 1 _aWille, Robert.
_eauthor.
_4aut
_4http://id.loc.gov/vocabulary/relators/aut
_952341
700 1 _aPrzigoda, Judith.
_eauthor.
_4aut
_4http://id.loc.gov/vocabulary/relators/aut
_952342
700 1 _aDrechsler, Rolf.
_eauthor.
_4aut
_4http://id.loc.gov/vocabulary/relators/aut
_91810
710 2 _aSpringerLink (Online service)
_952343
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783319728131
776 0 8 _iPrinted edition:
_z9783319728155
776 0 8 _iPrinted edition:
_z9783319892146
856 4 0 _uhttps://doi.org/10.1007/978-3-319-72814-8
912 _aZDB-2-ENG
912 _aZDB-2-SXE
942 _cEBK
999 _c78935
_d78935