My Library

University LibraryCatalogue

Limit search to items available for borrowing or consultation
Result Page: Previous Next
Can't find that book? Try BONUS+
Look for full text

Search Discovery

Search CARM Centre Catalogue

Search Trove

Add record to RefWorks

Cover Art
Author International School on Engineering Trustworthy Software Systems (1st : 2014 : Chongqing, China)

Title Engineering trustworthy software systems : first International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures / edited by Zhiming Liu, Zili Zhang.

Published Cham : Springer, 2016.


Location Call No. Status
Physical description 1 online resource (xi, 325 pages) : illustrations.
Series Lecture notes in computer science, 0302-9743 ; 9506
LNCS sublibrary. SL 2, Programming and software engineering
Lecture notes in computer science ; 9506. 0302-9743
LNCS sublibrary. SL 2, Programming and software engineering.
Springer English/International eBooks 2016 - Full Set
Springer Lecture Notes in Computer Science
Notes Includes author index.
Contents (In-)formal methods: The Lost Art -- Program refinement, perfect secrecy and information flow -- The Z Notation: Whence the Cause and Whither the Course? -- Model-Driven Design of Object and Component Systems -- Cyber-Physical Systems Engineering -- Combining Formal and Informal Methods in the Design of Spacecrafts.
Summary The courses of SETSS 2014 aim to improve the understanding of the relation between theory and practice in software engineering, to contribute to narrowing the gap between them. This volume contains the lecture notes of the five courses and materials of one seminar. The common themes of the courses include the design and use of theories, techniques and tools for software specification and modeling, analysis and verification. The courses cover sequential programming, component- and object software, hybrid systems and cyber-physical systems with challenges of termination, security, safety, security, fault-tolerance and real-time requirements. The techniques include model checking, correctness by construction through refinement and model transformations, synthesis and computer algebra.
Other author Liu, Zhiming, editor.
Zhang, Zili, editor.
SpringerLink issuing body.
Subject Software engineering -- Congresses.
Computer software -- Reliability -- Congresses.
Electronic books.
Conference papers and proceedings.
Variant Title SETSS 2014
ISBN 9783319296289 electronic bk.
3319296280 electronic bk.
9783319296272 print
Standard Number 10.1007/978-3-319-29628-9