Computer Safety, Reliability, and Security [electronic resource] : SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings /
Material type: TextSeries: Programming and Software Engineering ; 10489Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Edition: 1st ed. 2017Description: XIV, 478 p. 138 illus. online resourceContent type:- text
- computer
- online resource
- 9783319662848
- Computer science
- Compilers (Computer programs)
- Software engineering
- Data protection
- Application software
- Computer engineering
- Computer networks
- Computer Science Logic and Foundations of Programming
- Compilers and Interpreters
- Software Engineering
- Data and Information Security
- Computer and Information Systems Applications
- Computer Engineering and Networks
- 004.0151 23
- QA75.5-76.95
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.
There are no comments on this title.