Engineering Trustworthy Software Systems

4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures

Nonfiction, Computers, Networking & Communications, Hardware, Programming, Software Development, General Computing
Cover of the book Engineering Trustworthy Software Systems 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: 9783030176013
Publisher: Springer International Publishing Publication: June 11, 2019
Imprint: Springer Language: English
Author:
ISBN: 9783030176013
Publisher: Springer International Publishing
Publication: June 11, 2019
Imprint: Springer
Language: English

This volume contains lectures on leading-edge research in methods and tools for use in computer system engineering; at the 4th International School on Engineering Trustworthy Software Systems, SETSS 2018, held in April 2018 at Southwest University in Chongqing, China.

The five chapters in this volume provide an overview of research in the frontier of theories, methods, and tools for software modelling, design, and verification. The topics covered in these chapter include Software Verification with Whiley, Learning Büchi Automata and Its Applications, Security in IoT Applications, Programming in Z3, and The Impact of Alan Turing: Formal Methods and Beyond. The volume provides a useful resource for postgraduate students, researchers, academics, and engineers in industry, who are interested in theory, methods, and tools for the development of trustworthy software.

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

This volume contains lectures on leading-edge research in methods and tools for use in computer system engineering; at the 4th International School on Engineering Trustworthy Software Systems, SETSS 2018, held in April 2018 at Southwest University in Chongqing, China.

The five chapters in this volume provide an overview of research in the frontier of theories, methods, and tools for software modelling, design, and verification. The topics covered in these chapter include Software Verification with Whiley, Learning Büchi Automata and Its Applications, Security in IoT Applications, Programming in Z3, and The Impact of Alan Turing: Formal Methods and Beyond. The volume provides a useful resource for postgraduate students, researchers, academics, and engineers in industry, who are interested in theory, methods, and tools for the development of trustworthy software.

More books from Springer International Publishing

Cover of the book The Saudi Arabian Monetary Agency, 1952-2016 by
Cover of the book Hidden Inequalities in the Workplace by
Cover of the book AETA 2018 - Recent Advances in Electrical Engineering and Related Sciences: Theory and Application by
Cover of the book Electromagnetic Seabed Logging by
Cover of the book Transphobic Hate Crime by
Cover of the book Effect of Milk Fat Globule Size on the Physical Functionality of Dairy Products by
Cover of the book Retinopathy of Prematurity by
Cover of the book Context Aware Human-Robot and Human-Agent Interaction by
Cover of the book Diffused Religion by
Cover of the book Contemporary Issues in African Society by
Cover of the book Engineering Psychology and Cognitive Ergonomics: Cognition and Design by
Cover of the book Philosophical Clarifications by
Cover of the book Connectomics in NeuroImaging by
Cover of the book The New World of Utilities by
Cover of the book Risk Analysis and Governance in EU Policy Making and Regulation 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