The Community for Technology Leaders
CSDL Home IEEE Transactions on Software Engineering 1977 vol. 3 Issue No. 03 - May
Green Image
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)

W.V. Camp , Standard Oil (Indiana)
T.G. Lewis
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
89 ms
(Ver 3.3 (11022016))