| 
|
QuoteRef: bursRM8_1977
topics >
all references >
Topic:
theorem proving systems
ThesaHelp:
references a-b
Topic:
top-down vs. bottom-up design
Topic:
requirement specification by assertion
Reference
Burstall, R.M., Goguen, J.A., "Putting specifications together", Fifth International Joint Conference on Artificial Intelligence, August 1977 , pp. 1045-1058. Google
QuoteRef: bursRM8_1977 ;;1047 a theory presentation is specified sorts [or objects], named operations on sorts returning sorts, equations relating the operations and sorts.
1048 ;;Quote: build up complex theories from small pieces; use combination, extension, induction, and derivation
after 1048;;Quote: a specification in Clear consists of declarations followed by an expression made of theory-building operations
Topic: theorem proving systems (20 items)
ThesaHelp: references a-b (396 items)
Topic: top-down vs. bottom-up design (30 items)
Topic: requirement specification by assertion (28 items)