Proceeding of the 2012 Forum on Specification and Design Languages