Please use this identifier to cite or link to this item: http://localhost/handle/Hannan/660
Full metadata record
DC FieldValueLanguage
dc.contributor.authorFeng, Xinyu. ;en_US
dc.contributor.authorMeller-Olm, Markus. ;en_US
dc.contributor.authorYang, Zijiang. ;en_US
dc.date.accessioned2013en_US
dc.date.accessioned2020-05-17T08:20:12Z-
dc.date.available2020-05-17T08:20:12Z-
dc.date.issued2018en_US
dc.identifier.isbn9783319999333 ;en_US
dc.identifier.isbn9783319999326 (print) ;en_US
dc.identifier.isbn9783319999340 (print) ;en_US
dc.identifier.urihttp://localhost/handle/Hannan/660-
dc.descriptionPrinted edition: ; 9783319999326. ;en_US
dc.descriptionen_US
dc.descriptionen_US
dc.description005.1 ; 23 ;en_US
dc.descriptionSpringerLink (Online service) ;en_US
dc.descriptionen_US
dc.descriptionen_US
dc.descriptionPrinted edition: ; 9783319999340. ;en_US
dc.description.abstractThis 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_US
dc.description.statementofresponsibilityedited by Xinyu Feng, Markus Meller-Olm, Zijiang Yang.en_US
dc.description.tableofcontentsRefinement -- Verification -- Timing and Scheduling. ;en_US
dc.format.extentXIV, 201 p. 55 illus. ; online resource. ;en_US
dc.publisherSpringer International Publishing :en_US
dc.publisherImprint: Springer,en_US
dc.relation.ispartofseriesProgramming and Software Engineering ; ; 10998. ;en_US
dc.relation.ispartofseriesProgramming and Software Engineering ; ; 10998. ;en_US
dc.relation.haspart9783319999326.pdfen_US
dc.subjectSoftware Engineeringen_US
dc.subjectComputer Scienceen_US
dc.subjectComputer system performance. ;en_US
dc.subjectComputer software. ;en_US
dc.subjectLogic design. ;en_US
dc.subjectSoftware Engineeringen_US
dc.subjectProgramming Languages and Compilers and Interpretersen_US
dc.subjectSystem Performance and Evaluation. ; http://scigraph.springernature.com/things/product-market-codes/I13049. ;en_US
dc.subjectMathematical Logic and Formal Languages. ; http://scigraph.springernature.com/things/product-market-codes/I16048. ;en_US
dc.subjectAlgorithm Analysis and Problem Complexity. ; http://scigraph.springernature.com/things/product-market-codes/I16021. ;en_US
dc.subjectLogics and Meanings of Programs. ; http://scigraph.springernature.com/things/product-market-codes/I1603X. ;en_US
dc.subject.lccQA76.758 ;en_US
dc.titleDependable Software Engineering. Theories, Tools, and Applicationsen_US
dc.title.alternative4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings /en_US
dc.typeBooken_US
dc.publisher.placeCham :en_US
Appears in Collections:مدیریت فناوری اطلاعات

Files in This Item:
File Description SizeFormat 
9783319999326.pdf15.1 MBAdobe PDFThumbnail
Preview File
Full metadata record
DC FieldValueLanguage
dc.contributor.authorFeng, Xinyu. ;en_US
dc.contributor.authorMeller-Olm, Markus. ;en_US
dc.contributor.authorYang, Zijiang. ;en_US
dc.date.accessioned2013en_US
dc.date.accessioned2020-05-17T08:20:12Z-
dc.date.available2020-05-17T08:20:12Z-
dc.date.issued2018en_US
dc.identifier.isbn9783319999333 ;en_US
dc.identifier.isbn9783319999326 (print) ;en_US
dc.identifier.isbn9783319999340 (print) ;en_US
dc.identifier.urihttp://localhost/handle/Hannan/660-
dc.descriptionPrinted edition: ; 9783319999326. ;en_US
dc.descriptionen_US
dc.descriptionen_US
dc.description005.1 ; 23 ;en_US
dc.descriptionSpringerLink (Online service) ;en_US
dc.descriptionen_US
dc.descriptionen_US
dc.descriptionPrinted edition: ; 9783319999340. ;en_US
dc.description.abstractThis 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_US
dc.description.statementofresponsibilityedited by Xinyu Feng, Markus Meller-Olm, Zijiang Yang.en_US
dc.description.tableofcontentsRefinement -- Verification -- Timing and Scheduling. ;en_US
dc.format.extentXIV, 201 p. 55 illus. ; online resource. ;en_US
dc.publisherSpringer International Publishing :en_US
dc.publisherImprint: Springer,en_US
dc.relation.ispartofseriesProgramming and Software Engineering ; ; 10998. ;en_US
dc.relation.ispartofseriesProgramming and Software Engineering ; ; 10998. ;en_US
dc.relation.haspart9783319999326.pdfen_US
dc.subjectSoftware Engineeringen_US
dc.subjectComputer Scienceen_US
dc.subjectComputer system performance. ;en_US
dc.subjectComputer software. ;en_US
dc.subjectLogic design. ;en_US
dc.subjectSoftware Engineeringen_US
dc.subjectProgramming Languages and Compilers and Interpretersen_US
dc.subjectSystem Performance and Evaluation. ; http://scigraph.springernature.com/things/product-market-codes/I13049. ;en_US
dc.subjectMathematical Logic and Formal Languages. ; http://scigraph.springernature.com/things/product-market-codes/I16048. ;en_US
dc.subjectAlgorithm Analysis and Problem Complexity. ; http://scigraph.springernature.com/things/product-market-codes/I16021. ;en_US
dc.subjectLogics and Meanings of Programs. ; http://scigraph.springernature.com/things/product-market-codes/I1603X. ;en_US
dc.subject.lccQA76.758 ;en_US
dc.titleDependable Software Engineering. Theories, Tools, and Applicationsen_US
dc.title.alternative4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings /en_US
dc.typeBooken_US
dc.publisher.placeCham :en_US
Appears in Collections:مدیریت فناوری اطلاعات

Files in This Item:
File Description SizeFormat 
9783319999326.pdf15.1 MBAdobe PDFThumbnail
Preview File
Full metadata record
DC FieldValueLanguage
dc.contributor.authorFeng, Xinyu. ;en_US
dc.contributor.authorMeller-Olm, Markus. ;en_US
dc.contributor.authorYang, Zijiang. ;en_US
dc.date.accessioned2013en_US
dc.date.accessioned2020-05-17T08:20:12Z-
dc.date.available2020-05-17T08:20:12Z-
dc.date.issued2018en_US
dc.identifier.isbn9783319999333 ;en_US
dc.identifier.isbn9783319999326 (print) ;en_US
dc.identifier.isbn9783319999340 (print) ;en_US
dc.identifier.urihttp://localhost/handle/Hannan/660-
dc.descriptionPrinted edition: ; 9783319999326. ;en_US
dc.descriptionen_US
dc.descriptionen_US
dc.description005.1 ; 23 ;en_US
dc.descriptionSpringerLink (Online service) ;en_US
dc.descriptionen_US
dc.descriptionen_US
dc.descriptionPrinted edition: ; 9783319999340. ;en_US
dc.description.abstractThis 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_US
dc.description.statementofresponsibilityedited by Xinyu Feng, Markus Meller-Olm, Zijiang Yang.en_US
dc.description.tableofcontentsRefinement -- Verification -- Timing and Scheduling. ;en_US
dc.format.extentXIV, 201 p. 55 illus. ; online resource. ;en_US
dc.publisherSpringer International Publishing :en_US
dc.publisherImprint: Springer,en_US
dc.relation.ispartofseriesProgramming and Software Engineering ; ; 10998. ;en_US
dc.relation.ispartofseriesProgramming and Software Engineering ; ; 10998. ;en_US
dc.relation.haspart9783319999326.pdfen_US
dc.subjectSoftware Engineeringen_US
dc.subjectComputer Scienceen_US
dc.subjectComputer system performance. ;en_US
dc.subjectComputer software. ;en_US
dc.subjectLogic design. ;en_US
dc.subjectSoftware Engineeringen_US
dc.subjectProgramming Languages and Compilers and Interpretersen_US
dc.subjectSystem Performance and Evaluation. ; http://scigraph.springernature.com/things/product-market-codes/I13049. ;en_US
dc.subjectMathematical Logic and Formal Languages. ; http://scigraph.springernature.com/things/product-market-codes/I16048. ;en_US
dc.subjectAlgorithm Analysis and Problem Complexity. ; http://scigraph.springernature.com/things/product-market-codes/I16021. ;en_US
dc.subjectLogics and Meanings of Programs. ; http://scigraph.springernature.com/things/product-market-codes/I1603X. ;en_US
dc.subject.lccQA76.758 ;en_US
dc.titleDependable Software Engineering. Theories, Tools, and Applicationsen_US
dc.title.alternative4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings /en_US
dc.typeBooken_US
dc.publisher.placeCham :en_US
Appears in Collections:مدیریت فناوری اطلاعات

Files in This Item:
File Description SizeFormat 
9783319999326.pdf15.1 MBAdobe PDFThumbnail
Preview File