Map
Index
Random
Help
th

Quote: latent specifications in text by naming conventions, assertions, etc.; e.g., lock.. and unlock.., free.. and release..

topics > all references > references e-f > QuoteRef: englD10_2001 , p. 64



Topic:
debugging by usage rules
Topic:
good requirement specifications
Topic:
software documentation

Quotation Skeleton

Latent specifications are features designed to communicate intent … in program text, [consistency checking] extensions can easily access … points in the code. … [For example,] naming conventions. Familiar substrings include "lock", "unlock," … debugging assertions precisely state what conditions must hold … [p. 65] [crash paths singled by "panic()"]   Google-1   Google-2

Copyright clearance needed for quotation.


Related Topics up

Topic: debugging by usage rules (40 items)
Topic: good requirement specifications (36 items)
Topic: software documentation (64 items)

Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.