The Community for Technology Leaders
Green Image
Issue No. 01 - January (vol. 7)
ISSN: 0098-5589

IEEE Computer Society (PDF)

pp. c2

Transformational Implementation: An Example (PDF)

R. Balzer , Information Sciences Institute, University of Southern California
pp. 3-14

Program Development as a Formal Activity (PDF)

M. Broy , Institut f?r Informatik, Technische Universit?t M?nchen
pp. 14-22

Type Transformations (PDF)

D.S. Wile , Information Sciences Institute, University of Southern California
pp. 32-39

Design of Analyzers for Selective Program Analysis (Abstract)

J. Arthur , Department of Computer Science, Purdue University
pp. 39-51

Consequence Verification of Flowcharts (Abstract)

K.L. Clark , Department of Computing and Control, Imperial College of Science and Technology
pp. 52-60

Qualified Data Flow Problems (Abstract)

L.H. Holley , IBM Cambridge Scientific Center
pp. 60-78

Further Analysis of the Entity-Relationship Approach to Database Design (Abstract)

P.A. Ng , Department of Computer Sciences, University of Missouri
pp. 85-99

Mapping Considerations in the Design of Schemas for the Relational Model (PDF)

S. Al-Fedaghi , Department of Electrical Engineering and Computer Science, Northwestern University
pp. 99-111

Algorithms to Distribute a Database for Parallel Searching (Abstract)

B. Srinivasan , Computer Centre, Indian Institute of Technology
pp. 112

A Comparison of Dynamic and Static Virtual Memory Allocation Algorithms (Abstract)

R.L. Budzinski , Central Research Laboratory, Texas Instruments, Inc.
pp. 122-131

Optimum Cell Size for the Storage of Messages (Abstract)

P. Sipala , Istituto di Elettrotecnica e di Elettronica, Universiti di Trieste
pp. 132-134

Internal Scheduling and Memory Contention (PDF)

A.J. Smith , Computer Science Division, Department of Electrical Engineering and Computer Sciences, University of California
pp. 135-146

Capture-Recapture Sampling for Estimating Software Error Content (Abstract)

J.W. Duran , Programs in Mathematical Sciences, University of Texas at Dallas
pp. 147-148

1980 Referees List (PDF)

pp. 148-149

Information for Authors (PDF)

pp. 150

IEEE Copyright Form (PDF)

pp. 151

Call for Papers (PDF)

pp. 151
79 ms
(Ver 3.3 (11022016))