Computing Science

www.oakcomp.co.uk

Fax: +44 (0)208-336-1151
Electronic mail contact

(1995) Safer C: Developing for High-Integrity and Safety-Critical Systems
Hatton, L.

"Safe programming is not just the domain of those writing software for life-threatening situations such as fly-by-wire aeroplanes and nuclear power stations... This book should be read by all who are involved in any aspect of software development in C."

Francis Glassborow
Chairman, The Association of C and C++ Users

(2001) Solid Software
Pfleeger, S.L., Hatton, L. and Howell, C.

"Large software systems will never be perfect, but decision makers need better ways to evaluate and enhance software quality - especially where software is mission critical or used in life-or-death environments. Solid Software presents realistic techniques for analysing and improving the quality and robustness of any software system or software-intensive product."

"Solid Software isn't theoretical: it's a relentlessly practical decision maker's guide to making intelligent, responsible trade-offs that lead to the best software at the best cost."

"Solid Software draws upon dozens of real-world examples, based on the authors' extensive experience as software quality consultants, and interviews with key software decision makers worldwide. Whether you're a developer, project manager, architect, executive, manager, or regulator, it's your single source for improving software quality - in the real world."

from sleeve notes

Prentice-Hall
ISBN 0-13-091298-0

  Geophysical

(1986) The Marine Seismic Source
Parkes and Hatton

"A detailed knowledge of the radiation field of seismic sources is essential to effective source design and source wavefield deconvolution. The Marine Seismic Source provides a coherent, easily readable, and comprehensive introduction to this subject. The relevant physical principles and terminology are discussed first, including the generation, propagation and measurement of acoustic radiation in water. The theory and applications of spatially extended source arrays are then considered and the causes and effects of interaction are examined in detail. This discussion is extended to encompass the latest innovative ideas on marine source design and wavefield determination. The latter part of the book deals with the more practical aspects of controlling and deconvolving the wavefield. To ensure generality, reference to specific sources has been avoided in the text whenever possible. Technical information on the more important sources is, however, collected in an appendix."

 from sleeve notes

Reidel
ISBN 90-277-2228-5

(1986) Seismic Data Processing, Theory and Practice
Hatton, Worthington and Makin

"The main emphasis of this book is on the practical application os seismic data processing methods. It provides students and practising exploration geologists and geophysicists with up-yo-date information on computer systems, data processing, times series analysis, seismic data processing, migration and inversion theory and practice. Relevant computer hardware and day-to-day procedures in a seismic data processing laboratory are discussed."

from sleeve notes

Blackwell Scientific
ISBN 0-632-01374-5

back to top