| 
|
QuoteRef: bealNC_1981
topics >
all references >
ThesaHelp:
ACM references a-e
ThesaHelp:
references a-b
Group:
variables
Topic:
requirement specification by assertion
Reference
Beale, N.C., Peyton, L., Jones, S.L., "An ADA compatible specification language", ACM Conference Proceedings , pp. 139-143, 1981. Google
140 ;;Quote: allow existential variables in specification predicates; if satisfiable then perform the right-hand-side
ThesaHelp: ACM references a-e (259 items)
ThesaHelp: references a-b (396 items)
Group: variables (10 topics, 128 quotes)
Topic: requirement specification by assertion (28 items)