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
Last update Sat May 18 20:19:55 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page