skip to content
Software engineering for resilient systems : 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings Preview this item
ClosePreview this item
Checking...

Software engineering for resilient systems : 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings

Author: Paris Avgeriou
Publisher: Berlin ; New York : Springer, ©2012.
Series: Lecture notes in computer science, 7527.; 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 Fourth International Workshop on Software Engineering for Resilient Systems, SERENE 2012, held in Pisa, Italy, in September 2012. The 12 revised full papers were carefully reviewed and selected from numerous submissions. The papers address all aspects of fault tolerance and exception handling, safety modeling, supporting evolution, resilience in service-oriented  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) (4th : 2012 : Pisa, Italy).
Software engineering for resilient systems.
Berlin ; New York : Springer, ©2012
(DLC) 2012945542
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Paris Avgeriou
ISBN: 9783642331763 3642331769 3642331750 9783642331756
OCLC Number: 811249954
Description: 1 online resource.
Contents: Implementing Reusable Exception Handling Patterns with Compile-Time Metaprogramming / Yannis Lilis and Anthony Savidis --
A Case Study in Formal Development of a Fault Tolerant Multi-robotic System / Inna Pereverzeva, Elena Troubitsyna and Linas Laibinis --
Fault-Tolerant Interactive Cockpits for Critical Applications: Overall Approach / Camille Fayollas, Jean-Charles Fabre, David Navarre, Philippe Palanque and Yannick Deleris --
Linking Modelling in Event-B with Safety Cases / Yuliya Prokhorova and Elena Troubitsyna --
Safety Lifecycle Development Process Modeling for Embedded Systems --
Example of Railway Domain / Brahim Hamid, Jacob Geisel, Adel Ziani and David Gonzalez --
Language Enrichment for Resilient MDE / Yasir Imtiaz Khan and Matteo Risoldi --
Assume-Guarantee Testing of Evolving Software Product Line Architectures / Maurice H. ter Beek, Henry Muccini and Patrizio Pelliccione --
FAS: Introducing a Service for Avoiding Faults in Composite Services / Koray Gülcü, Hasan Sözer and Barış Aktemur --
Dependability of Service-Oriented Computing: Time-Probabilistic Failure Modelling / Anatoliy Gorbenko, Alexander Romanovsky, Vyacheslav Kharchenko and Olga Tarasyuk --
Monitoring Service Choreographies from Multiple Sources / Amira Ben Hamida, Antonia Bertolino, Antonello Calabrò, Guglielmo De Angelis and Nelson Lago, et al. --
Supporting Field Investigators with PVS: A Case Study in the Healthcare Domain / Paolo Masci, Dominic Furniss, Paul Curzon, Michael D. Harrison and Ann Blandford --
Model-Based Evaluation of the Availability of a CBTC System / Alessio Ferrari, Massimiliano L. Itria, Silvano Chiaradonna and Giorgio O. Spagnolo.
Series Title: Lecture notes in computer science, 7527.; LNCS sublibrary., SL 2,, Programming and software engineering.
Other Titles: SERENE 2012
Responsibility: Paris Avgeriou (ed.).

Abstract:

This book constitutes the refereed proceedings of the Fourth International Workshop on Software Engineering for Resilient Systems, SERENE 2012, held in Pisa, Italy, in September 2012.  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/811249954> # Software engineering for resilient systems : 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings
    a schema:MediaObject, schema:Book, schema:CreativeWork ;
    library:oclcnum "811249954" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1170735927#Place/berlin> ; # Berlin
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    schema:about <http://experiment.worldcat.org/entity/work/data/1170735927#Thing/operating_systems_computers> ; # Operating systems (Computers)
    schema:about <http://experiment.worldcat.org/entity/work/data/1170735927#Topic/computer_software_reliability> ; # Computer software--Reliability
    schema:about <http://experiment.worldcat.org/entity/work/data/1170735927#Thing/computer_communication_networks> ; # Computer Communication Networks.
    schema:about <http://id.worldcat.org/fast/872585> ; # Computer software--Reliability
    schema:about <http://id.worldcat.org/fast/1124185> ; # Software engineering
    schema:about <http://experiment.worldcat.org/entity/work/data/1170735927#Topic/software_engineering> ; # Software engineering
    schema:about <http://dewey.info/class/005.1/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/1170735927#Topic/informatique> ; # Informatique
    schema:about <http://experiment.worldcat.org/entity/work/data/1170735927#Thing/computer_science> ; # Computer science.
    schema:about <http://experiment.worldcat.org/entity/work/data/1170735927#Thing/information_systems_applications_incl_internet> ; # Information Systems Applications (incl. Internet)
    schema:alternateName "SERENE 2012" ;
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/170353065> ; # Paris Avgeriou
    schema:copyrightYear "2012" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/1170735927#Meeting/serene_workshop_4th_2012_pisa_italy> ; # SERENE (Workshop) (4th : 2012 : Pisa, Italy)
    schema:datePublished "2012" ;
    schema:description "This book constitutes the refereed proceedings of the Fourth International Workshop on Software Engineering for Resilient Systems, SERENE 2012, held in Pisa, Italy, in September 2012. The 12 revised full papers were carefully reviewed and selected from numerous submissions. The papers address all aspects of fault tolerance and exception handling, safety modeling, supporting evolution, resilience in service-oriented computing, and applying formal methods in case studies."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1170735927> ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Electronic books"@en ;
    schema:genre "Conference publication"@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/1170735927#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/1170735927#Series/lncs_sublibrary> ; # LNCS sublibrary.
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1170735927#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:isSimilarTo <http://worldcat.org/entity/work/data/1170735927#CreativeWork/software_engineering_for_resilient_systems> ;
    schema:name "Software engineering for resilient systems : 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings"@en ;
    schema:productID "811249954" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/811249954#PublicationEvent/berlin_new_york_springer_2012> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/1170735927#Agent/springer> ; # Springer
    schema:url <http://link.springer.com/openurl?genre=book&isbn=978-3-642-33175-6> ;
    schema:url <http://proxy.library.carleton.ca/login?url=http://books.scholarsportal.info/viewdoc.html?id=/ebooks/ebooks2/springer/2012-10-30/1/9783642331763> ;
    schema:url <https://login.libproxy.uregina.ca:8443/login?url=http://link.springer.com/openurl?genre=book&isbn=978-3-642-33175-6> ;
    schema:url <https://grinnell.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-642-33176-3> ;
    schema:url <https://link.springer.com/openurl?genre=book&isbn=978-3-642-33175-6> ;
    schema:url <http://dx.doi.org/10.1007/978-3-642-33176-3> ;
    schema:url <http://proxy.library.carleton.ca/login?url=http://dx.doi.org/10.1007/978-3-642-33176-3> ;
    schema:url <http://gate.lib.buffalo.edu/login?url=https://link.springer.com/book/10.1007/978-3-642-33176-3> ;
    schema:url <https://login.libproxy.uregina.ca:8443/login?url=https://link.springer.com/openurl?genre=book&isbn=978-3-642-33175-6> ;
    schema:url <http://site.ebrary.com/id/10656747> ;
    schema:workExample <http://worldcat.org/isbn/9783642331756> ;
    schema:workExample <http://worldcat.org/isbn/9783642331763> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/811249954> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
    schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/1170735927#Meeting/serene_workshop_4th_2012_pisa_italy> # SERENE (Workshop) (4th : 2012 : Pisa, Italy)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/1170735927#Place/pisa_italy> ; # Pisa, Italy)
    schema:name "SERENE (Workshop) (4th : 2012 : Pisa, Italy)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1170735927#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/811249954> ; # Software engineering for resilient systems : 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/1170735927#Series/lncs_sublibrary> # LNCS sublibrary.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/811249954> ; # Software engineering for resilient systems : 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings
    schema:name "LNCS sublibrary." ;
    .

<http://experiment.worldcat.org/entity/work/data/1170735927#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/811249954> ; # Software engineering for resilient systems : 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings
    schema:name "LNCS sublibrary. SL 2, Programming and software engineering" ;
    .

<http://experiment.worldcat.org/entity/work/data/1170735927#Thing/computer_communication_networks> # Computer Communication Networks.
    a schema:Thing ;
    schema:name "Computer Communication Networks." ;
    .

<http://experiment.worldcat.org/entity/work/data/1170735927#Thing/computer_science> # Computer science.
    a schema:Thing ;
    schema:name "Computer science." ;
    .

<http://experiment.worldcat.org/entity/work/data/1170735927#Thing/information_systems_applications_incl_internet> # Information Systems Applications (incl. Internet)
    a schema:Thing ;
    schema:name "Information Systems Applications (incl. Internet)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1170735927#Thing/operating_systems_computers> # Operating systems (Computers)
    a schema:Thing ;
    schema:name "Operating systems (Computers)" ;
    .

<http://id.worldcat.org/fast/1124185> # Software engineering
    a schema:Intangible ;
    schema:name "Software engineering"@en ;
    .

<http://id.worldcat.org/fast/872585> # Computer software--Reliability
    a schema:Intangible ;
    schema:name "Computer software--Reliability"@en ;
    .

<http://viaf.org/viaf/170353065> # Paris Avgeriou
    a schema:Person ;
    schema:familyName "Avgeriou" ;
    schema:givenName "Paris" ;
    schema:name "Paris Avgeriou" ;
    .

<http://worldcat.org/entity/work/data/1170735927#CreativeWork/software_engineering_for_resilient_systems>
    a schema:CreativeWork ;
    rdfs:label "Software engineering for resilient systems." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/811249954> ; # Software engineering for resilient systems : 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings
    .

<http://worldcat.org/isbn/9783642331756>
    a schema:ProductModel ;
    schema:isbn "3642331750" ;
    schema:isbn "9783642331756" ;
    .

<http://worldcat.org/isbn/9783642331763>
    a schema:ProductModel ;
    schema:isbn "3642331769" ;
    schema:isbn "9783642331763" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science,
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/811249954> ; # Software engineering for resilient systems : 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings
    schema:issn "0302-9743" ;
    schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/title/-/oclc/811249954>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/811249954> ; # Software engineering for resilient systems : 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings
    schema:dateModified "2018-07-13" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .

<https://login.libproxy.uregina.ca:8443/login?url=http://link.springer.com/openurl?genre=book&isbn=978-3-642-33175-6>
    rdfs:comment "Full text available from SpringerLINK Lecture Notes in Computer Science" ;
    .

<https://login.libproxy.uregina.ca:8443/login?url=https://link.springer.com/openurl?genre=book&isbn=978-3-642-33175-6>
    rdfs:comment "Full text available from SpringerLINK eBooks - English/International Collection (2012)" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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