Dependable Software Engineering: Theories, Tools, and Applications

Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings

Nonfiction, Computers, Programming, Software Development, General Computing
Cover of the book Dependable Software Engineering: Theories, Tools, and Applications by , Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9783319476773
Publisher: Springer International Publishing Publication: October 19, 2016
Imprint: Springer Language: English
Author:
ISBN: 9783319476773
Publisher: Springer International Publishing
Publication: October 19, 2016
Imprint: Springer
Language: English

This book constitutes the refereed proceedings of the Second International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2016, held in Beijing, China, in November 2016.

The 17 full papers presented together with 3 short papers were carefully reviewed and selected from 58 submissions. The aim of the symposium is to bring together international researchers and practitioners in the field of software technology. Its focus is on formal methods and advanced software technologies, especially for engineering complex, large-scale artifacts like cyber-physical systems, networks of things, enterprise systems, or cloud-based services. 

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

This book constitutes the refereed proceedings of the Second International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2016, held in Beijing, China, in November 2016.

The 17 full papers presented together with 3 short papers were carefully reviewed and selected from 58 submissions. The aim of the symposium is to bring together international researchers and practitioners in the field of software technology. Its focus is on formal methods and advanced software technologies, especially for engineering complex, large-scale artifacts like cyber-physical systems, networks of things, enterprise systems, or cloud-based services. 

More books from Springer International Publishing

Cover of the book Chicago’s Redevelopment Machine and Blues Clubs by
Cover of the book Fluid, Electrolyte and Acid-Base Disorders by
Cover of the book The Competence of the European Union in Copyright Lawmaking by
Cover of the book The Importance of Packaging Design for the Chemistry of Food Products by
Cover of the book The Challenges of the Digital Transformation in Education by
Cover of the book At the Origins of Modernity by
Cover of the book The Ethics of Policing and Imprisonment by
Cover of the book Soil Enzymes by
Cover of the book Inventory Control Models with Motivational Policies by
Cover of the book Meaningful Work: Viktor Frankl’s Legacy for the 21st Century by
Cover of the book Advances in Geocomputation by
Cover of the book A Primer on QSAR/QSPR Modeling by
Cover of the book Cormac McCarthy’s Philosophy by
Cover of the book The Palgrave Handbook of Artistic and Cultural Responses to War since 1914 by
Cover of the book Advanced Concepts, Methodologies and Technologies for Transportation and Logistics by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy