Th QuoteRef: guttJV12

QuoteRef: guttJV12_1974

topics > all references > ThesaHelp: references g-h

Topic:
separate a module's interface specification from its implementation
Topic:
program proof via assertions
Topic:
words defined by words
ThesaHelp:
references g-h
Topic:
requirement specification by assertion

Reference

Guttag, J.V., "Dyadic specification and its impact on reliability; in", Donahue, J.E., Gannon, J.D., Guthay, J.V., Horning, J.J., "Three approaches to reliable software: Language design, dyadic specification, complementary semantics", University of Toronto, CSRG-45, December 1974. Google

Quotations

QuoteRef: guttJV12_1974 ;;51 (procedure specification-- how to construct solution) and (descriptive specification-- description of solution)
QuoteRef: guttJV12_1974 ;;54 dyadic specification by operations and axioms-- i.e. an algebraic system
QuoteRef: guttJV12_1974 ;;56 specification by operations and axioms eg attributes (initialize symbol table, id)= error. Attributes (add (symbol table, id, attributes), id') -if ?equal? (id, id') the attributes else Attributes (sym tab, id')
QuoteRef: guttJV12_1974 ;;61 specify broad actions then take each part and specify those till get to known use

Related Topics

Topic: separate a module's interface specification from its implementation (86 items)
Topic: program proof via assertions (61 items)
Topic: words defined by words (24 items)
ThesaHelp: references g-h (299 items)
Topic: requirement specification by assertion (28 items)