The Community for Technology Leaders
Green Image
TABLE OF CONTENTS
Issue No. 02 - June (vol. 1)
ISSN: 0098-5589
Papers

Editor's notice (Abstract)

pp. 137

Guest editorial (Abstract)

pp. 137-139

Table of contents (Abstract)

pp. 1

[Inside front cover] (Abstract)

pp. c2

[Back matter] (Abstract)

pp. 1-5

An analysis of errors and their causes in system programs (Abstract)

Albert Endres , IBM Laboratories, Boeblingen, Germany, on leave at the University of Stuttgart, Stuttgart, Germany
pp. 140-149

Quantitative aspects of software validation (Abstract)

Raymond J. Rubey , Logicon, Inc., Dayton, Ohio 45432
Joseph A. Dana , Process Systems Division, Logicon, Inc., Merrifield, Va
Peter W. Biche , Logicon, Inc., Torrance, Calif
pp. 150-155

Toward a theory of test data selection (Abstract)

John B. Goodenough , SofTech, Inc., Waltham, Mass. 02154
Susan L. Gerhart , SofTech, Inc., Waltham, Mass. 02154; Department of Computer Science, Duke University, Durham, N. C. 27706
pp. 156-173

A system for reliable engineering software (Abstract)

L. M. Culpepper , Naval Ship Research and Development Center, Bethesda, Md. 20084
pp. 174-178

Language design for programming reliability (Abstract)

John D. Gannon , Department of Computer Science University of Maryland, College Park, Md. 20742
J. J. Horning , Computer Systems Research Group University of Toronto, Toronto, Ont., Canada
pp. 179-191

An assessment of the programming language pascal (Abstract)

Niklaus Wirth , Federal Institute of Technology (ETH), Zürich, Switzerland
pp. 192-198

The programming language Concurrent Pascal (Abstract)

Per Brinch Hansen , Department of Information SCIence, California Institute of Technology, Pasadena, Calif. 91125
pp. 199-207

On the problem of uniform references to data structures (Abstract)

Charles M. Geschke , Palo Alto Research Center, Xerox Corporation, Palo Alto, Calif. 94304
James G. Mitchell , Palo Alto Research Center, Xerox Corporation, Palo Alto, Calif. 94304
pp. 207-219

System structure for software fault tolerance (Abstract)

Brian Randell , Computing Laboratory, University of Newcastle upon Tyne, Newcastle upon Tyne, England
pp. 220-232

Reliable hardware/software architecture (Abstract)

William A. Wulf , Department of Computer Science, Carnegie-Mellon University, Pittsburgh, Pa. 15213
pp. 233-240

Structured programming in a production programming environment (Abstract)

F. Terry Baker , IBM Federal Systems Division, Gaithersburg, Met, 20760
pp. 241-252

Reliability experience with Chi/OS (Abstract)

William C. Lynch , Department of Computing and Information Sciences, Case Western Reserve University, Cleveland, OMO 44106
John W. Langner , Chi Corporation, Cleveland, Ohio 44106
Marvin S. Schwartz , Chi Corporation, Cleveland, Ohio 44106
pp. 253-257
104 ms
(Ver 3.3 (11022016))