Software engineering for resilient systems : 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings /: 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings. (2015)

• Record Type: Book
• Other Titles: SERENE 2015
• Further Information: Note: Alessandro Fantechi, Patrizio Pelliccione (eds.).
• Editors: Fantechi, Alessandro; Pelliccione, P (Patrizio)
• Other Names: SERENE (Workshop), 7th
• Contents: Biological Immunity and Software Resilience: two faces of the same coin? -- Towards Dynamic Software Diversity for Resilient Redundant Embedded Systems: A decomposition method for the verification of a real-time safety-critical protocol -- Considering execution environment resilience: A white-box approach: Engineering Cross-Layer Fault Tolerance in Many-Core Systems -- Risk assessment based cloudification -- Stochastic Model-Based Analysis of Energy Consumption in a Rail Road Switch Heating System -- Bidirectional Crosslinking of System and Software Modeling in the Automotive Domain -- Tejo: a supervised anomaly detection scheme for NewSQL databases -- Resiliency Variance in Workows with Choice.
• Publisher Details: Cham : Springer
• Publication Date: 2015
• Extent: 1 online resource (ix, 145 pages), illustrations
• Subjects: 005.1; Computer science; Software engineering -- Congresses; Computer software -- Reliability -- Congresses; Computer software -- Reliability; Software engineering; Computer Science; Engineering & Applied Sciences; Computer Science; Software Engineering; Computer Communication Networks; Information Systems Applications (incl. Internet); Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs; Management of Computing and Information Systems; Computers -- Hardware -- Network Hardware; Computers -- Information Technology; Computers -- Programming Languages -- General; Computers -- Programming -- General; Business & Economics -- Information Management; Network hardware; Information retrieval; Programming & scripting languages: general; Computer programming / software development; Information architecture; Software engineering; Computer Communication Networks; Logic design; Information Systems; Computers -- Software Development & Engineering -- General; Software Engineering; Electronic books; Conference papers and proceedings; Electronic books
• Languages: English
• ISBNs: 9783319231297; 3319231294
• Related ISBNs: 9783319231280; 3319231286
• Notes: Note: Online resource; title from PDF title page (SpringerLink, viewed September 3, 2015).
• 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.