BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Belgium
1 × France
1 × Spain
1 × United Kingdom
3 × USA
Collaborated with:
R.Chapman N.White B.Dobbing
Talks about:
system (3) integr (2) critic (2) high (2) ravenscar (1) strength (1) influenc (1) industri (1) softwar (1) program (1)

Person: Peter Amey

DBLP DBLP: Amey:Peter

Contributed to:

Ada-Europe 20052005
Ada-Europe 20042004
Ada-Europe 20032003
SIGAda 20032003
Ada-Europe 20022002
SIGAda 20022002
Ada-Europe 20012001
SIGAda 20012001

Wrote 8 papers:

AdaEurope-2005-AmeyCW #certification
Smart Certification of Mixed Criticality Systems (PA, RC, NW), pp. 144–155.
AdaEurope-2004-AmeyW #ada #c #uml
High Integrity Ada in a UML and C World (PA, NW), pp. 225–236.
High Integrity Ravenscar (PA, BD), pp. 68–79.
SIGAda-2003-AmeyC #programming #verification
Static verification and extreme programming (PA, RC), pp. 4–9.
AdaEurope-2002-Amey #analysis #design
Closing the Loop: The Influence of Code Analysis on Design (PA), pp. 151–162.
SIGAda-2002-AmeyC #exception #industrial
Industrial strength exception freedom (PA, RC), pp. 1–9.
AdaEurope-2001-Amey #logic
Logic versus Magic in Critical Systems (PA), pp. 49–67.
A language for systems not just software (PA), pp. 3–11.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.