Peter Amey

According to our database, Peter Amey authored at least 10 papers between 2001 and 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2006

Why Programming Languages Still Matter.

Peter Amey

Proceedings of the Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project], 2006

2005

Smart Certification of Mixed Criticality Systems.

Peter Amey, Roderick Chapman, Neil White

Proceedings of the Reliable Software Technology, 2005

2004

High Integrity Ada in a UML and C World.

Peter Amey, Neil White

Proceedings of the Reliable Software Technologies, 2004

2003

Static verification and extreme programming.

Peter Amey, Roderick Chapman

Proceedings of the 2003 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2003, 2003

Static analysis of Ravenscar programs.

Peter Amey, Brian Dobbing

Proceedings of the 12th International Workshop on Real-Time Ada, 2003

High Integrity Ravenscar.

Peter Amey, Brian Dobbing

Proceedings of the Reliable Software Technologies, 2003

2002

Industrial strength exception freedom.

Peter Amey, Roderick Chapman

Proceedings of the 2002 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2002, 2002

Closing the Loop: The Influence of Code Analysis on Design.

Peter Amey

Proceedings of the Reliable Software Technologies, 2002

2001

A language for systems not just software.

Peter Amey

Proceedings of the Proceedings ACM SIGAda Annual International Conference, 2001

Logic versus Magic in Critical Systems.

Peter Amey

Proceedings of the Reliable Software Technologies: Ada Europe 2001, 2001