Skip Navigation

Receive this page by email each issue: [Sign up for eTOCs]

Contents: Volume 35, Number 5, October 1992   [Index by Author] 
Other Issues: Previous Next  

Down Editorial
Down Articles
Down Announcements
Down Book Reviews
Down Special issue on Spatial Data
Down Journal Review
Down Announcement
Down Office Modelling
Down Announcement
Down Information Systems
Down Functional Languages
Down Short Notes
Down Announcement
Down Short Notes
Down Additional Papers


[Search ALL Issues]

Front Matter (PDF) | Back Matter (PDF)

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.

Editorial Back

John Cooke
Editorial – Formal Methods: What? Why? and When?
The Computer Journal 1992 35: 417-418; doi:10.1093/comjnl/35.5.417 [PDF] [Request Permissions]  

Articles Back

J. Cooke
Formal Methods – Mathematics, Theory, Recipes or what?
The Computer Journal 1992 35: 419-423; doi:10.1093/comjnl/35.5.419 [Abstract] [PDF] [Request Permissions]  

A. Galton
Classical Logic: a Crash Course for Beginners
The Computer Journal 1992 35: 424-430; doi:10.1093/comjnl/35.5.424 [Abstract] [PDF] [Request Permissions]  

A. Galton
Logic as a Formal Method
The Computer Journal 1992 35: 431-440; doi:10.1093/comjnl/35.5.431 [Abstract] [PDF] [Request Permissions]  

J. C. P. Woodcock
The Rudiments of Algorithm Refinement
The Computer Journal 1992 35: 441-450; doi:10.1093/comjnl/35.5.441 [Abstract] [PDF] [Request Permissions]  

T. Clement
The Role of Data Reification in Program Refinement: Origins, Synthesis and Appraisal
The Computer Journal 1992 35: 451-459; doi:10.1093/comjnl/35.5.451 [Abstract] [PDF] [Request Permissions]  

H. Ehrig, B. Mahr, I. Classen, and F. Orejas
Introduction to Algebraic Specification. Part 1: Formal Methods for Software Development
The Computer Journal 1992 35: 460-467; doi:10.1093/comjnl/35.5.460 [Abstract] [PDF] [Request Permissions]  

H. Ehrig, B. Mahr, and F. Orejas
Introduction to Algebraic Specification. Part 2: From Classical View to Foundations of System Specifications
The Computer Journal 1992 35: 468-477; doi:10.1093/comjnl/35.5.468 [Abstract] [PDF] [Request Permissions]  

M. van Sinderen, L. Ferreira Pires, and C. A. Vissers
Protocol Design and Implementation Using Formal Methods
The Computer Journal 1992 35: 478-491; doi:10.1093/comjnl/35.5.478 [Abstract] [PDF] [Request Permissions]  

Announcements Back

Announcements
The Computer Journal 1992 35: 423; doi:10.1093/comjnl/35.5.423 [PDF] [Request Permissions]  

Announcements
The Computer Journal 1992 35: 513; doi:10.1093/comjnl/35.5.513 [PDF] [Request Permissions]  

Book Reviews Back

D. Ince
CASE Technology
The Computer Journal 1992 35: 430; doi:10.1093/comjnl/35.5.430 [PDF] [Request Permissions]  

P. Thainisch
Real-time Transaction Processin
The Computer Journal 1992 35: 430; doi:10.1093/comjnl/35.5.430-a [PDF] [Request Permissions]  

P. Quinlan
Neural Network Parallel Computing
The Computer Journal 1992 35: 450; doi:10.1093/comjnl/35.5.450 [PDF] [Request Permissions]  

Dave Berry
ML for the Working Programme
The Computer Journal 1992 35: 450; doi:10.1093/comjnl/35.5.450-a [PDF] [Request Permissions]  

L. C. Paulson
Functional Programming with Hope
The Computer Journal 1992 35: 491; doi:10.1093/comjnl/35.5.491 [PDF] [Request Permissions]  

Roy Dyckhoff
Book Review
The Computer Journal 1992 35: 539; doi:10.1093/comjnl/35.5.539 [PDF] [Request Permissions]  

Special issue on Spatial Data Back

Special Issue on Spatial Data – Call for Papers
The Computer Journal 1992 35: 467; doi:10.1093/comjnl/35.5.467 [PDF] [Request Permissions]  

Journal Review Back

A. Leeming
Informatization in the Public Sector
The Computer Journal 1992 35: 477; doi:10.1093/comjnl/35.5.477 [PDF] [Request Permissions]  

Announcement Back

Announcement
The Computer Journal 1992 35: 477; doi:10.1093/comjnl/35.5.477-a [PDF] [Request Permissions]  

Office Modelling Back

E. Auramäki, R. Hirschheim, and K. Lyytinen
Modelling Offices Through Discourse Analysis: A Comparison and Evaluation of SAMPO with OSSAD and ICN
The Computer Journal 1992 35: 492-500; doi:10.1093/comjnl/35.5.492 [Abstract] [PDF] [Request Permissions]  

Announcement Back

Announcement
The Computer Journal 1992 35: 500; doi:10.1093/comjnl/35.5.500 [PDF] [Request Permissions]  

Information Systems Back

B. Czejdo and M. C. Taylor
Integration of Information Systems Using an Object-Oriented Approach
The Computer Journal 1992 35: 501-513; doi:10.1093/comjnl/35.5.501 [Abstract] [PDF] [Request Permissions]  

Functional Languages Back

H. Søndergaard and P. Sestoft
Non-determinism in Functional Languages
The Computer Journal 1992 35: 514-523; doi:10.1093/comjnl/35.5.514 [Abstract] [PDF] [Request Permissions]  

Short Notes Back

A. A. Bertossi, F. Luccio, L. Pagli, and E. Lodi
A Parallel Solution to the Approximate String Matching Problem
The Computer Journal 1992 35: 524-526; doi:10.1093/comjnl/35.5.524 [Abstract] [PDF] [Request Permissions]  

D. J. Challab
Flexible Arrays: Evaluation of the B-Tree Based System
The Computer Journal 1992 35: 527-529; doi:10.1093/comjnl/35.5.527 [Abstract] [PDF] [Request Permissions]  

David Furber
A Survey of the Teaching of Programming to Computing Undergraduates in U.K. Universities and Polytechnics
The Computer Journal 1992 35: 530-533; doi:10.1093/comjnl/35.5.530 [Abstract] [PDF] [Request Permissions]  

Announcement Back

Announcement
The Computer Journal 1992 35: 537; doi:10.1093/comjnl/35.5.537 [PDF] [Request Permissions]  

Announcement
The Computer Journal 1992 35: 539; doi:10.1093/comjnl/35.5.539-a [PDF] [Request Permissions]  

Short Notes Back

D. T. H. Ng and B. J. Oommen
A Short Note on Doubly-Linked List Reorganizing Heuristics
The Computer Journal 1992 35: 533-535; doi:10.1093/comjnl/35.5.533 [Abstract] [PDF] [Request Permissions]  

B. Jamison and S. Olariu
Indexing for Multi-Attribute Retrieval
The Computer Journal 1992 35: 535-537; doi:10.1093/comjnl/35.5.535 [PDF] [Request Permissions]  

Additional Papers Back

Additional Papers
The Computer Journal 1992 35: 538; doi:10.1093/comjnl/35.5.538 [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.