Major threat: from formal methods without tools to tools without formal methods
Bernhard Steffen · 2005
Summary form only given. The panel moderated by Bernhard Steffen (University of Dortmund) reviews this development, discusses the perspectives, and establishes recommendations for future directions of software engineering, and, in particular, for the future role of formal methods in this area.