Map
Index
Random
Help
th

QuoteRef: prywNS10_1979

topics > all references > ThesaHelp: references p-r



ThesaHelp:
references p-r
ThesaHelp:
ACM references m-z
Topic:
requirement specification by assertion
Topic:
automated tests of specifications and designs
Topic:
executable code from specifications and designs
Topic:
business application language

Reference

Prywes, N.S., Pnueli, A., Shastry, S., "Use of a nonprocedureal specification language and associated program generator in software development", ACM Transactions on Programming Languages and Systems, 1, 2, pp. 196-217, October 1979. Google

Quotations
198 ;;Quote: Model II specifies a program by describing the source and target data and by asserting relations between these
198 ;;Quote: currently, Model II specifies a relation by an equation with the target variable on the left hand side
198 ;;Quote: Model II checks for ambiguities, incompleteness, inconsistencies and redundancies
198+;;Quote: Model II produces a PL/1 or Cobol program from a specification


Related Topics up

ThesaHelp: references p-r (245 items)
ThesaHelp: ACM references m-z (280 items)
Topic: requirement specification by assertion (28 items)
Topic: automated tests of specifications and designs (12 items)
Topic: executable code from specifications and designs (18 items)
Topic: business application language (11 items)

Collected barberCB 1980
Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.