Engineering Trustworthy Software Systems

Engineering Trustworthy Software Systems

Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures

Liu, Zhiming; Zhang, Zili; Bowen, Jonathan P.

Springer International Publishing AG

04/2017

259

Mole

Inglês

9783319568409

15 a 20 dias

4219

Descrição não disponível.
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.
formal methods;formal reasoning;formal specification;formal verification;history of computing;modelling languages;program refinement;programming language semantics;reactive systems;real-time systems;runtime verification;safety-critical systems;software design;software development;software engineering;software modeling;software testing;temporal logic