skip to content
Software engineering for resilient systems : 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings Preview this item
ClosePreview this item
Checking...

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

Author: Ivica Crnkovic; Elena Troubitsyna
Publisher: Switzerland : Springer, 2016.
Series: Lecture notes in computer science, 9823.; LNCS sublibrary., SL 2,, Programming and software engineering.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Summary:
This book constitutes the refereed proceedings of the 8th International Workshop on Software Engineering for Resilient Systems, SERENE 2016, held in Gothenburg, Sweden, in September 2016. The 10 papers presented were carefully reviewed and selected from 15 submissions. They cover the following areas: development of resilient systems; incremental development processes for resilient systems; requirements engineering  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Conference papers and proceedings
Congresses
Additional Physical Format: Print version:
SERENE (Workshop) (8th : 2016 : Gothenburg, Sweden).
Software engineering for resilient systems.
(OCoLC)954535795
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Ivica Crnkovic; Elena Troubitsyna
ISBN: 9783319458922 3319458922
OCLC Number: 957986770
Notes: International conference proceedings.
Includes author index.
Description: 1 online resource (ix, 149 pages) : illustrations.
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.
Series Title: Lecture notes in computer science, 9823.; LNCS sublibrary., SL 2,, Programming and software engineering.
Other Titles: SERENE 2016
Responsibility: Ivica Crnkovic, Elena Troubitsyna (eds.).

Abstract:

This book constitutes the refereed proceedings of the 8th International Workshop on Software Engineering for Resilient Systems, SERENE 2016, held in Gothenburg, Sweden, in September 2016.The 10  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/957986770> # Software engineering for resilient systems : 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings
    a schema:MediaObject, schema:CreativeWork, schema:Book ;
    library:oclcnum "957986770" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/sz> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/3749738662#Topic/computer_software_reliability> ; # Computer software--Reliability
    schema:about <http://dewey.info/class/005.1/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/3749738662#Topic/software_engineering> ; # Software engineering
    schema:alternateName "SERENE 2016" ;
    schema:bookFormat schema:EBook ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/3749738662#Meeting/serene_workshop_8th_2016_gothenburg_sweden> ; # SERENE (Workshop) (8th : 2016 : Gothenburg, Sweden)
    schema:datePublished "2016" ;
    schema:description "This book constitutes the refereed proceedings of the 8th International Workshop on Software Engineering for Resilient Systems, SERENE 2016, held in Gothenburg, Sweden, in September 2016. The 10 papers presented were carefully reviewed and selected from 15 submissions. They cover the following areas: 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."@en ;
    schema:description "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."@en ;
    schema:editor <http://experiment.worldcat.org/entity/work/data/3749738662#Person/troubitsyna_elena_elena_a_1970> ; # Elena A. Troubitsyna
    schema:editor <http://experiment.worldcat.org/entity/work/data/3749738662#Person/crnkovic_ivica> ; # Ivica Crnkovic
    schema:exampleOfWork <http://worldcat.org/entity/work/id/3749738662> ;
    schema:genre "Conference publication"@en ;
    schema:genre "Electronic books"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/3749738662#Series/lncs_sublibrary_sl_2_programming_and_software_engineering> ; # LNCS sublibrary. SL 2, Programming and software engineering
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/3749738662#Series/lncs_sublibrary> ; # LNCS sublibrary.
    schema:isSimilarTo <http://www.worldcat.org/oclc/954535795> ;
    schema:name "Software engineering for resilient systems : 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings"@en ;
    schema:productID "957986770" ;
    schema:url <http://link.springer.com/openurl?genre=book&isbn=978-3-319-45891-5> ;
    schema:url <http://dx.doi.org/10.1007/978-3-319-45892-2> ;
    schema:url <https://grinnell.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-45892-2> ;
    schema:url <https://login.libproxy.noctrl.edu/login?url=http://link.springer.com/10.1007/978-3-319-45892-2> ;
    schema:url <http://proxy.artic.edu/login?url=http://link.springer.com/10.1007/978-3-319-45892-2> ;
    schema:url <http://link.springer.com/10.1007/978-3-319-45892-2> ;
    schema:url <https://login.proxy.lib.strath.ac.uk/login?url=http://link.springer.com/10.1007/978-3-319-45892-2> ;
    schema:url <https://proxy1.library.eiu.edu/login?url=http://link.springer.com/10.1007/978-3-319-45892-2> ;
    schema:url <http://sfx.carli.illinois.edu/sfxwhe/sfx_local?genre=book&sid=Voyager:WHE&sfx.ignore_date_threshold=1&svc.fulltext=yes&rft.isbn=978-3-319-45892-2> ;
    schema:url <http://er.llcc.edu:2048/login?url=http://link.springer.com/10.1007/978-3-319-45892-2> ;
    schema:url <https://0-link-springer-com.pugwash.lib.warwick.ac.uk/book/10.1007/978-3-319-45892-2> ;
    schema:workExample <http://worldcat.org/isbn/9783319458922> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-319-45892-2> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/957986770> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/3749738662#Meeting/serene_workshop_8th_2016_gothenburg_sweden> # SERENE (Workshop) (8th : 2016 : Gothenburg, Sweden)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/3749738662#Place/gothenburg_sweden> ; # Gothenburg, Sweden)
    schema:name "SERENE (Workshop) (8th : 2016 : Gothenburg, Sweden)" ;
    .

<http://experiment.worldcat.org/entity/work/data/3749738662#Person/crnkovic_ivica> # Ivica Crnkovic
    a schema:Person ;
    schema:familyName "Crnkovic" ;
    schema:givenName "Ivica" ;
    schema:name "Ivica Crnkovic" ;
    .

<http://experiment.worldcat.org/entity/work/data/3749738662#Person/troubitsyna_elena_elena_a_1970> # Elena A. Troubitsyna
    a schema:Person ;
    schema:birthDate "1970" ;
    schema:familyName "Troubitsyna" ;
    schema:givenName "Elena A." ;
    schema:givenName "Elena" ;
    schema:name "Elena A. Troubitsyna" ;
    .

<http://experiment.worldcat.org/entity/work/data/3749738662#Place/gothenburg_sweden> # Gothenburg, Sweden)
    a schema:Place ;
    schema:name "Gothenburg, Sweden)" ;
    .

<http://experiment.worldcat.org/entity/work/data/3749738662#Series/lncs_sublibrary> # LNCS sublibrary.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/957986770> ; # Software engineering for resilient systems : 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings
    schema:name "LNCS sublibrary." ;
    .

<http://experiment.worldcat.org/entity/work/data/3749738662#Series/lncs_sublibrary_sl_2_programming_and_software_engineering> # LNCS sublibrary. SL 2, Programming and software engineering
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/957986770> ; # Software engineering for resilient systems : 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings
    schema:name "LNCS sublibrary. SL 2, Programming and software engineering" ;
    .

<http://experiment.worldcat.org/entity/work/data/3749738662#Topic/computer_software_reliability> # Computer software--Reliability
    a schema:Intangible ;
    schema:name "Computer software--Reliability"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/3749738662#Topic/software_engineering> # Software engineering
    a schema:Intangible ;
    schema:name "Software engineering"@en ;
    .

<http://link.springer.com/10.1007/978-3-319-45892-2>
    rdfs:comment "Connect to e-book" ;
    rdfs:comment "Available to Stanford-affiliated users." ;
    .

<http://worldcat.org/isbn/9783319458922>
    a schema:ProductModel ;
    schema:isbn "3319458922" ;
    schema:isbn "9783319458922" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/957986770> ; # Software engineering for resilient systems : 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings
    schema:issn "0302-9743" ;
    schema:name "Lecture notes in computer science ;" ;
    schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/oclc/954535795>
    a schema:CreativeWork ;
    rdfs:label "Software engineering for resilient systems." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/957986770> ; # Software engineering for resilient systems : 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings
    .

<http://www.worldcat.org/title/-/oclc/957986770>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/957986770> ; # Software engineering for resilient systems : 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings
    schema:dateModified "2018-01-05" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.