Concepedia

D.L. Clutterbuck

DC

Statistics

Publications

4

Citations

170

H-Index

4

Active since

1988

Affiliations

Rutherford Appleton Laboratory(Current)

D.L. Clutterbuck is an author at Rutherford Appleton Laboratory specializing in engineering, formal verification, and program analysis.

Top concepts

EngineeringVerificationComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationFormal MethodsSoftware DesignSoftware TestingSoftware Engineering

Publications per year

1988–1997

4

Publications

4

Industrial perspective on static analysis

Brian Wichmann, Audrey Canning, D. W. R. Marsh et al. · Software Engineering Journal · 1995 · 68 citations

Software Maintenance, Engineering, Industrial Engineering +23

The verification of low-level code

D.L. Clutterbuck, Bernard Carré · Software Engineering Journal · 1988 · 48 citations

Program Checking, Engineering, Spade Software Tools +17

The Formal Verification of Safety-critical Assembly Code

Ian O'Neill, D.L. Clutterbuck, P.F. Farrow et al. · IFAC Proceedings Volumes · 1988 · 31 citations

Reliability Engineering, Engineering, Software System Safety +9

Formal methods into practice: case studies in the application of the B method

Juan Bicarregui, D.L. Clutterbuck, Gavin Finnie et al. · IEE Proceedings - Software Engineering · 1997 · 23 citations

Software Maintenance, Engineering, Verification +25

1–4 of 4