Wednesday, March 18, 2009

Gojko Adzic » QCon London 2009: Is software engineering?

Gojko Adzic » QCon London 2009: Is software engineering?:

Talking about the scientific methods and verification, Hoare mentioned assertions and tests in the engineering practice as examples that can help it become more stable and produce stricter specifications. While answering a question related to TDD and using tests as specifications, Hoare said that an inverse approach is more meaningful for him, that a “specification is nothing but a generalized test”.

0 Comments:

Post a Comment

Subscribe to Post Comments [Atom]

Links to this post:

Create a Link

<< Home