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 BibTeX
R. Jamieson: Systems Development Data Base Audit - A DP Management Guide. 7-11 BibTeX
Mario Schkolnick, Paul G. Sorenson: The Effects of Denormalisation on Database Performance. 12-18 BibTeX
C. E. Roberts Jr.: Variable Order, Variable Stepsize, Componentwise Integration. 19-25 BibTeX
W. H. Wilson, C. F. Burrows, M. Sidhom: Design of an Interactive Financial Planning Package. 26-31 BibTeX
P. J. Turner: A Disk Based Observing System for a Radio Telescope. 32-34 BibTeX

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

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

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