31077 Software Engineering Fundamentals

6cp; availability: undergraduate degree students
Requisite(s): 31475 Requirements Engineering OR 31485 Systems Development OR 31269 Business Requirements Modelling
Undergraduate

This subject aims to develop an understanding of the issues which beset software engineering and to build competence in the application of mathematics in software development.

The issues portion of the subject covers topics such as the nature of software as an entity to be engineered, the newness of the software engineering discipline and current issues in the large-scale application of software engineering practice.

The mathematics portion covers fundamental concepts and methods for software development and engineering, including formal specification, program development from specification and proving/verifying correctness. Appropriate tools and packages are used, including Z and OCL. The mathematical basis includes predicate logic and structures (sets, relations, functions and trees).

Typical availability

Autumn semester, City campus

Access conditions

Note: The requisite information presented in this subject description covers only academic requisites. Full details of all enforced rules, covering both academic and admission requisites, are available at Access conditions and My Student Admin.