04424nam 22007695 450 99646625930331620210126141354.03-319-66284-810.1007/978-3-319-66284-8(CKB)4100000000587138(DE-He213)978-3-319-66284-8(MiAaPQ)EBC6298412(MiAaPQ)EBC5578604(Au-PeEL)EBL5578604(OCoLC)1003191814(PPN)204533457(EXLCZ)99410000000058713820170902d2017 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierComputer Safety, Reliability, and Security [electronic resource] SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings /edited by Stefano Tonetta, Erwin Schoitsch, Friedemann Bitsch1st ed. 2017.Cham :Springer International Publishing :Imprint: Springer,2017.1 online resource (XIV, 478 p. 138 illus.) Programming and Software Engineering ;104893-319-66283-X Assurance cases for Software-Intensive Systems.-  Dependable embedded and cyber-physical systems and systems-of-systems -- Next generation of system assurance  approaches for safety-critical systems -- Timing performance in safety engineering -- Technical and legal aspects of data privacy and security.This book constitutes the refereed proceedings of five workshops co-located with SAFECOMP 2017, the 36th International Conference on Computer Safety, Reliability, and Security, held in Trento, Italy, in September 2017. The 38 revised full papers presented together with 5 introductory papers to each workshop, and three invited papers, were carefully reviewed and selected from 49 submissions. This year's workshops are: ASSURE 2017 – Assurance Cases for Software-Intensive Systems; DECSoS 2017 – ERCIM/EWICS/ARTEMIS Dependable Embedded and Cyber-Physical Systems and Systems-of-Systems; SASSUR 2017 – Next Generation of System Assurance  Approaches for Safety-Critical Systems; TIPS 2017 – Timing Performance in Safety Engineering; TELERISE 2017 Technical and legal Aspects of Data Privacy and Security.Programming and Software Engineering ;10489Computer logicProgramming languages (Electronic computers)Software engineeringComputer securityApplication softwareComputer organizationLogics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XProgramming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Systems and Data Securityhttps://scigraph.springernature.com/ontologies/product-market-codes/I28060Computer Applicationshttps://scigraph.springernature.com/ontologies/product-market-codes/I23001Computer Systems Organization and Communication Networkshttps://scigraph.springernature.com/ontologies/product-market-codes/I13006Computer logic.Programming languages (Electronic computers).Software engineering.Computer security.Application software.Computer organization.Logics and Meanings of Programs.Programming Languages, Compilers, Interpreters.Software Engineering.Systems and Data Security.Computer Applications.Computer Systems Organization and Communication Networks.005.8Tonetta Stefanoedthttp://id.loc.gov/vocabulary/relators/edtSchoitsch Erwinedthttp://id.loc.gov/vocabulary/relators/edtBitsch Friedemannedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK996466259303316Computer Safety, Reliability, and Security2175020UNISA