Volume 14,
Number 1,
March 1982
Volume 14,
Number 2,
June 1982
- W. Richards Adrion, Martha A. Branstad, John C. Cherniavsky:
Validation, Verification, and Testing of Computer Software.
159-192
- William E. Howden:
Validation of Scientific Programs.
193-227
- Douglas D. Dunlop, Victor R. Basili:
A Comparative Analysis of Functional Correctness.
229-244
- Frank W. Allen, Mary E. S. Loomis, Michael V. Mannino:
The Integrated Dictionary/Directory System.
245-286
- Lawrence W. Dowdy, Derrell V. Foster:
Comparative Models of the File Assignment Problem.
287-313 ,
comments:
ACM Computing Surveys 15(1):
81-82 (1983)
- Heinz Bender:
Surveyor's Forum: Technical Transactions.
315-316
- David K. Gifford:
Surveyor's Forum: Technical Transactions.
316
- Philip A. Bernstein, Nathan Goodman:
Surveyor's Forum: Technical Transactions.
317-318
Volume 14,
Number 3,
September 1982
Volume 14,
Number 4,
December 1982
Copyright © Fri Mar 12 17:26:19 2010
by Michael Ley (ley@uni-trier.de)