CSDL - IEEE Transactions on Software Engineering - Table of Contents

TABLE OF CONTENTS

Issue No. 03 - May (vol. 4)

ISSN: 0098-5589

Papers

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

pp. c1

IEEE Computer Society (PDF)

pp. c2

Guest Editorial (PDF)

pp. 153

The Concurrency Control Mechanism of SDD-1: A System for Distributed Databases (The Fully Redundant Case) (PDF)

P.A. Bernstein , Department of Computer Science, Harvard University, Cambridge, MA, and the Computer Corporation of America

J.B. Rothnie

N. Goodman

C.A. Papadimitriou

pp. 154-168

Analysis of Real-Time Systems by Data Flowgraphs (Abstract)

U.R. Kodres , Department of Computer Science, Naval Postgraduate School

pp. 169-178

Testing Software Design Modeled by Finite-State Machines (Abstract)

T.S. Chow , Bell Laboratories

pp. 178-187

Program Complexity and Programmer Productivity (Abstract)

E.T. Chen , Computer Science Division, The Travelers Insurance Companies

pp. 187-194

Network: A Multiprocessor Program (Abstract)

P.B. Hansen , Department of Computer Science, University of Southern California

pp. 194-199

The Logic of Computer Programming (PDF)

Z. Manna , Department of Applied Mathematics, Weizmann Institute of Science

R. Waldinger

pp. 199-229

Reliable Resource Allocation Betvveen Unreliable Processes (Abstract)

S. Kumar Shrivastava , Computing Laboratory, University of Newcastle upon Tyne

J.-P. Banatre

pp. 230-241

Software Descriptions with Flow Expressions (Abstract)

A.C. Shaw , Department of Computer Science, University of Washington

pp. 242-254

Critical Load Factors in Two-Processor Distributed Systems (Abstract)

H.S. Stone , Department of Electrical and Computer Engineering, University of Massachusetts

pp. 254-258

Information for Authors (PDF)

pp. 259

Information about the Society (PDF)

pp. 259

IEEE Computer Society Publications (PDF)

pp. 259

Advance Program Announcement (PDF)

pp. 259