The Community for Technology Leaders
Green Image
Issue No. 04 - December (vol. 2)
ISSN: 0098-5589

IEEE Computer Society (PDF)

pp. c2

Guest Editorial (PDF)

pp. 237

An Illustration of Current Ideas on the Derivation of Correctness Proofs and Correct Programs (Abstract)

D. Gries , Department of Computer Science, Cornell University
pp. 238-244

Induction as the Basis for Program Verification (PDF)

C. Reynolds , Department of Computer Sciences, University of Texas Austin
pp. 244-252

An Introduction to the Construction and Verification of Alphard Programs (PDF)

W.A. Wulf , Department of Computer Science, Carnegie-Mellon University
pp. 253-265

Software Development (Abstract)

H.D. Mills , IBM Corporation
pp. 265-273

Software Engineering and Structured Programming (Abstract)

M.V. Wilkes , Computer Laboratory, University of Cambridge
pp. 274-276

A Language Extension for Controlling Access to Shared Data (Abstract)

A.K. Jones , Department of Computer Science, Carnegie-Mellon University
pp. 277-285

Control Structure Abstractions of the Backtracking Programming Technique (PDF)

S.L. Gerhart , Department of Computer Science, Duke University
pp. 285-292

On the Automated Generation of Program Test Data (PDF)

C.V. Ramamoorthy , Department of Electrical Engineering and Computer Sciences and the Electronics Research Laboratory, University of California
pp. 293-300

Design and Specification of the Minimal Subset of an Operating System Family (PDF)

D.L. Parnas , Department of Computer Science, University of North Carolina
pp. 301-307

A Complexity Measure (Abstract)

T.J. McCabe , Department of Defense, National Security Agency
pp. 308-320

RIG, Rochester's Intelligent Gateway: System Overview (PDF)

J.E. Ball , Department of Computer Science, University of Rochester
pp. 321-328
90 ms
(Ver 3.3 (11022016))