This course is for Engineering students. Topics include: Issues in software engineering; software specification; system modelling; requirements specification; validation and prototyping; formal specification; object-oriented design; function-oriented design; user-interface design; CASE; quality assurance.