LEADER 03109nam  22005655  450 
001 9910299580103321
005 20200629212759.0
010   $a3-319-72814-8
024 7 $a10.1007/978-3-319-72814-8
035   $a(CKB)4100000001794709
035   $a(DE-He213)978-3-319-72814-8
035   $a(MiAaPQ)EBC5240719
035   $a(PPN)223958298
035   $a(EXLCZ)994100000001794709
100   $a20180122d2018      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aAutomated Validation & Verification of UML/OCL Models Using Satisfiability Solvers /$fby Nils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler
205   $a1st ed. 2018.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018.
215   $a1 online resource (XII, 255 p. 16 illus., 5 illus. in color.) 
311   $a3-319-72813-X 
320   $aIncludes bibliographical references.
330   $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.
606   $aElectronic circuits
606   $aMicroprocessors
606   $aElectronics
606   $aMicroelectronics
606   $aCircuits and Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/T24068
606   $aProcessor Architectures$3https://scigraph.springernature.com/ontologies/product-market-codes/I13014
606   $aElectronics and Microelectronics, Instrumentation$3https://scigraph.springernature.com/ontologies/product-market-codes/T24027
615  0$aElectronic circuits.
615  0$aMicroprocessors.
615  0$aElectronics.
615  0$aMicroelectronics.
615 14$aCircuits and Systems.
615 24$aProcessor Architectures.
615 24$aElectronics and Microelectronics, Instrumentation.
676   $a621.3815
700   $aPrzigoda$b Nils$4aut$4http://id.loc.gov/vocabulary/relators/aut$01064418
702   $aWille$b Robert$4aut$4http://id.loc.gov/vocabulary/relators/aut
702   $aPrzigoda$b Judith$4aut$4http://id.loc.gov/vocabulary/relators/aut
702   $aDrechsler$b Rolf$4aut$4http://id.loc.gov/vocabulary/relators/aut
906   $aBOOK
912   $a9910299580103321
996   $aAutomated Validation & Verification of UML$92537895
997   $aUNINA