Australian Computer Journal, Volume 14

Volume 14, Number 1, 1982

Jan B. Hext, S. C. Hirst: The Formal Treatment of state Transition Tables - A Tutorial. 1-6
R. Jamieson: Systems Development Data Base Audit - A DP Management Guide. 7-11
Mario Schkolnick, Paul G. Sorenson: The Effects of Denormalisation on Database Performance. 12-18
C. E. Roberts Jr.: Variable Order, Variable Stepsize, Componentwise Integration. 19-25
W. H. Wilson, C. F. Burrows, M. Sidhom: Design of an Interactive Financial Planning Package. 26-31
P. J. Turner: A Disk Based Observing System for a Radio Telescope. 32-34

B. Dwyer: Cobol, Comments and correctness. 42-47
Roger Clarke: Background to Program Generators for Commercial Applications. 48-55
James Leslie Keedy, I. Richards: Software Engineering View of Files. 56-61
N. Parkin: The Input Space Model for Software Testing. 62-65
Andrew M. Lister: Software Science - The Emperor's New Clothes?
D. H. Scuse: Data Base Interfaces. 71-74

R. P. Watkins: Input-Output Systems in High-Level Languages, Part I - The Archaeology of Fortran and Algol. 77-90
John Kaunitz: A Descriptive Model for the Architectural Design of Information Systems. 91-98
T. H. Tse, L. Pong: A Review of System Development Systems. 99-109
W. P. Beaumont: A Cobol Project Using Minimal Resources. 110-114
D. Cameron, E. Osborn: Security Aspects of a Magnetic Tape Management System. 115-116

R. P. Watkins: Input-Output Systems in High-Level Languages, Part II - Pascal and Basic. 122-133
P. G. Reddy, Subhash Bhalla, Bandreddi E. Prasad: Reliable Concurrency Control and Crash-recovery in Distributed Databases. 134-136
M. A. Malik: A Language for Verifiable Modular Programming. 137-142
Roger Clarke: Teleprocessing Monitors and Program Structure. 143-149
Bruce R. Howarth: Review of Disk Scheduling Policies. 150-154