home *** CD-ROM | disk | FTP | other *** search
/ Power-Programmierung / CD1.mdf / pascal / library / dos / sampler / 03 / diverse / tictac.cis < prev    next >
Encoding:
Text File  |  1987-12-14  |  368 b   |  8 lines
  1. "Binary Engineering/Pre- and Post-Conditions" -- Bruce Webster
  2. The author describes a method of creation theoretically bug-free code
  3. by writing a full spec for the program consisting of pre- and post-
  4. conditions.  Data abstraction is also discussed.
  5.  
  6. Turbo Pascal program design correctness pre-conditions post-conditions
  7. data abstraction software engineering
  8.