| 
|
Quote: Eiffel assertions are boolean expressions (includes function calls); no side-effects or errors
topics >
all references >
references m-o >
Topic:
requirement specification by assertion
Quotation Skeleton
Eiffel assertions are Boolean expressions [that include function calls]. … In practice, this means that any function used … operation that could result in abnormal situations. … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: requirement specification by assertion (28 items)