Concepedia

Peter Amey

PA

3

Publications

88

Citations

3

H-Index

2002

Active since

Affiliations

Praxis (United Kingdom)(Current)

Peter Amey is an author at Praxis (United Kingdom) specializing in engineering, formal verification, and formal methods.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationSoftware EngineeringSoftware Verification

Publications per year

2002–2003

3

Publications

3

Correctness By Construction: Better Can Also Be Cheaper

Peter Amey · 2002 · 60 citations

Construction Technology, Engineering, Cost Issue +4

Industrial strength exception freedom

Peter Amey, Roderick Chapman · ACM SIGAda Ada Letters · 2002 · 15 citations

Program Checking, Engineering, Industrial Engineering +22

Static verification and extreme programming

Peter Amey, Roderick Chapman · 2003 · 13 citations

Software Maintenance, Engineering, Verification +22

Rows per page

1–3 of 3