Theories of Programming and Formal Methods

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

Häftad, Engelska, 2013

Av Zhiming Liu, Jim Woodcock, Huibiao Zhu

729 kr

Beställningsvara. Skickas inom 10-15 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

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

Utgivningsdatum2013-07-31
Mått155 x 235 x 24 mm
Vikt645 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor413
Upplaga2013
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783642396977

Tillhör följande kategorier

Systemvetenskap och AI inom Data och it
Programvaruutveckling inom Data och it

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.