Fundamental Approaches to Software Engineering : 14th International Conference, FASE 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings - Dimitra Giannakopoulou, Fernando Orejas ((Lecture Notes in Computer Science))