Publication
Information and Software Technology
Paper

Education in formal methods for software engineering

View publication

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.

Date

01 Jan 1987

Publication

Information and Software Technology

Authors

Topics

Share