About cookies on this site Our websites require some cookies to function properly (required). In addition, other cookies may be used with your consent to analyze site usage, improve the user experience and for advertising. For more information, please review your options. By visiting our website, you agree to our processing of information as described in IBM’sprivacy statement. To provide a smooth navigation, your cookie preferences will be shared across the IBM web domains listed here.
Publication
Information and Software Technology
Paper
Education in formal methods for software engineering
Abstract
Education and consultancy are key to the introduction of software engineering methods into the development process. Software engineering is a new activity, not just a way of writing better programs. It is demanding in its recording and communication requirements. Mathematics plays an important part. Software engineering education must teach many new skills. A workshop teaching these skills has been running over three years. © 1987.