Peter Amey

Publication Activity (10 Years)

Years Active: 2001-2006
Publications (10 Years): 0

Publications

Peter Amey
Why Programming Languages Still Matter. RODIN Book (2006)
Peter Amey, Roderick Chapman, Neil White
Smart Certification of Mixed Criticality Systems. Ada-Europe (2005)
Peter Amey, Neil White
High Integrity Ada in a UML and C World. Ada-Europe (2004)
Peter Amey, Brian Dobbing
Static analysis of Ravenscar programs. IRTAW (2003)
Peter Amey, Roderick Chapman
Static verification and extreme programming. SIGAda (2003)
Peter Amey, Brian Dobbing
High Integrity Ravenscar. Ada-Europe (2003)
Peter Amey, Roderick Chapman
Industrial strength exception freedom. SIGAda (2002)
Peter Amey
Closing the Loop: The Influence of Code Analysis on Design. Ada-Europe (2002)
Peter Amey
A language for systems not just software. SIGAda (2001)
Peter Amey
Logic versus Magic in Critical Systems. Ada-Europe (2001)