Computing Surveys (CSUR)


Search Issue
enter search term and/or author name below:


ACM Computing Surveys (CSUR), Volume 14 Issue 2, June 1982

About This Issue…
Adele J. Goldberg
Pages: 149-150
DOI: 10.1145/356876.356877

Editorial Policy
Adele J. Goldberg
Pages: 151-157
DOI: 10.1145/356876.356878

Validation, Verification, and Testing of Computer Software
John C. Cherniavsky, Martha A. Branstad, W. Richards Adrion
Pages: 159-192
DOI: 10.1145/356876.356879

Validation of Scientific Programs
William E. Howden
Pages: 193-227
DOI: 10.1145/356876.356880

A Comparative Analysis of Functional Correctness
Douglas D. Dunlop, Victor R. Basili
Pages: 229-244
DOI: 10.1145/356876.356881

The Integrated Dictionary/Directory System
Frank W. Allen, Mary E. S. Loomis, Michael V. Mannino
Pages: 245-286
DOI: 10.1145/356876.356882

Comparative Models of the File Assignment Problem
Lawrence W. Dowdy, Derrell V. Foster
Pages: 287-313
DOI: 10.1145/356876.356883

Surveyor's Forum: Technical Transactions
Heinz Bender
Pages: 315-316
DOI: 10.1145/356876.356884

Surveyor's Forum: Technical Transactions
David Gifford
Page: 316
DOI: 10.1145/356876.356885

Surveyor's Forum: Technical Transactions
Philip Bernstein, Nathan Goodman
Pages: 317-318
DOI: 10.1145/356876.356886