Dependable Software Engineering: Theories, Tools, and Applications [electronic resource] : First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings / edited by Xuandong Li, Zhiming Liu, Wang Yi.
Contributor(s): Li, Xuandong [editor.] | Liu, Zhiming [editor.] | Yi, Wang [editor.] | SpringerLink (Online service).
Material type:
BookSeries: Lecture Notes in Computer Science: 9409Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Description: XIX, 317 p. 86 illus. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783319259420.Subject(s): Computer science | Software engineering | Computer logic | Mathematical logic | Computer simulation | Computer Science | Software Engineering | Logics and Meanings of Programs | Simulation and Modeling | Mathematical Logic and Formal LanguagesAdditional physical formats: Printed edition:: No titleDDC classification: 005.1 Online resources: Click here to access online
In:
Springer eBooksSummary: This book constitutes the refereed proceedings of the First International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2015, held in Nanjing, China, in November 2015. The 20 full papers presented together with 3 invited talks were carefully reviewed and selected from 60 submissions.The papers are organized on topical sections on probabilistic systems; hybrid and cyber-physical systems; testing, simulation and inference; bisimulation and correctness; design and implementation; symbolic execution and invariants; and verification and case studies.
No physical items for this record
This book constitutes the refereed proceedings of the First International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2015, held in Nanjing, China, in November 2015. The 20 full papers presented together with 3 invited talks were carefully reviewed and selected from 60 submissions.The papers are organized on topical sections on probabilistic systems; hybrid and cyber-physical systems; testing, simulation and inference; bisimulation and correctness; design and implementation; symbolic execution and invariants; and verification and case studies.
There are no comments for this item.