SPECIFICATION LANGUAGES AND PRACTICAL PROGRAMMERS.

Although specification languages and other formal aids to software development have been the object of academic research for some years, their influence on the practical production of large and complex software systems for commercial users has been slight. This paper describes IBM efforts for developing courses to teach programmers a more rigorous approach to the specification and development of software systems.