| 
|
QuoteRef: prywNS10_1979
topics >
all references >
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
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
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)