History: 1997 - 2009 - SEN1 - Interactive Software Development and Renovation 2010 - 2012 - SEN1 - Software Analysis and Transformation 2013 - .... - SwAT - Software Analysis and Transformation