LEADER 04191nam  22007455  450 
001 9910337563003321
005 20200703172247.0
010   $a3-030-17601-0
024 7 $a10.1007/978-3-030-17601-3
035   $a(CKB)4100000007992478
035   $a(DE-He213)978-3-030-17601-3
035   $a(MiAaPQ)EBC5924433
035   $a(PPN)235668559
035   $a(EXLCZ)994100000007992478
100   $a20190413d2019      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aEngineering Trustworthy Software Systems $e4th International School, SETSS 2018, Chongqing, China, April 7?12, 2018, Tutorial Lectures /$fedited by Jonathan P. Bowen, Zhiming Liu, Zili Zhang
205   $a1st ed. 2019.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2019.
215   $a1 online resource (XVII, 237 p. 556 illus., 84 illus. in color.) 
225 1 $aProgramming and Software Engineering ;$v11430
311   $a3-030-17600-2 
327   $aAn Introduction to Software Verification with Whiley -- Learning Büchi Automata and Its Applications -- Securing Emergent IoT Applications -- Programming Z3 -- The Impact of Alan Turing: Formal Methods and Beyond. .
330   $aThis volume contains lectures on leading-edge research in methods and tools for use in computer system engineering; at the 4th International School on Engineering Trustworthy Software Systems, SETSS 2018, held in April 2018 at Southwest University in Chongqing, China. The five chapters in this volume provide an overview of research in the frontier of theories, methods, and tools for software modelling, design, and verification. The topics covered in these chapter include Software Verification with Whiley, Learning Büchi Automata and Its Applications, Security in IoT Applications, Programming in Z3, and The Impact of Alan Turing: Formal Methods and Beyond. The volume provides a useful resource for postgraduate students, researchers, academics, and engineers in industry, who are interested in theory, methods, and tools for the development of trustworthy software.
410  0$aProgramming and Software Engineering ;$v11430
606   $aSoftware engineering
606   $aComputer communication systems
606   $aAlgorithms
606   $aComputer logic
606   $aMathematical logic
606   $aArtificial intelligence
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022
606   $aAlgorithm Analysis and Problem Complexity$3https://scigraph.springernature.com/ontologies/product-market-codes/I16021
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
615  0$aSoftware engineering.
615  0$aComputer communication systems.
615  0$aAlgorithms.
615  0$aComputer logic.
615  0$aMathematical logic.
615  0$aArtificial intelligence.
615 14$aSoftware Engineering.
615 24$aComputer Communication Networks.
615 24$aAlgorithm Analysis and Problem Complexity.
615 24$aLogics and Meanings of Programs.
615 24$aMathematical Logic and Formal Languages.
615 24$aArtificial Intelligence.
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   $a9910337563003321
996   $aEngineering Trustworthy Software Systems$91889268
997   $aUNINA