Software engineering for resilient systems : 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings /: 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings. (2016)

• Record Type: Book
• Other Titles: SERENE 2016
• Further Information: Note: Ivica Crnkovic, Elena Troubitsyna (eds.).
• Editors: Crnkovic, Ivica; Troubitsyna, Elena (Elena A.), 1970-
• Other Names: SERENE (Workshop), 8th
• Contents: Development of resilient systems -- Incremental development processes for resilient systems -- Requirements engineering and re-engineering for resilience -- Frameworks, patterns and software architectures for resilience.-Engineering of self-healing autonomic systems -- Design of trustworthy and intrusion-safe systems -- Resilience at run-time (mechanisms, reasoning and adaptation) -- Resilience and dependability (resilience vs. robustness, dependable vs. adaptive systems) -- Verification, validation and evaluation of resilience -- Modeling and model based analysis of resilience properties -- Formal and semi-formal techniques for verification and validation -- Experimental evaluations of resilient systems -- Quantitative approaches to ensuring resilience -- Resilience prediction -- Cast studies and applications.-Empirical studies in the domain of resilient systems -- Methodologies adopted in industrial contexts -- Cloud computing and resilient service provisioning.-Resilience for data-driven systems (e.g., big data-based adaption and resilience) -- Resilient cyber-physical systems and infrastructures -- Global aspects of resilience engineering: education, training and cooperation.
• Publisher Details: Switzerland : Springer
• Publication Date: 2016
• Extent: 1 online resource (ix, 149 pages), illustrations
• Subjects: 005.1; Computer science; Software engineering -- Congresses; Computer software -- Reliability -- Congresses; Computer software -- Reliability; Software engineering; Computers -- Programming -- General; Computers -- Programming Languages -- General; Computers -- Hardware -- Network Hardware; Mathematics -- Logic; Business & Economics -- Information Management; Computer programming / software development; Programming & scripting languages: general; Network hardware; Mathematical theory of computation; Information architecture; Software engineering; Logic design; Computer Communication Networks; Information Systems; Computers -- Software Development & Engineering -- General; Software Engineering; Electronic books; Conference papers and proceedings; Electronic books
• Languages: English
• ISBNs: 9783319458922; 3319458922
• Related ISBNs: 9783319458915; 3319458914
• Notes: Note: Online resource; title from PDF title page (SpringerLink, viewed September 7, 2016).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.