Transferring research results in requirements to practice: obstacles and incentives

Described here are three obstacles to more widespread use of formal techniques in software development and three significant benefits that result from using formal techniques to describe and analyze requirements. Major obstacles to the adoption of formal techniques in practical software development are 1) the lack of standard languages for specifying systemand software requirements, 2) the lack of a development environment into which formal techniques can be integrated, and 3) a negative view of formal methods among software developers.