Go to main content

Engineering trustworthy software systems : 4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures / Jonathan P. Bowen, Zhiming Liu, Zili Zhang (eds.).

SETSS (International school) (4th : 2018 : Chongqing, China); Bowen, J. P. (Jonathan Peter), 1956- editor.; Liu, Zhiming, 1961- editor.; Zhang, Zili, editor.
2019
QA76.758
Available Online
Formats
Format
BibTeX
MARCXML
TextMARC
MARC
DublinCore
EndNote
NLM
RefWorks
RIS
Add to Basket
Cite
Citation

Linked e-resources

Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks

Details

Title
Engineering trustworthy software systems : 4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures / Jonathan P. Bowen, Zhiming Liu, Zili Zhang (eds.).
Meeting Name
SETSS (International school) (4th : 2018 : Chongqing, China)
ISBN
9783030176013 (electronic book)
3030176010 (electronic book)
9783030176006
DOI
https://doi.org/10.1007/978-3-030-17601-3
Published
Cham, Switzerland : Springer, 2019.
Language
English
Description
1 online resource (xvii, 237 pages) : illustrations
Item Number
10.1007/978-3-030-17601-3 doi
Call Number
QA76.758
Dewey Decimal Classification
005.1
Summary
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. -- Provided by publisher.
Note
Includes author index.
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed May 2, 2019).
Added Author
Bowen, J. P. (Jonathan Peter), 1956- editor.
Liu, Zhiming, 1961- editor.
Zhang, Zili, editor.
Series
Lecture notes in computer science ; 11430.
LNCS sublibrary. SL 2, Programming and software engineering.
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
1. An introduction to software verification with Whiley / David J. Pearce, Mark Utting, Lindsay Groves
2. Learning Büchi automata and its applications / Yong Li, Andrea Turrini, Yu-Fang Chen, Lijun Zhang
3. Securing emergent IoT applications / Prabhakaran Kasinathan, Jorge Cuellar
4. Programming Z3 / Nikolaj Bjørner, Leonardo de Moura, Lev Nachmanson, Christoph M. Wintersteiger
5. The impact of Alan Turing : formal methods and beyond / Jonathan P. Bowen.

Browse Subjects

Show more subjects...

Statistics

from
to
Export