skip to content
Formal methods for eternal networked software systems : 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011, Advanced lectures Preview this item
ClosePreview this item
Checking...

Formal methods for eternal networked software systems : 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011, Advanced lectures

Author: Marco Bernardo; Valérie Issarny
Publisher: Berlin ; Heidelberg ; New York : Springer, ©2011.
Series: Lecture notes in computer science, 6659.; Lecture notes in computer science., Tutorial.; LNCS sublibrary., SL 2,, Programming and software engineering.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Database:WorldCat
Summary:
This book presents 15 tutorial lectures by leading researchers given at the 11th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, held in Bertinoro, Italy, in June 2011. SFM 2011 was devoted to formal methods for eternal networked software systems and covered several topics including formal foundations for the inter-operability of  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:
Formal Methods for Eternal Networked Software Systems.
Springer-Verlag New York Inc 2011
(DLC) 2011928397
(OCoLC)731919791
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Marco Bernardo; Valérie Issarny
ISBN: 9783642214554 364221455X
OCLC Number: 745002699
Description: 1 online resource (viii, 526 pages).
Contents: Interoperability in Complex Distributed Systems.-The CONNECT Architecture.-Automated Verification Techniques for Probabilistic Systems.-Modeling and Verification of Components and Connectors.-Application-Layer Connector Synthesis.-Context Synthesis.-Middleware-Layer Connector Synthesis: Beyond State of the Art in Middleware Interoperability.-Introduction to Active Automata Learning from a Practical Perspective.-Model-Based Testing and Some Steps Towards Test-Based Modeling.-Learning of Automata Models Extended with Data Dependability and Performance Assessment of Dynamic CONNECTed Systems.-Security and Trust.-Modeling Spatial and Temporal Variability with the HATS Abstract.-Behavioral Modeling Language.-Kernel-Based Machines for Abstract and Easy Modeling of Automatic Learning.-Modeling Secure Systems Evolution: Abstract and Concrete Change Specifications.
Series Title: Lecture notes in computer science, 6659.; Lecture notes in computer science., Tutorial.; LNCS sublibrary., SL 2,, Programming and software engineering.
Other Titles: SFM 2011
Responsibility: Marco Bernardo, Valérie Issarny (eds.).

Abstract:

Based on lectures delivered at the 11th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, this volume explores formal  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/745002699> # Formal methods for eternal networked software systems : 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011, Advanced lectures
    a schema:MediaObject, schema:CreativeWork, schema:Book ;
    library:oclcnum "745002699" ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/958979846#Place/berlin> ; # Berlin
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/958979846#Place/heidelberg> ; # Heidelberg
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://id.worldcat.org/fast/932926> ; # Formal methods (Computer science)
    schema:about <http://experiment.worldcat.org/entity/work/data/958979846#Topic/informatique> ; # Informatique
    schema:about <http://id.worldcat.org/fast/872297> ; # Computer networks
    schema:about <http://dewey.info/class/004.0151/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/958979846#Topic/computer_networks> ; # Computer networks
    schema:alternateName "SFM 2011" ;
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/81080740> ; # Valérie Issarny
    schema:contributor <http://viaf.org/viaf/80511140> ; # Marco Bernardo
    schema:copyrightYear "2011" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/958979846#Meeting/international_school_on_formal_methods_for_the_design_of_computer_communication_and_software_systems_11th_2011_bertinoro_italy> ; # International School on Formal Methods for the Design of Computer, Communication, and Software Systems (11th : 2011 : Bertinoro, Italy)
    schema:datePublished "2011" ;
    schema:description "This book presents 15 tutorial lectures by leading researchers given at the 11th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, held in Bertinoro, Italy, in June 2011. SFM 2011 was devoted to formal methods for eternal networked software systems and covered several topics including formal foundations for the inter-operability of software systems, application-layer and middleware-layer dynamic connector synthesis, interaction behavior monitoring and learning, and quality assurance of connected systems. The school was held in collaboration with the researchers of the EU-funded projects CONNECT and ETERNALS. The papers are organized into six parts: (i) architecture and interoperability, (ii) formal foundations for connectors, (iii) connector synthesis, (iv) learning and monitoring, (v) dependability assurance, and (vi) trustworthy eternal systems via evolving software."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/958979846> ;
    schema:genre "Conference publication"@en ;
    schema:genre "Electronic books"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/958979846#Series/tutorial> ; # Tutorial
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/958979846#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science.
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/958979846#Series/lncs_sublibrary> ; # LNCS sublibrary.
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/958979846#Series/lncs_sublibrary_sl_2_programming_and_software_engineering> ; # LNCS sublibrary. SL 2, Programming and software engineering
    schema:isSimilarTo <http://www.worldcat.org/oclc/731919791> ;
    schema:name "Formal methods for eternal networked software systems : 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011, Advanced lectures"@en ;
    schema:productID "745002699" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/745002699#PublicationEvent/berlin_heidelberg_new_york_springer_2011> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/958979846#Agent/springer> ; # Springer
    schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=3066831> ;
    schema:url <http://dx.doi.org/10.1007/978-3-642-21455-4> ;
    schema:url <http://site.ebrary.com/id/10479077> ;
    schema:workExample <http://worldcat.org/isbn/9783642214554> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/745002699> ;
    .


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/958979846#Meeting/international_school_on_formal_methods_for_the_design_of_computer_communication_and_software_systems_11th_2011_bertinoro_italy> # International School on Formal Methods for the Design of Computer, Communication, and Software Systems (11th : 2011 : Bertinoro, Italy)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/958979846#Place/bertinoro_italy> ; # Bertinoro, Italy)
    schema:name "International School on Formal Methods for the Design of Computer, Communication, and Software Systems (11th : 2011 : Bertinoro, Italy)" ;
    .

<http://experiment.worldcat.org/entity/work/data/958979846#Place/bertinoro_italy> # Bertinoro, Italy)
    a schema:Place ;
    schema:name "Bertinoro, Italy)" ;
    .

<http://experiment.worldcat.org/entity/work/data/958979846#Series/lecture_notes_in_computer_science> # Lecture notes in computer science.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/745002699> ; # Formal methods for eternal networked software systems : 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011, Advanced lectures
    schema:name "Lecture notes in computer science." ;
    .

<http://experiment.worldcat.org/entity/work/data/958979846#Series/lncs_sublibrary> # LNCS sublibrary.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/745002699> ; # Formal methods for eternal networked software systems : 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011, Advanced lectures
    schema:name "LNCS sublibrary." ;
    .

<http://experiment.worldcat.org/entity/work/data/958979846#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/745002699> ; # Formal methods for eternal networked software systems : 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011, Advanced lectures
    schema:name "LNCS sublibrary. SL 2, Programming and software engineering" ;
    .

<http://experiment.worldcat.org/entity/work/data/958979846#Series/tutorial> # Tutorial
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/745002699> ; # Formal methods for eternal networked software systems : 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011, Advanced lectures
    schema:name "Tutorial" ;
    .

<http://id.worldcat.org/fast/872297> # Computer networks
    a schema:Intangible ;
    schema:name "Computer networks"@en ;
    .

<http://id.worldcat.org/fast/932926> # Formal methods (Computer science)
    a schema:Intangible ;
    schema:name "Formal methods (Computer science)"@en ;
    .

<http://viaf.org/viaf/80511140> # Marco Bernardo
    a schema:Person ;
    schema:familyName "Bernardo" ;
    schema:givenName "Marco" ;
    schema:name "Marco Bernardo" ;
    .

<http://viaf.org/viaf/81080740> # Valérie Issarny
    a schema:Person ;
    schema:familyName "Issarny" ;
    schema:givenName "Valérie" ;
    schema:name "Valérie Issarny" ;
    .

<http://worldcat.org/isbn/9783642214554>
    a schema:ProductModel ;
    schema:isbn "364221455X" ;
    schema:isbn "9783642214554" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/745002699> ; # Formal methods for eternal networked software systems : 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011, Advanced lectures
    schema:issn "0302-9743" ;
    schema:name "Lecture notes in computer science ;" ;
    schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/oclc/731919791>
    a schema:CreativeWork ;
    rdfs:label "Formal Methods for Eternal Networked Software Systems." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/745002699> ; # Formal methods for eternal networked software systems : 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011, Advanced lectures
    .

<http://www.worldcat.org/title/-/oclc/745002699>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/745002699> ; # Formal methods for eternal networked software systems : 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011, Advanced lectures
    schema:dateModified "2016-11-10" ;
    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.