skip to content
Engineering trustworthy software systems : third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial lectures Preview this item
ClosePreview this item
Checking...

Engineering trustworthy software systems : third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial lectures

Author: J P Bowen; Zhiming Liu; Zili Zhang, (Senior lecturer)
Publisher: Cham, Switzerland : Springer, 2018.
Series: Lecture notes in computer science, 11174.; LNCS sublibrary., SL 2,, Programming and software engineering.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Summary:
This volume contains a record of some of the lectures and seminars delivered at the Third International School on Engineering Trustworthy Software Systems (SETSS 2017), held in April 2017 at Southwest University in Chongqing, China. The six contributions included in this volume provide an overview of leading-edge research in methods and tools for use in computer system engineering. They have been distilled from six  Read more...
Rating:

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

Subjects
More like this

Find a copy online

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: Printed edition:
Printed edition:
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: J P Bowen; Zhiming Liu; Zili Zhang, (Senior lecturer)
ISBN: 9783030029289 303002928X
OCLC Number: 1076484775
Notes: Includes author index.
Description: 1 online resource (xvii, 219 pages) : illustrations (some color)
Contents: A Guide to Rely/Guarantee Thinking --
An Illustrated Guide to the Model Theory of Supertype Abstraction and Behavioral Subtyping --
Formalizing Hoare Logic in PVS --
Modeling Concurrency in Dafny --
Software Is Not Soft: Challenges and Approaches to Dynamic Software Update --
Challenges for Formal Semantic Description: Responses from the Main Approaches.
Series Title: Lecture notes in computer science, 11174.; LNCS sublibrary., SL 2,, Programming and software engineering.
Other Titles: SETSS 2017
Responsibility: Jonathan P. Bowen, Zhiming Liu, Zili Zhang (eds.).

Abstract:

This volume contains a record of some of the lectures and seminars delivered at the Third International School on Engineering Trustworthy Software Systems (SETSS 2017), held in April 2017 at Southwest University in Chongqing, China. The six contributions included in this volume provide an overview of leading-edge research in methods and tools for use in computer system engineering. They have been distilled from six original courses delivered at the school on topics such as: rely/guarantee thinking; Hoare-style specification and verification of object-oriented programs with JML; logic, specification, verification, and interactive proof; software model checking with Automizer; writing programs and proofs; engineering self-adaptive software-intensive systems; and with an additional contribution on the challenges for formal semantic description. The material is useful for postgraduate students, researchers, academics, and industrial engineers, who are interested in the theory and practice of methods and tools for the design and programming of trustworthy software systems.

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/1076484775> # Engineering trustworthy software systems : third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial lectures
    a schema:Book, schema:MediaObject, schema:CreativeWork ;
    library:oclcnum "1076484775" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/sz> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/4183229624#Topic/computers_programming_general> ; # Computers--Programming--General
    schema:about <http://experiment.worldcat.org/entity/work/data/4183229624#Topic/systems_analysis_&_design> ; # Systems analysis & design
    schema:about <http://dewey.info/class/005.1/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/4183229624#Topic/software_engineering> ; # Software Engineering
    schema:about <http://experiment.worldcat.org/entity/work/data/4183229624#Topic/computers_programming_languages_general> ; # Computers--Programming Languages--General
    schema:about <http://experiment.worldcat.org/entity/work/data/4183229624#Topic/computer_programming_software_development> ; # Computer programming--software development
    schema:about <http://experiment.worldcat.org/entity/work/data/4183229624#Topic/computers_software_development_&_engineering_general> ; # Computers--Software Development & Engineering--General
    schema:about <http://experiment.worldcat.org/entity/work/data/4183229624#Topic/computers_general> ; # Computers--General
    schema:about <http://experiment.worldcat.org/entity/work/data/4183229624#Topic/information_technology_general_issues> ; # Information technology: general issues
    schema:about <http://experiment.worldcat.org/entity/work/data/4183229624#Topic/programming_&_scripting_languages_general> ; # Programming & scripting languages: general
    schema:about <http://experiment.worldcat.org/entity/work/data/4183229624#Topic/computer_security> ; # Computer security
    schema:about <http://experiment.worldcat.org/entity/work/data/4183229624#Topic/computer_software> ; # Computer software
    schema:about <http://experiment.worldcat.org/entity/work/data/4183229624#Topic/computers_hardware_handheld_devices> ; # Computers--Hardware--Handheld Devices
    schema:alternateName "SETSS 2017" ;
    schema:bookFormat schema:EBook ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/4183229624#Meeting/setss_international_school_3rd_2017_chongqing_china> ; # SETSS (International school) (3rd : 2017 : Chongqing, China)
    schema:datePublished "2018" ;
    schema:description "A Guide to Rely/Guarantee Thinking -- An Illustrated Guide to the Model Theory of Supertype Abstraction and Behavioral Subtyping -- Formalizing Hoare Logic in PVS -- Modeling Concurrency in Dafny -- Software Is Not Soft: Challenges and Approaches to Dynamic Software Update -- Challenges for Formal Semantic Description: Responses from the Main Approaches."@en ;
    schema:description "This volume contains a record of some of the lectures and seminars delivered at the Third International School on Engineering Trustworthy Software Systems (SETSS 2017), held in April 2017 at Southwest University in Chongqing, China. The six contributions included in this volume provide an overview of leading-edge research in methods and tools for use in computer system engineering. They have been distilled from six original courses delivered at the school on topics such as: rely/guarantee thinking; Hoare-style specification and verification of object-oriented programs with JML; logic, specification, verification, and interactive proof; software model checking with Automizer; writing programs and proofs; engineering self-adaptive software-intensive systems; and with an additional contribution on the challenges for formal semantic description. The material is useful for postgraduate students, researchers, academics, and industrial engineers, who are interested in the theory and practice of methods and tools for the design and programming of trustworthy software systems."@en ;
    schema:editor <http://experiment.worldcat.org/entity/work/data/4183229624#Person/zhang_zili_senior_lecturer> ; # (Senior lecturer) Zili Zhang
    schema:editor <http://experiment.worldcat.org/entity/work/data/4183229624#Person/liu_zhiming_1961> ; # Zhiming Liu
    schema:editor <http://experiment.worldcat.org/entity/work/data/4183229624#Person/bowen_j_p_jonathan_peter_1956> ; # Jonathan Peter Bowen
    schema:exampleOfWork <http://worldcat.org/entity/work/id/4183229624> ;
    schema:genre "Electronic books"@en ;
    schema:genre "Conference publication"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/4183229624#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/4183229624#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/4183229624#Series/lncs_sublibrary> ; # LNCS sublibrary.
    schema:isSimilarTo <http://worldcat.org/entity/work/data/4183229624#CreativeWork/> ;
    schema:name "Engineering trustworthy software systems : third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial lectures"@en ;
    schema:productID "1076484775" ;
    schema:url <http://ezsecureaccess.balamand.edu.lb/login?url=https://doi.org/10.1007/978-3-030-02928-9> ;
    schema:url <https://link.springer.com/book/10.1007/978-3-030-02928-9> ;
    schema:url <https://doi.org/10.1007/978-3-030-02928-9> ;
    schema:workExample <http://worldcat.org/isbn/9783030029289> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-030-02928-9> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GBB8O2237> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/1076484775> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/4183229624#Meeting/setss_international_school_3rd_2017_chongqing_china> # SETSS (International school) (3rd : 2017 : Chongqing, China)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/4183229624#Place/chongqing_china> ; # Chongqing, China)
    schema:name "SETSS (International school) (3rd : 2017 : Chongqing, China)" ;
    .

<http://experiment.worldcat.org/entity/work/data/4183229624#Person/bowen_j_p_jonathan_peter_1956> # Jonathan Peter Bowen
    a schema:Person ;
    schema:birthDate "1956" ;
    schema:familyName "Bowen" ;
    schema:givenName "Jonathan Peter" ;
    schema:givenName "J. P." ;
    schema:name "Jonathan Peter Bowen" ;
    .

<http://experiment.worldcat.org/entity/work/data/4183229624#Person/liu_zhiming_1961> # Zhiming Liu
    a schema:Person ;
    schema:birthDate "1961" ;
    schema:familyName "Liu" ;
    schema:givenName "Zhiming" ;
    schema:name "Zhiming Liu" ;
    .

<http://experiment.worldcat.org/entity/work/data/4183229624#Person/zhang_zili_senior_lecturer> # (Senior lecturer) Zili Zhang
    a schema:Person ;
    schema:familyName "Zhang" ;
    schema:givenName "Zili" ;
    schema:name "(Senior lecturer) Zili Zhang" ;
    .

<http://experiment.worldcat.org/entity/work/data/4183229624#Place/chongqing_china> # Chongqing, China)
    a schema:Place ;
    schema:name "Chongqing, China)" ;
    .

<http://experiment.worldcat.org/entity/work/data/4183229624#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1076484775> ; # Engineering trustworthy software systems : third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial lectures
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/4183229624#Series/lncs_sublibrary> # LNCS sublibrary.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1076484775> ; # Engineering trustworthy software systems : third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial lectures
    schema:name "LNCS sublibrary." ;
    .

<http://experiment.worldcat.org/entity/work/data/4183229624#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/1076484775> ; # Engineering trustworthy software systems : third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial lectures
    schema:name "LNCS sublibrary. SL 2, Programming and software engineering" ;
    .

<http://experiment.worldcat.org/entity/work/data/4183229624#Topic/computer_programming_software_development> # Computer programming--software development
    a schema:Intangible ;
    schema:name "Computer programming--software development"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4183229624#Topic/computer_security> # Computer security
    a schema:Intangible ;
    schema:name "Computer security"@en ;
    .

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

<http://experiment.worldcat.org/entity/work/data/4183229624#Topic/computers_general> # Computers--General
    a schema:Intangible ;
    schema:name "Computers--General"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4183229624#Topic/computers_hardware_handheld_devices> # Computers--Hardware--Handheld Devices
    a schema:Intangible ;
    schema:name "Computers--Hardware--Handheld Devices"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4183229624#Topic/computers_programming_general> # Computers--Programming--General
    a schema:Intangible ;
    schema:name "Computers--Programming--General"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4183229624#Topic/computers_programming_languages_general> # Computers--Programming Languages--General
    a schema:Intangible ;
    schema:name "Computers--Programming Languages--General"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4183229624#Topic/computers_software_development_&_engineering_general> # Computers--Software Development & Engineering--General
    a schema:Intangible ;
    schema:name "Computers--Software Development & Engineering--General"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4183229624#Topic/information_technology_general_issues> # Information technology: general issues
    a schema:Intangible ;
    schema:name "Information technology: general issues"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4183229624#Topic/programming_&_scripting_languages_general> # Programming & scripting languages: general
    a schema:Intangible ;
    schema:name "Programming & scripting languages: general"@en ;
    .

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

<http://experiment.worldcat.org/entity/work/data/4183229624#Topic/systems_analysis_&_design> # Systems analysis & design
    a schema:Intangible ;
    schema:name "Systems analysis & design"@en ;
    .

<http://worldcat.org/entity/work/data/4183229624#CreativeWork/>
    a schema:CreativeWork ;
    schema:description "Printed edition:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/1076484775> ; # Engineering trustworthy software systems : third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial lectures
    .

<http://worldcat.org/isbn/9783030029289>
    a schema:ProductModel ;
    schema:isbn "303002928X" ;
    schema:isbn "9783030029289" ;
    .

<http://www.worldcat.org/title/-/oclc/1076484775>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/1076484775> ; # Engineering trustworthy software systems : third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial lectures
    schema:dateModified "2019-10-13" ;
    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.