Advanced lectures on software engineering : LASER Summer School 2007/2008. (Lecture Notes in Computer Science, 2010)