Engineering Trustworthy Software Systems
-15%
portes grátis
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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
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
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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
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
