This workshop aimed at bringing two orthogonal viewpoints about development methods in software engineering together.We were seeking new contributions towards making formal software development faster, and rapid software ...