CSDL - IEEE Transactions on Software Engineering - Table of Contents

TABLE OF CONTENTS

Issue No. 03 - May (vol. 3)

ISSN: 0098-5589

Papers

IEEE Transactions on Software Engineering - Table of contents (PDF)

pp. c1

IEEE Computer Society (PDF)

pp. c2

Constructive Methods in Program Verification (Abstract)

B. Wegbreit , Xerox Palo Alto Research Center

pp. 193-209

Extending Concurrent Pascal to Allow Dynamic Resource Management (Abstract)

A. Silberschatz , Department of Mathematical Sciences, University of Texas

R.B. Kieburtz

A.J. Bernstein

pp. 210-217

Use of Psychological Experimentation as an Aid to Development of a Query Language (Abstract)

P. Reisner , IBM Research Laboratory

pp. 218-229

Management of Software Development (Abstract)

E.B. Daly , GTE Automatic Electric Laboratories

pp. 229-242

Compiler Analysis of the Value Ranges for Variables (PDF)

W.H. Harrison , IBM Thomas J. Watson Research Center

pp. 243-250

A Study of the Physical Structure of Algorithms (Abstract)

S.H. Zweben , Department of Computer and Information Science, Ohio State University

pp. 250-258

Implementing a Pseudorandom Number Generator on a Minicomputer (Abstract)

T.G. Lewis

W.V. Camp , Standard Oil (Indiana)

pp. 259-262

Correction to "An Illustration of Current Ideas on the Derivation of Correctness Proofs and Correct Programs" (PDF)

D. Gries , Department of Computer Science, Cornell University

pp. 262

Call for Papers (PDF)

pp. 262

If your Computer Engineering Library doesn't Subscribe to All 3 it's not Complete (PDF)

pp. 262

IEEE Computer Society Publications (PDF)

pp. 262

Compcon77 Fall (PDF)

pp. 262

CITATIONS

ASCII

BibTex

Refworks

Procite

Refman

EndNote