000914799 000__ 03717cam\a2200541Ii\4500
000914799 001__ 914799
000914799 005__ 20230306150543.0
000914799 006__ m\\\\\o\\d\\\\\\\\
000914799 007__ cr\cn\nnnunnun
000914799 008__ 190925s2019\\\\sz\a\\\\o\\\\\101\0\eng\d
000914799 019__ $$a1121268657
000914799 020__ $$a9783030308568$$q(electronic book)
000914799 020__ $$a3030308561$$q(electronic book)
000914799 020__ $$z9783030308551
000914799 0247_ $$a10.1007/978-3-030-30856-8$$2doi
000914799 0247_ $$a10.1007/978-3-030-30
000914799 035__ $$aSP(OCoLC)on1120934877
000914799 035__ $$aSP(OCoLC)1120934877$$z(OCoLC)1121268657
000914799 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dLQU$$dUKMGB$$dEBLCP
000914799 049__ $$aISEA
000914799 050_4 $$aQA76.758
000914799 08204 $$a005.1$$223
000914799 1112_ $$aSERENE (Workshop)$$n(11th :$$d2019 :$$cNaples, Italy)
000914799 24510 $$aSoftware engineering for resilient systems :$$b11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings /$$cRadu Calinescu, Felicita Di Giandomenico (eds.).
000914799 2463_ $$aSERENE 2019
000914799 264_1 $$aCham, Switzerland :$$bSpringer,$$c2019.
000914799 300__ $$a1 online resource (x, 157 pages) :$$billustrations.
000914799 336__ $$atext$$btxt$$2rdacontent
000914799 337__ $$acomputer$$bc$$2rdamedia
000914799 338__ $$aonline resource$$bcr$$2rdacarrier
000914799 4901_ $$aLecture notes in computer science ;$$v11732
000914799 4901_ $$aLNCS sublibrary. SL 2, Programming and software engineering
000914799 500__ $$aInternational conference proceedings.
000914799 500__ $$aIncludes author index.
000914799 5050_ $$aKeynote Paper -- Ethics and Privacy in Autonomous Systems: A software exoskeleton to empower the user -- Invited Paper -- A distilled characterization of resilience and its embraced properties based on state-spaces -- Resilience Engineering in Complex and Critical Applications -- Modelling Autonomous Resilient Multi-Robotic Systems -- Reactive Middleware for Effective Requirement Change Management of Cloud-Based Global Software Development -- Fault-tolerant IoT -- a Systematic Mapping Study -- JARVIS, a hardware/software framework for resilient Industry 4.0 systems -- Testing and Validation Methods -- Toward testing self-organizations in multi-embedded-agent systems -- Towards Integrated Correctness Analysis and Performance Evaluation of Software Systems -- Security, Trust and Privacy Management -- An Energy Aware Approach to Trust Management Systems for Embedded Multi-Agents Systems -- Addressing Security Properties in Systems of Systems: Challenges and Ideas -- On the Use of Quality Models to Characterize Trustworthiness Properties.
000914799 506__ $$aAccess limited to authorized users.
000914799 520__ $$aThis book constitutes the refereed proceedings of the 11th International Workshop on Software Engineering for Resilient Systems, SERENE 2019, held in Naples, Italy, in September 2019. The 5 full papers and 4 short papers presented together with 1 keynote and 1 invited paper were carefully reviewed and selected from 12 submissions. They cover the following areas: resilience engineering in complex and critical applications; testing and validation methods; security, trust and privacy management.
000914799 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed September 25, 2019).
000914799 650_0 $$aSoftware engineering$$vCongresses.
000914799 650_0 $$aComputer software$$xReliability$$vCongresses.
000914799 7001_ $$aCalinescu, Radu C.,$$d1968-$$eeditor.
000914799 7001_ $$aDi Giandomenico, Felicita,$$d1960-$$eeditor.
000914799 830_0 $$aLecture notes in computer science ;$$v11732.
000914799 830_0 $$aLNCS sublibrary.$$nSL 2,$$pProgramming and software engineering.
000914799 852__ $$bebk
000914799 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-30856-8$$zOnline Access$$91397441.1
000914799 909CO $$ooai:library.usi.edu:914799$$pGLOBAL_SET
000914799 980__ $$aEBOOK
000914799 980__ $$aBIB
000914799 982__ $$aEbook
000914799 983__ $$aOnline
000914799 994__ $$a92$$bISE