Software development is a defect injection process. With every line of code we write, we have a chance of introducing unintended behavior into the system. This chance increases with conceptual complexity. The more difficult a system is to understand, the greater our chance of introducing defects. In his 1980 Turing Award lecture, Tony Hoare said […]
Archive for July, 2012
02
Jul
2012
Debugging Actor Systems
Tags: actor, composition, consistency, debugging, instrumentation, logging, observation, proof, provenance, reasoning, testing