Concepedia

David Cooper

DC

5

Publications

203

Citations

5

H-Index

1991

Active since

Affiliations

Plastic Logic (United Kingdom)(Current)

David Cooper is an author at Plastic Logic (United Kingdom) specializing in formal verification, computer science, and formal methods.

Top concepts

Publications per year

1991–2007

5

Publications

5

An Electronic Purse: Specification, Refinement and Proof

Susan Stepney, David Cooper, Jim Woodcock · Kent Academic Repository (University of Kent) · 2000 · 106 citations · Full text

The certification of the Mondex electronic purse to ITSEC Level E6

Jim Woodcock, Susan Stepney, David Cooper et al. · Formal Aspects of Computing · 2007 · 40 citations · Full text

A demonstrably correct compiler

Susan Stepney, Dave Whitley, David Cooper et al. · Formal Aspects of Computing · 1991 · 21 citations

A survey of object orientation in Z

Susan Stepney, Rosalind Barden, David Cooper · Software Engineering Journal · 1992 · 21 citations

, , +28

Derivation of Refinement Proof Rules for Z: forwards and backwards rules incorporating input/output refinement

David Cooper, Susan Stepney, Jim Woodcock · Kent Academic Repository (University of Kent) · 2000 · 15 citations

, , +11

Rows per page

1–5 of 5