dblp.uni-trier.dewww.uni-trier.de

Peter Amey

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2006
9EEPeter Amey: Why Programming Languages Still Matter. RODIN Book 2006: 391-402
2005
8EEPeter Amey, Roderick Chapman, Neil White: Smart Certification of Mixed Criticality Systems. Ada-Europe 2005: 144-155
2004
7EEPeter Amey, Neil White: High Integrity Ada in a UML and C World. Ada-Europe 2004: 225-236
2003
6EEPeter Amey, Brian Dobbing: High Integrity Ravenscar. Ada-Europe 2003: 68-79
5EEPeter Amey, Roderick Chapman: Static verification and extreme programming. SIGAda 2003: 4-9
2002
4EEPeter Amey: Closing the Loop: The Influence of Code Analysis on Design. Ada-Europe 2002: 151-162
3EEPeter Amey, Roderick Chapman: Industrial strength exception freedom. SIGAda 2002: 1-9
2001
2EEPeter Amey: Logic versus Magic in Critical Systems. Ada-Europe 2001: 49-67
1EEPeter Amey: A language for systems not just software. SIGAda 2001: 3-11

Coauthor Index

1Roderick Chapman [3] [5] [8]
2Brian Dobbing [6]
3Neil White [7] [8]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)