LEADER 04224nam 22007815 450 001 996466000803316 005 20200630033213.0 010 $a3-319-29628-0 024 7 $a10.1007/978-3-319-29628-9 035 $a(CKB)3780000000096469 035 $a(SSID)ssj0001658065 035 $a(PQKBManifestationID)16441066 035 $a(PQKBTitleCode)TC0001658065 035 $a(PQKBWorkID)14989192 035 $a(PQKB)10864456 035 $a(DE-He213)978-3-319-29628-9 035 $a(MiAaPQ)EBC6298626 035 $a(MiAaPQ)EBC5587194 035 $a(Au-PeEL)EBL5587194 035 $a(OCoLC)942000206 035 $a(PPN)192221671 035 $a(EXLCZ)993780000000096469 100 $a20160229d2016 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aEngineering Trustworthy Software Systems$b[electronic resource] $eFirst International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures /$fedited by Zhiming Liu, Zili Zhang 205 $a1st ed. 2016. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2016. 215 $a1 online resource (XI, 325 p. 141 illus. in color.) 225 1 $aProgramming and Software Engineering ;$v9506 300 $aIncludes index. 311 $a3-319-29627-2 327 $a(In-)formal methods: The Lost Art -- Program refinement, perfect secrecy and information flow -- The Z Notation: Whence the Cause and Whither the Course? -- Model-Driven Design of Object and Component Systems -- Cyber-Physical Systems Engineering -- Combining Formal and Informal Methods in the Design of Spacecrafts. 330 $aThe courses of SETSS 2014 aim to improve the understanding of the relation between theory and practice in software engineering, to contribute to narrowing the gap between them. This volume contains the lecture notes of the five courses and materials of one seminar. The common themes of the courses include the design and use of theories, techniques and tools for software specification and modeling, analysis and verification. The courses cover sequential programming, component- and object software, hybrid systems and cyber-physical systems with challenges of termination, security, safety, security, fault-tolerance and real-time requirements. The techniques include model checking, correctness by construction through refinement and model transformations, synthesis and computer algebra. 410 0$aProgramming and Software Engineering ;$v9506 606 $aSoftware engineering 606 $aComputer logic 606 $aProgramming languages (Electronic computers) 606 $aComputer simulation 606 $aSpecial purpose computers 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aSimulation and Modeling$3https://scigraph.springernature.com/ontologies/product-market-codes/I19000 606 $aSpecial Purpose and Application-Based Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I13030 615 0$aSoftware engineering. 615 0$aComputer logic. 615 0$aProgramming languages (Electronic computers). 615 0$aComputer simulation. 615 0$aSpecial purpose computers. 615 14$aSoftware Engineering. 615 24$aLogics and Meanings of Programs. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aSimulation and Modeling. 615 24$aSpecial Purpose and Application-Based Systems. 676 $a005.1 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 $a996466000803316 996 $aEngineering Trustworthy Software Systems$91889268 997 $aUNISA