Office Information Systems and Computer Science

This publication has 21 references indexed in Scilit:

• Fifth workshop on computer architecture for non-numeric processing
  Published by Association for Computing Machinery (ACM) ,1980
• Distributed Simulation: A Case Study in Design and Verification of Distributed Programs
  IEEE Transactions on Software Engineering, 1979
• Status report of the graphic standards planning committee
  ACM SIGGRAPH Computer Graphics, 1979
• A very high level programming language for data processing applications
  Communications of the ACM, 1977
• An Introduction to Proving the Correctness of Programs
  ACM Computing Surveys, 1976
• Computer Communication Networks: Approaches, Objectives, and Performance Considerations
  ACM Computing Surveys, 1975
• A multi-terminal benchmark
  Software: Practice and Experience, 1973
• Workload charaterization and Selection in Computer Performance Measurement
  Computer, 1972
• Information Systems in Perspective
  ACM Computing Surveys, 1969
• Parallel program schemata
  Journal of Computer and System Sciences, 1969