MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Peter Amey" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 11 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Closing the loop - The Influence of Code Analysis on Design  
  • by Peter Amey, Peter Amey — 2002 — Lecture Notes in Computer Science2361 J. Bliebergerand A.Strohmeier (Eds.): Reliable Software Technologies - Ada-Europe 2002 7th Ada-Europe International Conference
  • …Closing the loop — The Influence of Code Analysis on Design Peter Amey Publication notes…
  • Cited by 1 (1 self) – Add To MetaCart
  • Industrial strength exception freedom  
  • by Peter Amey, Peter Amey, Roderick Chapman, Roderick Chapman — 2002 — Proceedings of ACM SIGAda 2002 2
  • …Industrial Strength Exception Freedom Peter Amey, Roderick Chapman Publication notes ACM COPYRIGHT…
  • Cited by 8 (4 self) – Add To MetaCart
  • Static Verification and Extreme Programming  
  • by Peter Amey, Roderick Chapman, Peter Amey, Roderick Chapman — 2003 — Proceedings of the ACM SIGAda Annual International Conference, 2003. Engineering and eXtreme Programming: An Impossible Marriage? 13
  • …Static Verification and Extreme Programming Peter Amey, Roderick Chapman Publication notes © ACM…
  • Cited by 2 (0 self) – Add To MetaCart
  • A Language for Systems not Just Software  
  • by Peter Amey Praxis, Peter Amey — 2001 — Proceedings of ACM SIGAda 2001 2
  • …A Language for Systems not Just Software Peter Amey 1. ABSTRACT The specification…
  • Add To MetaCart
  • Closing the Loop: The Influence of Code Analysis on  
  • by Design Peter Amey, Peter Amey — 2002 — Lecture Notes in Computer Science2361 J. Bliebergerand A.Strohmeier (Eds.): Reliable Software Technologies - Ada-Europe 2002 7th Ada-Europe International Conference
  • …Closing the Loop: The Influence of Code Analysis on Design Peter Amey Praxis Critical Systems, 20…
  • Add To MetaCart
  • Industrial Strength Exception Freedom  
  • by Peter Amey Roderick, Peter Amey, Roderick Chapman — 2002
  • …Industrial Strength Exception Freedom Peter Amey, Roderick Chapman ABSTRACT Ada is unique amongst…
  • Add To MetaCart
  • High Integrity Ravenscar  
  • by Peter Amey And, Peter Amey, Brian Dobbing — 2003 — In 8th International Conference on Reliable Software Technologies -- Ada-Europe 2003 (AE03
  • …High Integrity Ravenscar Peter Amey and Brian Dobbing Praxis Critical Systems, 20, Manvers St…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB