LEADER 03301nam  22006015  450 
001 9910299847503321
005 20200706031433.0
010   $a3-319-08699-5
024 7 $a10.1007/978-3-319-08699-6
035   $a(CKB)3710000000281167
035   $a(EBL)1965280
035   $a(OCoLC)895254755
035   $a(SSID)ssj0001386233
035   $a(PQKBManifestationID)11752472
035   $a(PQKBTitleCode)TC0001386233
035   $a(PQKBWorkID)11352061
035   $a(PQKB)10855722
035   $a(DE-He213)978-3-319-08699-6
035   $a(MiAaPQ)EBC1965280
035   $a(PPN)183087372
035   $a(EXLCZ)993710000000281167
100   $a20141112d2015      u|             0
101 0 $aeng
135   $aur|n|---|||||
181   $ctxt
182   $cc
183   $acr
200 10$aFormal Specification Level$b[electronic resource] $eConcepts, Methods, and Algorithms /$fby Mathias Soeken, Rolf Drechsler
205   $a1st ed. 2015.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2015.
215   $a1 online resource (143 p.)
300   $aDescription based upon print version of record.
311   $a3-319-08698-7 
320   $aIncludes bibliographical references and index.
327   $aIntroduction -- Background -- NLP-Assisted Model Generation -- Verification of Static Aspects -- Verification of Dynamic Aspects -- Conclusions.
330   $aThis book introduces a new level of abstraction that closes the gap between the textual specification of embedded systems and the executable model at the Electronic System Level (ESL). Readers will be enabled to operate at this new, Formal Specification Level (FSL), using models which not only allow significant verification tasks in this early stage of the design flow, but also can be extracted semi-automatically from the textual specification in an interactive manner.  The authors explain how to use these verification tasks to check conceptual properties, e.g. whether requirements are in conflict, as well as dynamic behavior, in terms of execution traces. ? Serves as a single-source reference to a new level of abstraction for embedded systems, known as the Formal Specification Level (FSL); ? Provides a variety of use cases which can be adapted to readers? specific design flows; ? Includes a comprehensive illustration of Natural Language Processing (NLP) techniques, along with examples of how to implement and apply these techniques in the design of embedded systems.
606   $aElectronic circuits
606   $aMicroprocessors
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
615  0$aElectronic circuits.
615  0$aMicroprocessors.
615 14$aCircuits and Systems.
615 24$aProcessor Architectures.
676   $a004.1
676   $a620
676   $a621.3815
700   $aSoeken$b Mathias$4aut$4http://id.loc.gov/vocabulary/relators/aut$0720581
702   $aDrechsler$b Rolf$4aut$4http://id.loc.gov/vocabulary/relators/aut
906   $aBOOK
912   $a9910299847503321
996   $aFormal Specification Level$92505846
997   $aUNINA