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

[Back matter] (Abstract)

pp. 1-4

Editor's notice (Abstract)

pp. 261

Table of contents (Abstract)

pp. 1

[Inside front cover] (Abstract)

pp. c2

A methodology for software engineering (Abstract)

Yaohan Chu , Departments of Computer Science and Electrical Engineering, University of Maryland, College Park, Md. 20742
pp. 262-270

Property extraction in well-founded property sets (Abstract)

Ben Wegbreit , Xerox Palo Alto Research Center, Palo Alto, Calif. 94304
pp. 270-285

Program graphs, an algebra, and their implication for programming (Abstract)

Michael R. Paige , Sperry Rand Corporate Research Center, Sudbury, Mass; Science Applications, San Francisco, Calif. 94621
pp. 286-291

Random insertion into a priority queue structure (Abstract)

Thomas Porter , Department of Computer Science, Stanford University, Stanford, Calif. 94305
pp. 292-298

A theory of software reliability and its application (Abstract)

John D. Musa , Bell Laboratories, Whippany, N.J. 07981
pp. 312-327

Introducing iteration into the Pure Lisp theorem prover (Abstract)

J Strother Moore , Xerox Palo Alto Research Center, Palo Alto, Calif. 94304
pp. 328-338

Strong verification of programs (Abstract)

Sanat K. Basu , Department of Computer Sciences, University of Texas at Austin, Austin, Tex. 78712
Raymond T. Yeh , Department of Computer Sciences, University of Texas at Austin, Austin, Tex. 78712
pp. 339-346
98 ms
(Ver 3.1 (10032016))