The Computer Journal

Articles

D. Benyon and S. Skidmore

Towards a Tool Kit For the Systems Analyst
The Computer Journal 1987 30: 2-7; doi:10.1093/comjnl/30.1.2 [Abstract] [PDF] [Request Permissions]  

H. K. Klein and R. A. Hirschheim

A Comparative Framework of Data Modelling Paradigms and Approaches
The Computer Journal 1987 30: 8-15; doi:10.1093/comjnl/30.1.8 [Abstract] [PDF] [Request Permissions]  

R. H. Gallard

An Extension in the Definition of a Petri Net Execution
The Computer Journal 1987 30: 16-19; doi:10.1093/comjnl/30.1.16 [Abstract] [PDF] [Request Permissions]  

S. Tsutsui and Y. Fujimoto

Deadlock Prevention in Process Control Computer Systems
The Computer Journal 1987 30: 20-26; doi:10.1093/comjnl/30.1.20 [Abstract] [PDF] [Request Permissions]  

R. Backhouse and A. Khamiss

A While-rule in Martin-Löf's Theory of Types
The Computer Journal 1987 30: 27-36; doi:10.1093/comjnl/30.1.27 [Abstract] [PDF] [Request Permissions]  

A. G. Middleton

Some Transformations of Relevance to Report Generation
The Computer Journal 1987 30: 37-42; doi:10.1093/comjnl/30.1.37 [Abstract] [PDF] [Request Permissions]  

G. Oulsnam

The Algorithmic Transformation of Schemas to Structured Form
The Computer Journal 1987 30: 43-51; doi:10.1093/comjnl/30.1.43 [Abstract] [PDF] [Request Permissions]  

J. A. W. Faidhi and S. K. Robinson

Programmer Experience-Level Indicators
The Computer Journal 1987 30: 52-62; doi:10.1093/comjnl/30.1.52 [Abstract] [PDF] [Request Permissions]  

D. C. Ince

The Automatic Generation of Test Data
The Computer Journal 1987 30: 63-69; doi:10.1093/comjnl/30.1.63 [Abstract] [PDF] [Request Permissions]  

J. S. Rohl

Towers of Hanoi: The Derivation of Some Iterative Versions
The Computer Journal 1987 30: 70-76; doi:10.1093/comjnl/30.1.70 [Abstract] [PDF] [Request Permissions]  

P. M. Fenwick

A Fast-Carry Adder with CMOS Transmission Gates
The Computer Journal 1987 30: 77-79; doi:10.1093/comjnl/30.1.77 [Abstract] [PDF] [Request Permissions]  

T. Raita

An Automatic System for File Compression
The Computer Journal 1987 30: 80-86; doi:10.1093/comjnl/30.1.80 [Abstract] [PDF] [Request Permissions]  

A. J. Cole

Compaction Techniques for Raster Scan Graphics using Space-filling Curves
The Computer Journal 1987 30: 87-92; doi:10.1093/comjnl/30.1.87 [Abstract] [PDF] [Request Permissions]  

J. Rosenne

Correspondence
The Computer Journal 1987 30: 93; doi:10.1093/comjnl/30.1.93 [PDF] [Request Permissions]  

Announcements
The Computer Journal 1987 30: 93; doi:10.1093/comjnl/30.1.93-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.