Major - Formal Software Engineering
Western Sydney University
Major
Code:
RU3006.1
Available to students in other Western Sydney University Courses :
NO
This major provides the fundamental theories and technologies of constructing computer software. Software development is a vital activity in modern computer system. The major covers computer science fundamentals, abstract models of computation, formal specification of software development and verification, and systems engineering and security. It emphasizes the fundamentals of the software design theory and practices and provides the students with the current computer software design, development and verification technologies.
Major
Structure
|
300125
|
Fundamentals of Computer Science
|
|
300405
|
Fundamentals of Programming
|
|
300103
|
Data Structures and Algorithms
|
|
300090
|
Compiler Theory and Practice
|
|
300169
|
Theory and Practice of Concurrency
|
|
300121
|
Formal Languages and Automata
|
Note: Unit 300121 Formal Language and Mathematics will no longer be available from 2014 and students are advised to enrol in unit 300582 Technology for Web Application in its place.