Before revision: Computational Linguistics Computational Logic Software engineering Outline of software engineering Formal methods – Mathematical approaches for describing and reasoning about software design.
After revision: Computational Linguistics Computational logic Software engineering Outline of software engineering Formal methods – Mathematical approaches for describing and reasoning about software design.