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

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

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