|
Computing Science
- Hatton,
L. (2002) Safer Language Subsets: an overview and a case history, MISRA C,
submitted to Information and Software Technology, June, 2002
- Hatton,
L. (2001) Exploring the role of Diagnosis in Software Failure,
IEEE Software, July.
- Hatton,
L., (1999) Ariane 5: a smashing success, Software Testing and
Quality Engineering, 1, (2), p. 14-16
- Hatton,
L., (1999) Towards a consistent legal framework for understanding
software systems behaviour, LL.M. thesis, Law School, University of
Strathclyde, Scotland
- Hatton,
L., (1999) Repetitive failure, feedback and the lost art of diagnosis,
Journal of Systems and Software, to appear in 1999.
- Hatton,
L., (1998) Programming technology, reliability, safety and measurement,
IEE Computing and Control Engineering, (9), 1, p. 23-27
- Hatton,
L., (1998) Does OO sync with the way we think ?, IEEE Software,
(15), 3, p. 46-54
- Hatton,
L., (1997) Are N average software versions better than 1 good
version ?, IEEE Software, (14), (Nov/Dec) IEEE Software, p. 71-76.
- Hatton,
L., (1997) "The T-experiments: Errors in scientific software",
IEEE Computational Science and Engineering, June
- Hatton,
L. (1997) Software failures, follies and fallacies, IEE Review,
March 1997
- Hatton,
L., (1997) Re-examining the defect-density versus component size
distribution, 1997. (March/Apr), IEEE Software.
- Pfleeger, S. and Hatton, L. (1997) "Do formal methods really
work", IEEE Computer, Jan 1997.
- Hatton, L. (1996) Software faults: the avoidable and the unavoidable:
lessons from real systems. in Proc. Product Assurance Workshop, ESA
SP-377. 1996. Noordwijk, The Netherlands: European Space Agency.
- Hatton, L., (1996) Is modularisation always a good idea ? International
Software Technology, 38.
- Hatton, L., (1995) Computer programming languages and safety-related
systems, in Proceedings of 3rd. Safety-Critical Systems Symposium,
F. Redmill and T. Anderson, Editors, Springer-Verlag:
- Hatton, L. and C.J.M. Hewlett. (1995) The Tardis Project: Seismic
Data Compression with CD archival: Phase 1 - Feasibility. In E.A.E.G.
1995. Glasgow, June 1995: European Association of Exploration Geophysicists.
- Hatton, L. and A. Roberts, (1994) How accurate is scientific software
? IEEE Transactions on Software Engineering, 20(10 (October 1994)):
p. 785-797.
- Hatton, L., (1994) A case history of automated improvement of software
product quality, in Software Quality Assurance and Measurement, N.
Fenton, Editor, Chapman-Hall: London.
back to top
|
Oakwood Computing
Associates Ltd, U.K.
www.oakcomp.co.uk
Fax: +44 (0)208-336-1151
Electronic mail contact
|
|
Geophysical
Air-gun modelling
- Hatton and Haddow, (1991), "The effects of source array directivity
on 3-D migration", First Break, Sept., 1991.
- Laws, Hatton and Haartsen, (1990), "Computer Modelling of Clustered
Airguns", First Break, vol. 8, no. 9, (Sept.).
- Laws, Parkes and Hatton, (1988) "Energy-Interaction - the large-scale
effects of pressure-field interaction in marine sources", Geophysical
Prospecting,.
- Parkes and Hatton, (1986) "The Marine Seismic Source",
published by Reidel. ISBN 90-277-2228-5
- Hatton, Worthington and Makin, (1986) "Seismic Data Processing,
Theory and Practice", published by Blackwell Scientific. ISBN
0-632-01374-5
Migration and velocity modelling
- Larner, K. and Hatton, L. (1990) "Wave equation migration:
two approaches", First Break, (8).
- Parkes G, and Hatton L. (1987) "Towards a systematic understanding
of the effects of velocity model errors on depth and time migration
of seismic data", First Break, (5), 4.
- Loveridge, M., Parkes G., and Hatton L. (1987) "3D modelling
of migration velocity fields and velocity error zones", First
Break, (5), 8.
- Larner, K., Hatton, L. and Gibson B. (1982) "Depth migration
of imaged time sections", Geophysics (46), 734-750.
- Hatton, L., Larner, K. and Gibson B. (1982) "Migration of seismic
data from inhomogeneous media", Geophysics (46), 751-767
back to top
|
|
