000 03836nam a22006135i 4500
001 978-3-030-30856-8
003 DE-He213
005 20240423125053.0
007 cr nn 008mamaa
008 190903s2019 sz | s |||| 0|eng d
020 _a9783030308568
_9978-3-030-30856-8
024 7 _a10.1007/978-3-030-30856-8
_2doi
050 4 _aQA76.758
072 7 _aUMZ
_2bicssc
072 7 _aCOM051230
_2bisacsh
072 7 _aUMZ
_2thema
082 0 4 _a005.1
_223
245 1 0 _aSoftware Engineering for Resilient Systems
_h[electronic resource] :
_b11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings /
_cedited by Radu Calinescu, Felicita Di Giandomenico.
250 _a1st ed. 2019.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2019.
300 _aX, 157 p. 51 illus., 25 illus. in color.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aProgramming and Software Engineering,
_x2945-9168 ;
_v11732
505 0 _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.
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.
650 0 _aSoftware engineering.
650 0 _aComputer engineering.
650 0 _aComputer networks .
650 0 _aArtificial intelligence.
650 0 _aData protection.
650 0 _aComputers.
650 1 4 _aSoftware Engineering.
650 2 4 _aComputer Engineering and Networks.
650 2 4 _aArtificial Intelligence.
650 2 4 _aData and Information Security.
650 2 4 _aComputing Milieux.
700 1 _aCalinescu, Radu.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aDi Giandomenico, Felicita.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783030308551
776 0 8 _iPrinted edition:
_z9783030308575
830 0 _aProgramming and Software Engineering,
_x2945-9168 ;
_v11732
856 4 0 _uhttps://doi.org/10.1007/978-3-030-30856-8
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cSPRINGER
999 _c173893
_d173893