LEADER 04482nam  22007695  450 
001 9910413437403321
005 20200801130334.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(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 ;$v12154
311   $a3-030-55088-5 
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 ;$v12154
606   $aSoftware engineering
606   $aComputer communication systems
606   $aArtificial intelligence
606   $aComputer programming
606   $aArchitecture, Computer
606   $aNatural language processing (Computer science)
606   $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002
606   $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
606   $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010
606   $aComputer System Implementation$3https://scigraph.springernature.com/ontologies/product-market-codes/I13057
606   $aNatural Language Processing (NLP)$3https://scigraph.springernature.com/ontologies/product-market-codes/I21040
615  0$aSoftware engineering.
615  0$aComputer communication systems.
615  0$aArtificial intelligence.
615  0$aComputer programming.
615  0$aArchitecture, Computer.
615  0$aNatural language processing (Computer science).
615 14$aSoftware Engineering/Programming and Operating Systems.
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
676   $a005.1
702   $aBowen$b Jonathan P$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aLiu$b Zhiming$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aZhang$b Zili$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910413437403321
996   $aEngineering Trustworthy Software Systems$91889268
997   $aUNINA