The Community for Technology Leaders
Green Image
TABLE OF CONTENTS
Issue No. 09 - September (vol. 11)
ISSN: 0098-5589
Papers

IEEE Computer Society (PDF)

pp. c2

IEEE Software (PDF)

pp. 829

An Introduction to IEEE Software (PDF)

B.D. Shriver , IEEE Software IBM Thomas J. Watson Research Center
pp. 829

Design Stability Measures for Software Maintenance (Abstract)

S.S. Yau , Department of Electrical Engineering and Computer Science, Northwestern University
pp. 849-856

On the Uncertainty in the Correctness of Computer Programs (Abstract)

F.B. Bastani , Department of Computer Science, University of Houston
pp. 857-864

Database Integrity Block Construct: Concepts and Design Issues (PDF)

L. Lilien , Department of Electrical Engineering and Computer Science, University of Illinois
pp. 865-885

An Implementation of an Automated Protocol Synthesizer (APS) and Its Application to the X.21 Protocol (Abstract)

C.V. Ramamoorthy , Department of Electrical Engineering and Computer Science and the Electronics Research Laboratory, University of California
pp. 886-908

Automated Software Quality Assurance (PDF)

H.M. Sneed , Software Engineering Service
pp. 909-916

Stochastic Modeling of Branch-and-Bound Algorithms with Best-First Search (Abstract)

B.W. Wah , Department of Electrical and Computer Engineering and the Coordinated Science Laboratory, University of Illinois
pp. 922-934

RUBRIC: A System for Rule-Based Information Retrieval (PDF)

B.P. Mc Cune , Advanced Information & Decision Systems
pp. 939-945

Adaptive File Allocation in Star Computer Network (Abstract)

C.T. Yu , Department of Electrical Engineering and Computer Science, University of Illinois
pp. 959-965

Toward the Next Generation of Data Modeling Tools (PDF)

C.R. Carlson , Department of Computer Science, Illinois Institute of Technology, IIT Center
pp. 966-970

Augmenting Ada for SIMD Parallel Processing (Abstract)

C.L. Cline , PASM Parallel Processing Laboratory, School of Electrical Engineering, Purdue University
pp. 970-977

Call for Papers (PDF)

pp. 992
98 ms
(Ver )