Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

by Zhiming Liu (Editor), Jim Woodcock (Editor), Huibiao Zhu (Editor)

Defining Meanings of Component-Based Software Architectures.- Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems.- Unifying Theories of Programming in Isabelle.- FORMULA 2.0: A Language for Formal Specifications.- Formal Modelling, Analysis and Verification of Hybrid Systems.

296 pages, Paperback

First published July 19, 2013

Reviews

[Daniel Noventa · Rating 4 out of 5]

Needless to say, it's a very technical book. That being said, it's well written, it just takes some time to wrap your head around the concepts they're dishing out; more so if you've not worked with them before.

Take your time, and expect to look at outside sources.