"Assertion-Based Design " - читать интересную книгу автора (Harry D. Foster, Adam C. Krolnik, David J. Lacey)