LEADER 03935nam  22007935  450 
001 9910413437403321
005 20251113184313.0
010   $a3-030-55089-3
024 7 $a10.1007/978-3-030-55089-9
035   $a(CKB)4100000011363684
035   $a(DE-He213)978-3-030-55089-9
035   $a(MiAaPQ)EBC6274786
035   $a(Au-PeEL)EBL6274786
035   $a(OCoLC)1182869233
035   $a(PPN)255404247
035   $a(MiAaPQ)EBC30797308
035   $a(Au-PeEL)EBL30797308
035   $a(EXLCZ)994100000011363684
100   $a20200731d2020      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aEngineering Trustworthy Software Systems $e5th International School, SETSS 2019, Chongqing, China, April 21?27, 2019, Tutorial Lectures /$fedited by Jonathan P. Bowen, Zhiming Liu, Zili Zhang
205   $a1st ed. 2020.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2020.
215   $a1 online resource (XVII, 221 p. 32 illus.) 
225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v12154
311 08$a3-030-55088-5 
320   $aIncludes bibliographical references and index.
327   $aSeamless Model-based System Development: Foundations -- From Bounded Reachability Analysis of Linear Hybrid Automata to Verification of Industrial CPS and IoT -- Weakest Preexpectation Semantics for Bayesian Inference: Conditioning, Continuous Distributions and Divergence -- K - A Semantic Framework for Programming Languages and Formal Analysis Tools -- Software Abstractions and Human-Cyber-Physical Systems Architecture Modelling.
330   $aThis book constitutes the refereed proceedings of the 5th International School on Engineering Trustworthy Software Systems, SETSS 2019, held in Chongqing, China, in April 2019. The five chapters in this volume provide lectures on leading-edge research in methods and tools for use in computer system engineering. The topics covered in these chapters include Seamless Model-based System Development: Foundations; From Bounded Reachability Analysis of Linear Hybrid Automata to Verification of Industrial CPS and IoT; Weakest Preexpectation Semantics for Bayesian Inference: Conditioning, Continuous Distributions and Divergence; K ? A Semantic Framework for Programming Languages and Formal Analysis Tools; and Software Abstractions and Human-Cyber-Physical Systems Architecture Modelling.
410  0$aProgramming and Software Engineering,$x2945-9168 ;$v12154
606   $aSoftware engineering
606   $aComputer networks
606   $aArtificial intelligence
606   $aComputer programming
606   $aComputer systems
606   $aNatural language processing (Computer science)
606   $aSoftware Engineering
606   $aComputer Communication Networks
606   $aArtificial Intelligence
606   $aProgramming Techniques
606   $aComputer System Implementation
606   $aNatural Language Processing (NLP)
615  0$aSoftware engineering.
615  0$aComputer networks.
615  0$aArtificial intelligence.
615  0$aComputer programming.
615  0$aComputer systems.
615  0$aNatural language processing (Computer science).
615 14$aSoftware Engineering.
615 24$aComputer Communication Networks.
615 24$aArtificial Intelligence.
615 24$aProgramming Techniques.
615 24$aComputer System Implementation.
615 24$aNatural Language Processing (NLP).
676   $a005.1
702   $aBowen$b Jonathan P.
702   $aLiu$b Zhiming
702   $aZhang$b Zili$c(Senior lecturer),
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910413437403321
996   $aEngineering Trustworthy Software Systems$91889268
997   $aUNINA