skip to content
Dependable software engineering : theories, tools, and applications : 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings Preview this item
ClosePreview this item
Checking...

Dependable software engineering : theories, tools, and applications : 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings

Author: Xinyu Feng; Markus Müller-Olm; Zijiang Yang
Publisher: Cham, Switzerland : Springer, 2018.
Series: Lecture notes in computer science, 10998.; 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 2018, held in Beijing, China, in September 2018. The 9 full papers presented together with 3 short papers were carefully reviewed and selected from 22 submissions. The purpose of SETTA is to provide an international forum for researchers and practitioners to share  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:
SETTA (Symposium) (4th : 2018 : Beijing, China).
Dependable software engineering.
Cham, Switzerland : Springer, 2018
(OCoLC)1046612621
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Xinyu Feng; Markus Müller-Olm; Zijiang Yang
ISBN: 9783319999333 3319999338 9783319999340 3319999346
OCLC Number: 1050111486
Notes: International conference proceedings.
Includes author index.
Description: 1 online resource (xiv, 201 pages) : illustrations.
Contents: Refinement --
Verification --
Timing and Scheduling.
Series Title: Lecture notes in computer science, 10998.; LNCS sublibrary., SL 2,, Programming and software engineering.
Other Titles: SETTA 2018
Responsibility: Xinyu Feng, Markus Müller-Olm, Zijiang Yang (eds.).

Abstract:

This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2018, held in Beijing, China, in September 2018.

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/1050111486> # Dependable software engineering : theories, tools, and applications : 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings
    a schema:Book, schema:MediaObject, schema:CreativeWork ;
    library:oclcnum "1050111486" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/sz> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/5418052775#Topic/algorithms_&_data_structures> ; # Algorithms & data structures
    schema:about <http://experiment.worldcat.org/entity/work/data/5418052775#Topic/mathematics_logic> ; # Mathematics--Logic
    schema:about <http://experiment.worldcat.org/entity/work/data/5418052775#Topic/system_performance_and_evaluation> ; # System Performance and Evaluation
    schema:about <http://experiment.worldcat.org/entity/work/data/5418052775#Topic/programming_&_scripting_languages_general> ; # Programming & scripting languages: general
    schema:about <http://experiment.worldcat.org/entity/work/data/5418052775#Topic/software_engineering> ; # Software Engineering
    schema:about <http://experiment.worldcat.org/entity/work/data/5418052775#Topic/mathematical_theory_of_computation> ; # Mathematical theory of computation
    schema:about <http://experiment.worldcat.org/entity/work/data/5418052775#Topic/computer_programming_software_development> ; # Computer programming--software development
    schema:about <http://experiment.worldcat.org/entity/work/data/5418052775#Topic/programming_languages_compilers_interpreters> ; # Programming Languages, Compilers, Interpreters
    schema:about <http://experiment.worldcat.org/entity/work/data/5418052775#Topic/systems_analysis_&_design> ; # Systems analysis & design
    schema:about <http://experiment.worldcat.org/entity/work/data/5418052775#Topic/computers_programming_general> ; # Computers--Programming--General
    schema:about <http://experiment.worldcat.org/entity/work/data/5418052775#Topic/algorithm_analysis_and_problem_complexity> ; # Algorithm Analysis and Problem Complexity
    schema:about <http://dewey.info/class/005.1/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/5418052775#Topic/mathematical_logic_and_formal_languages> ; # Mathematical Logic and Formal Languages
    schema:about <http://experiment.worldcat.org/entity/work/data/5418052775#Topic/logics_and_meanings_of_programs> ; # Logics and Meanings of Programs
    schema:about <http://experiment.worldcat.org/entity/work/data/5418052775#Topic/computers_software_development_&_engineering_general> ; # Computers--Software Development & Engineering--General
    schema:about <http://experiment.worldcat.org/entity/work/data/5418052775#Topic/computers_programming_languages_general> ; # Computers--Programming Languages--General
    schema:about <http://experiment.worldcat.org/entity/work/data/5418052775#Topic/computers_hardware_handheld_devices> ; # Computers--Hardware--Handheld Devices
    schema:about <http://experiment.worldcat.org/entity/work/data/5418052775#Topic/computers_programming_algorithms> ; # Computers--Programming--Algorithms
    schema:alternateName "SETTA 2018" ;
    schema:bookFormat schema:EBook ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/5418052775#Meeting/setta_symposium_4th_2018_beijing_china> ; # SETTA (Symposium) (4th : 2018 : Beijing, China)
    schema:datePublished "2018" ;
    schema:description "This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2018, held in Beijing, China, in September 2018. The 9 full papers presented together with 3 short papers were carefully reviewed and selected from 22 submissions. The purpose of SETTA is to provide an international forum for researchers and practitioners to share cutting-edge advancements and strengthen collaborations in the field of formal methods and its interoperability with software engineering for building reliable, safe, secure, and smart systems."@en ;
    schema:description "Refinement -- Verification -- Timing and Scheduling."@en ;
    schema:editor <http://experiment.worldcat.org/entity/work/data/5418052775#Person/feng_xinyu> ; # Xinyu Feng
    schema:editor <http://experiment.worldcat.org/entity/work/data/5418052775#Person/muller_olm_markus> ; # Markus Müller-Olm
    schema:editor <http://experiment.worldcat.org/entity/work/data/5418052775#Person/yang_zijiang> ; # Zijiang Yang
    schema:exampleOfWork <http://worldcat.org/entity/work/id/5418052775> ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Conference publication"@en ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/5418052775#Series/lncs_sublibrary_sl_2_programming_and_software_engineering> ; # LNCS sublibrary. SL 2, Programming and software engineering
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/5418052775#Series/lncs_sublibrary> ; # LNCS sublibrary.
    schema:isSimilarTo <http://www.worldcat.org/oclc/1046612621> ;
    schema:name "Dependable software engineering : theories, tools, and applications : 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings"@en ;
    schema:productID "1050111486" ;
    schema:url <https://link.springer.com/10.1007/978-3-319-99933-3> ;
    schema:url <https://nls.ldls.org.uk/welcome.html?ark:/81055/vdc_100065502061.0x000001> ;
    schema:url <http://ezsecureaccess.balamand.edu.lb/login?url=https://doi.org/10.1007/978-3-319-99933-3> ;
    schema:url <https://ezproxy.lau.edu.lb:2443/login?url=http://dx.doi.org/10.1007/978-3-319-99933-3> ;
    schema:url <https://ezproxy.aub.edu.lb/login?url=https://doi.org/10.1007/978-3-319-99933-3> ;
    schema:url <https://ezproxy.library.dal.ca/login?url=https://doi.org/10.1007/978-3-319-99933-3> ;
    schema:url <http://proxy.library.brocku.ca/login?url=http://link.springer.com/10.1007/978-3-319-99933-3> ;
    schema:url <http://ezproxy.canterbury.ac.nz/login?url=https://link.springer.com/10.1007/978-3-319-99933-3> ;
    schema:url <https://0-link-springer-com.pugwash.lib.warwick.ac.uk/10.1007/978-3-319-99933-3> ;
    schema:url <http://dx.doi.org/10.1007/978-3-319-99933-3> ;
    schema:url <http://link.springer.com/10.1007/978-3-319-99933-3> ;
    schema:url <http://uproxy.library.dc-uoit.ca/login?url=http://link.springer.com/10.1007/978-3-319-99933-3> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-319-99933-3> ;
    schema:workExample <http://worldcat.org/isbn/9783319999333> ;
    schema:workExample <http://worldcat.org/isbn/9783319999340> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/1050111486> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/5418052775#Meeting/setta_symposium_4th_2018_beijing_china> # SETTA (Symposium) (4th : 2018 : Beijing, China)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/5418052775#Place/beijing_china> ; # Beijing, China)
    schema:name "SETTA (Symposium) (4th : 2018 : Beijing, China)" ;
    .

<http://experiment.worldcat.org/entity/work/data/5418052775#Person/feng_xinyu> # Xinyu Feng
    a schema:Person ;
    schema:familyName "Feng" ;
    schema:givenName "Xinyu" ;
    schema:name "Xinyu Feng" ;
    .

<http://experiment.worldcat.org/entity/work/data/5418052775#Person/muller_olm_markus> # Markus Müller-Olm
    a schema:Person ;
    schema:familyName "Müller-Olm" ;
    schema:givenName "Markus" ;
    schema:name "Markus Müller-Olm" ;
    .

<http://experiment.worldcat.org/entity/work/data/5418052775#Person/yang_zijiang> # Zijiang Yang
    a schema:Person ;
    schema:familyName "Yang" ;
    schema:givenName "Zijiang" ;
    schema:name "Zijiang Yang" ;
    .

<http://experiment.worldcat.org/entity/work/data/5418052775#Place/beijing_china> # Beijing, China)
    a schema:Place ;
    schema:name "Beijing, China)" ;
    .

<http://experiment.worldcat.org/entity/work/data/5418052775#Series/lncs_sublibrary> # LNCS sublibrary.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1050111486> ; # Dependable software engineering : theories, tools, and applications : 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings
    schema:name "LNCS sublibrary." ;
    .

<http://experiment.worldcat.org/entity/work/data/5418052775#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/1050111486> ; # Dependable software engineering : theories, tools, and applications : 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings
    schema:name "LNCS sublibrary. SL 2, Programming and software engineering" ;
    .

<http://experiment.worldcat.org/entity/work/data/5418052775#Topic/algorithm_analysis_and_problem_complexity> # Algorithm Analysis and Problem Complexity
    a schema:Intangible ;
    schema:name "Algorithm Analysis and Problem Complexity"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5418052775#Topic/algorithms_&_data_structures> # Algorithms & data structures
    a schema:Intangible ;
    schema:name "Algorithms & data structures"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5418052775#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/5418052775#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/5418052775#Topic/computers_programming_algorithms> # Computers--Programming--Algorithms
    a schema:Intangible ;
    schema:name "Computers--Programming--Algorithms"@en ;
    .

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

<http://experiment.worldcat.org/entity/work/data/5418052775#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/5418052775#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/5418052775#Topic/logics_and_meanings_of_programs> # Logics and Meanings of Programs
    a schema:Intangible ;
    schema:name "Logics and Meanings of Programs"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5418052775#Topic/mathematical_logic_and_formal_languages> # Mathematical Logic and Formal Languages
    a schema:Intangible ;
    schema:name "Mathematical Logic and Formal Languages"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5418052775#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/5418052775#Topic/mathematics_logic> # Mathematics--Logic
    a schema:Intangible ;
    schema:name "Mathematics--Logic"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5418052775#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/5418052775#Topic/programming_languages_compilers_interpreters> # Programming Languages, Compilers, Interpreters
    a schema:Intangible ;
    schema:name "Programming Languages, Compilers, Interpreters"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5418052775#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/5418052775#Topic/system_performance_and_evaluation> # System Performance and Evaluation
    a schema:Intangible ;
    schema:name "System Performance and Evaluation"@en ;
    .

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

<http://uproxy.library.dc-uoit.ca/login?url=http://link.springer.com/10.1007/978-3-319-99933-3>
    rdfs:comment "eBook available for UOIT via SpringerLink. Click link to access" ;
    .

<http://worldcat.org/isbn/9783319999333>
    a schema:ProductModel ;
    schema:isbn "3319999338" ;
    schema:isbn "9783319999333" ;
    .

<http://worldcat.org/isbn/9783319999340>
    a schema:ProductModel ;
    schema:isbn "3319999346" ;
    schema:isbn "9783319999340" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1050111486> ; # Dependable software engineering : theories, tools, and applications : 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings
    schema:issn "0302-9743" ;
    schema:name "Lecture notes in computer science ;" ;
    schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/oclc/1046612621>
    a schema:CreativeWork ;
    rdfs:label "Dependable software engineering." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/1050111486> ; # Dependable software engineering : theories, tools, and applications : 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings
    .

<http://www.worldcat.org/title/-/oclc/1050111486>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/1050111486> ; # Dependable software engineering : theories, tools, and applications : 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings
    schema:dateModified "2019-11-03" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .

<https://ezproxy.library.dal.ca/login?url=https://doi.org/10.1007/978-3-319-99933-3>
    rdfs:comment "Unlimited Access available" ;
    rdfs:comment "Access restricted: DAL users only" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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