WIFT '98 working group report: incorporating formal methods into industrial processes

This working group met as part of the 1998 Workshop on Industrial-Strength Formal Specification Techniques (WIFT '98) in Boca Raton, Florida. As the working group title suggests, we discussed lessons learned, open issues and general suggestions surrounding the incorporation of formal methods in industrial development processes.