Abstract
This working group met as part of the 1998 Workshop on Industrial-Strength Formal Specification Techniques 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.