Integrating formal and informal specification techniques. why? how?

This paper is an overview of the panel session on integrating specification techniques that was held in the International Workshop on Industrial-strength Formal Techniques in October 22nd 1998.