Engineering Trustworthy Software Systems : Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures /

Engineering Trustworthy Software Systems : Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures /

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Bowen, Jonathan P. (Editor), Liu, Zhiming. (Editor), Zhang, Zili. (Editor)
Format: eBook
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2017.
Edition:1st ed. 2017.
Series:Programming and Software Engineering ; 10215
Subjects:
Software engineering.
Computer programming.
Programming languages (Electronic computers).
Computers.
Computer logic.
Computer system failures.
Software Engineering.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
The Computing Profession.
Logics and Meanings of Programs.
System Performance and Evaluation.
Table of Contents:
  • Alan Turing: Founder of Computer Science
  • UTP by Example: Designs
  • Reasoned Modelling with Event-B
  • Java in the Safety-Critical Domain
  • Runtime Verification for Linear-Time Temporal Logic
  • Formal Reasoning on Infinite Data Values: An Ongoing Quest.

Similar Items