Theories of Programming and Formal Methods

Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

AvZhiming Liu,Jim Woodcock

Häftad, Engelska, 2013

Del i serien Lecture Notes in Computer Science

550 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

He won a number of prestigious science and technology awards, including a 2nd prize of Natural Science Award from the State Council of China, a 1st prize of Natural Science Award from the Ministry of Education of China, a 1st prize of Technology Innovation from the Ministry of Electronic Industry, and a number awards from Shanghai government.

Produktinformation

Utgivningsdatum:2013-07-31
Mått:155 x 235 x 24 mm
Vikt:645 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:413
Upplaga:2013
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783642396977

Utforska kategorier

Systemvetenskap och AI inom Data och IT
Programvaruutveckling inom Data och IT

Innehållsförteckning

Set-Theoretic Models of Computations.- Model-Based Mutation Testing of Reactive Systems: From Semantics to Automated Test-Case Generation.- Pliant Modalities in Hybrid Event-B.- A Relational Approach to an Algebraic Community: From Paul Erd˝os to He Jifeng.- Practical Theory Extension in Event-B.- Simulink Timed Models for Program Verification.- Concept Analysis Based Approach to Statistical Web Testing.- Algebraic Program Semantics for Supercomputing.- Modeling and Specification of Real-Time Interfaces with UTP.- Some Fixed-Point Issues in PPTL.- The Value-Passing Calculus.- Proving Safety of Traffic Manoeuvres on Country Roads.- Generic Models of the Laws of Programming.- Ours Is to Reason Why.- Optimal Bounds for Multiweighted and Parametrised Energy Games.- On the Relationship between LTL Normal Forms and BNuchi Automata.- Managing Environment and Adaptation Risks for the Internetware Paradigm.- Safety versus Security in the Quality Calculus.- Invariants Synthesis over a Combined Domain for Automated Program Verification.- Slow Abstraction via Priority.- Performance Estimation Using Symbolic Data.- Synthesizing Switching Controllers for Hybrid Systems by Generating Invariants.- Graph-Based Object-Oriented Hoare Logic.- Towards a Modeling Language for Cyber-Physical Systems.