December 2015
Beginner to intermediate
832 pages
26h 13m
English
Object-oriented software at its technical core is constructed from objects that receive method calls, change their internal state, and compute some return value. Part II created a solid and detailed conceptual basis for reasoning about these method calls and about the correctness of software in general. Such a basis is indispensable for developing any substantial software product: If we are not able to capture the expected behavior of its different components precisely, we will never be able to divide the work among a team and still be confident that the parts will fit together seamlessly in the end.
The question of correctness naturally focuses on the 1.1 4.1caller’s perspective: The caller ...