Introduction to the DeRiVE 2011 Proceedings