The Computer Journal

Articles

N. Rushby

A Knowledge-Engineering Approach to Instructional Design
The Computer Journal 1986 29: 385-389; doi:10.1093/comjnl/29.5.385 [Abstract] [PDF] [Request Permissions]  

M. Joseph and P. Pandya

Finding Response Times in a Real-Time System
The Computer Journal 1986 29: 390-395; doi:10.1093/comjnl/29.5.390 [Abstract] [PDF] [Request Permissions]  

J. P. Penny, P. J. Ashton, and A. L. Wilkinson

Data Recording and Monitoring for Analysis of System Response Times
The Computer Journal 1986 29: 396-403; doi:10.1093/comjnl/29.5.396 [Abstract] [PDF] [Request Permissions]  

H. Barringer and I. Mearns

A Proof System for Ada Tasks
The Computer Journal 1986 29: 404-415; doi:10.1093/comjnl/29.5.404 [Abstract] [PDF] [Request Permissions]  

J. M. Foster

Validating microcode algebraically
The Computer Journal 1986 29: 416-422; doi:10.1093/comjnl/29.5.416 [Abstract] [PDF] [Request Permissions]  

R. D. Dowsing and R. Elliott

Programming a Bounded Buffer using the Object and Path Expression Constructs of Path Pascal
The Computer Journal 1986 29: 423-429; doi:10.1093/comjnl/29.5.423 [Abstract] [PDF] [Request Permissions]  

M. C. Er

The Use of Termination Indicators in Computer Programming
The Computer Journal 1986 29: 430-433; doi:10.1093/comjnl/29.5.430 [Abstract] [PDF] [Request Permissions]  

A. D. Woodall

Techniques of program design
The Computer Journal 1986 29: 434-435; doi:10.1093/comjnl/29.5.434 [Abstract] [PDF] [Request Permissions]  

W. C. Chen and J. S. Vitter

Deletion Algorithms for Coalesced Hashing
The Computer Journal 1986 29: 436-450; doi:10.1093/comjnl/29.5.436 [Abstract] [PDF] [Request Permissions]  

S. Pramanik and F. Fotouhi

Index Database Machine
The Computer Journal 1986 29: 451-457; doi:10.1093/comjnl/29.5.451 [Abstract] [PDF] [Request Permissions]  

S. Jajodia

Recognizing Multivalued Dependencies in Relation Schemas
The Computer Journal 1986 29: 458-459; doi:10.1093/comjnl/29.5.458 [Abstract] [PDF] [Request Permissions]  

A. Blair and I. Sommerville

DSA – A Tool for Descriptive Text Analysis
The Computer Journal 1986 29: 460-466; doi:10.1093/comjnl/29.5.460 [Abstract] [PDF] [Request Permissions]  

M. Rom and S. Bergman

A New Technique for Automatic Contouring and Contour Representation from Machine-Readable Spatial Data
The Computer Journal 1986 29: 467-471; doi:10.1093/comjnl/29.5.467 [Abstract] [PDF] [Request Permissions]  

F. Fabbrini and C. Montani

Autumnal Quadtrees
The Computer Journal 1986 29: 472-474; doi:10.1093/comjnl/29.5.472 [Abstract] [PDF] [Request Permissions]  

B. Shackel

IBM makes usability as important as functionality
The Computer Journal 1986 29: 475-476; doi:10.1093/comjnl/29.5.475 [Abstract] [PDF] [Request Permissions]  

J. M. Wilson

Short Note: A Weighted Mark-Scaling Algorithm
The Computer Journal 1986 29: 477; doi:10.1093/comjnl/29.5.477 [Abstract] [PDF] [Request Permissions]  

W. F. Lunnon

Correspondence
The Computer Journal 1986 29: 478; doi:10.1093/comjnl/29.5.478 [PDF] [Request Permissions]  

D. Du Feu

Correspondence
The Computer Journal 1986 29: 478; doi:10.1093/comjnl/29.5.478-a [PDF] [Request Permissions]  

To see an article, click its [Full Text] or [PDF] link. To review many abstracts, check the boxes to the left of the titles you want, and click the 'Get All Checked Abstract(s)' button. To see one abstract at a time, click its [Abstract] link.