skip to content
Dependable software engineering : theories, tools, and applications : third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings Preview this item
ClosePreview this item
Checking...

Dependable software engineering : theories, tools, and applications : third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings

Author: K G Larsen; Oleg Sokolsky; Ji Wang
Publisher: Cham, Switzerland : Springer, 2017.
Series: Lecture notes in computer science, 10606.; LNCS sublibrary., SL 2,, Programming and software engineering.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Summary:
This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2017, held in Changsha, China, in October 2017. The 19 full papers presented together with 3 invited talks were carefully reviewed and selected from 31 submissions. The aim of the symposium is to bring together international researchers and practitioners in the field  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: Printed edition:
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: K G Larsen; Oleg Sokolsky; Ji Wang
ISBN: 9783319694832 3319694839
OCLC Number: 1008591669
Notes: International conference proceedings.
Description: 1 online resource (xviii, 351 pages) : illustrations
Contents: Probabilistic and Statistical Analysis --
Timed and Hybrid Systems --
Program Analysis --
Modeling and Verification.- Formalization --
Tools.
Series Title: Lecture notes in computer science, 10606.; LNCS sublibrary., SL 2,, Programming and software engineering.
Other Titles: SETTA 2017
Responsibility: edited by Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang.

Abstract:

This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2017, held in Changsha, China, in  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/1008591669> # Dependable software engineering : theories, tools, and applications : third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings
    a schema:MediaObject, schema:Book, schema:CreativeWork ;
    library:oclcnum "1008591669" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/sz> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/4569669936#Topic/mathematical_theory_of_computation> ; # Mathematical theory of computation
    schema:about <http://experiment.worldcat.org/entity/work/data/4569669936#Topic/software_engineering> ; # Software Engineering
    schema:about <http://experiment.worldcat.org/entity/work/data/4569669936#Topic/computer_programming_software_development> ; # Computer programming--software development
    schema:about <http://experiment.worldcat.org/entity/work/data/4569669936#Topic/3d_graphics_&_modelling> ; # 3D graphics & modelling
    schema:about <http://experiment.worldcat.org/entity/work/data/4569669936#Topic/maths_for_computer_scientists> ; # Maths for computer scientists
    schema:about <http://experiment.worldcat.org/entity/work/data/4569669936#Topic/computers_software_development_&_engineering_general> ; # Computers--Software Development & Engineering--General
    schema:about <http://dewey.info/class/005.1/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/4569669936#Topic/mathematics_logic> ; # Mathematics--Logic
    schema:about <http://experiment.worldcat.org/entity/work/data/4569669936#Topic/computers_mathematical_&_statistical_software> ; # Computers--Mathematical & Statistical Software
    schema:about <http://experiment.worldcat.org/entity/work/data/4569669936#Topic/computers_programming_general> ; # Computers--Programming--General
    schema:about <http://experiment.worldcat.org/entity/work/data/4569669936#Topic/computers_computer_simulation> ; # Computers--Computer Simulation
    schema:alternateName "SETTA 2017" ;
    schema:bookFormat schema:EBook ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/4569669936#Meeting/setta_symposium_3rd_2017_changsha_shi_china> ; # SETTA (Symposium) (3rd : 2017 : Changsha Shi, China)
    schema:datePublished "2017" ;
    schema:description "This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2017, held in Changsha, China, in October 2017. The 19 full papers presented together with 3 invited talks were carefully reviewed and selected from 31 submissions. The aim of the symposium is to bring together international researchers and practitioners in the field of software technology. Its focus is on probabilistic and statistical analysis; timed and hybrid systems; program analysis; modeling and verification; formalization; and tools."@en ;
    schema:description "Probabilistic and Statistical Analysis -- Timed and Hybrid Systems -- Program Analysis -- Modeling and Verification.- Formalization -- Tools."@en ;
    schema:editor <http://experiment.worldcat.org/entity/work/data/4569669936#Person/larsen_k_g_kim_g_1957> ; # Kim G. Larsen
    schema:editor <http://experiment.worldcat.org/entity/work/data/4569669936#Person/sokolsky_oleg> ; # Oleg Sokolsky
    schema:editor <http://experiment.worldcat.org/entity/work/data/4569669936#Person/wang_ji> ; # Ji Wang
    schema:exampleOfWork <http://worldcat.org/entity/work/id/4569669936> ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Conference publication"@en ;
    schema:genre "Electronic books"@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/4569669936#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/4569669936#Series/lncs_sublibrary> ; # LNCS sublibrary.
    schema:isSimilarTo <http://worldcat.org/entity/work/data/4569669936#CreativeWork/> ;
    schema:name "Dependable software engineering : theories, tools, and applications : third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings"@en ;
    schema:productID "1008591669" ;
    schema:url <https://link.springer.com/10.1007/978-3-319-69483-2> ;
    schema:url <https://doi.org/10.1007/978-3-319-69483-2> ;
    schema:url <http://rave.ohiolink.edu/ebooks/ebc/9783319694832> ;
    schema:url <http://public.ebookcentral.proquest.com/choice/publicfullrecord.aspx?p=5578051> ;
    schema:url <https://doi.org//10.1007/978-3-319-69483-2> ;
    schema:url <https://0-link-springer-com.pugwash.lib.warwick.ac.uk/10.1007/978-3-319-69483-2> ;
    schema:url <https://link.springer.com/openurl?genre=book&isbn=978-3-319-69482-5> ;
    schema:url <http://link.springer.com/10.1007/978-3-319-69483-2> ;
    schema:url <https://0-link-springer-com.pugwash.lib.warwick.ac.uk/book/10.1007/978-3-319-69483-2> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-319-69483-2> ;
    schema:workExample <http://worldcat.org/isbn/9783319694832> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/1008591669> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/4569669936#Meeting/setta_symposium_3rd_2017_changsha_shi_china> # SETTA (Symposium) (3rd : 2017 : Changsha Shi, China)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/4569669936#Place/changsha_shi_china> ; # Changsha Shi, China)
    schema:name "SETTA (Symposium) (3rd : 2017 : Changsha Shi, China)" ;
    .

<http://experiment.worldcat.org/entity/work/data/4569669936#Person/larsen_k_g_kim_g_1957> # Kim G. Larsen
    a schema:Person ;
    schema:birthDate "1957" ;
    schema:familyName "Larsen" ;
    schema:givenName "Kim G." ;
    schema:givenName "K. G." ;
    schema:name "Kim G. Larsen" ;
    .

<http://experiment.worldcat.org/entity/work/data/4569669936#Person/sokolsky_oleg> # Oleg Sokolsky
    a schema:Person ;
    schema:familyName "Sokolsky" ;
    schema:givenName "Oleg" ;
    schema:name "Oleg Sokolsky" ;
    .

<http://experiment.worldcat.org/entity/work/data/4569669936#Place/changsha_shi_china> # Changsha Shi, China)
    a schema:Place ;
    schema:name "Changsha Shi, China)" ;
    .

<http://experiment.worldcat.org/entity/work/data/4569669936#Series/lncs_sublibrary> # LNCS sublibrary.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1008591669> ; # Dependable software engineering : theories, tools, and applications : third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings
    schema:name "LNCS sublibrary." ;
    .

<http://experiment.worldcat.org/entity/work/data/4569669936#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/1008591669> ; # Dependable software engineering : theories, tools, and applications : third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings
    schema:name "LNCS sublibrary. SL 2, Programming and software engineering" ;
    .

<http://experiment.worldcat.org/entity/work/data/4569669936#Topic/3d_graphics_&_modelling> # 3D graphics & modelling
    a schema:Intangible ;
    schema:name "3D graphics & modelling"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4569669936#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/4569669936#Topic/computers_computer_simulation> # Computers--Computer Simulation
    a schema:Intangible ;
    schema:name "Computers--Computer Simulation"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4569669936#Topic/computers_mathematical_&_statistical_software> # Computers--Mathematical & Statistical Software
    a schema:Intangible ;
    schema:name "Computers--Mathematical & Statistical Software"@en ;
    .

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

<http://experiment.worldcat.org/entity/work/data/4569669936#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/4569669936#Topic/mathematical_theory_of_computation> # Mathematical theory of computation
    a schema:Intangible ;
    schema:name "Mathematical theory of computation"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4569669936#Topic/mathematics_logic> # Mathematics--Logic
    a schema:Intangible ;
    schema:name "Mathematics--Logic"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4569669936#Topic/maths_for_computer_scientists> # Maths for computer scientists
    a schema:Intangible ;
    schema:name "Maths for computer scientists"@en ;
    .

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

<http://worldcat.org/entity/work/data/4569669936#CreativeWork/>
    a schema:CreativeWork ;
    schema:description "Printed edition:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/1008591669> ; # Dependable software engineering : theories, tools, and applications : third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings
    .

<http://worldcat.org/isbn/9783319694832>
    a schema:ProductModel ;
    schema:isbn "3319694839" ;
    schema:isbn "9783319694832" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1008591669> ; # Dependable software engineering : theories, tools, and applications : third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings
    schema:issn "0302-9743" ;
    schema:name "Lecture notes in computer science ;" ;
    schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/title/-/oclc/1008591669>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/1008591669> ; # Dependable software engineering : theories, tools, and applications : third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings
    schema:dateModified "2019-10-25" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .

<https://doi.org//10.1007/978-3-319-69483-2>
    rdfs:comment "SpringerLink. Restricted to UC campuses" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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