School of Computer Science BCS accreditation 2021 - 2026

Software Engineering wIE MEng (Hons) - COMP21111 Logic and Modelling

2.1.1 Knowledge and understanding of facts, concepts, principles & theories

This course teaches foundations of logic (propositional, QBF, LTL) with focus on reasoning algorithms (DPLL, tableaux, OBDDs) and applications to modelling and verification of state transition systems.

Assesement : Examination, Individual coursework

2.1.2 Use of such knowledge in modelling and design

The course teaches modelling, design and verification of computational systems, in particular state transition systems.

Assesement : Examination, Individual coursework

2.1.3 Problem solving strategies

Students solve a wide range of problems in weekly assessed exercises.

Assesement : Examination, Individual coursework

2.1.4 Analyse if/how a system meets current and future requirements

Specification and verification of systems is a large part of this course unit.

Assesement : Individual coursework

2.1.5 Deploy theory in design, implementation and evaluation of systems

In this course, theoretical aspects are linked to practical reasoning and verification algorithms.

Assesement : Examination, Individual coursework

2.1.7 Knowledge and understanding of commercial and economic issues

This is addressed by discussing the importance of verified systems in safety-critical applications and how software and hardware bugs can adversely affect economy and companies.

Assesement : Not Assessed

2.1.9 Knowledge of information security issues

Security is briefly mentioned in relation to verification.

Assesement : Not Assessed

2.2.1 Specify, design or construct computer-based systems

Specification and verification of systems is part of this course unit.

Assesement : Individual coursework

2.2.2 Evaluate systems in terms of quality and trade-offs

Trade-offs of different reasoning algorithms are discussed

Assesement : Examination, Individual coursework

2.2.3 Recognise risk/safety for safe operation of computing equipment

This is addressed as a part of specification and verification of safety properties.

Assesement : Examination, Individual coursework

2.3.2 Development of general transferable skills

Students are expected to solve a wide range of problems via weekly assessed exercises and clearly explain solutions in writing. Students are encouraged to participate in discussions during lectures and labs.

Assesement : Examination, Individual coursework

3.1.2 Methods, techniques and tools for information modelling, management and security

Logic-based modelling is central to this course.

Assesement : Examination, Individual coursework

3.1.3 Knowledge of systems architecture

Students learn algorithms behind state-of-the-art reasoning methods.

Assesement : Examination, Individual coursework

3.1.4 Knowledge and understanding of mathematical and/or statistical principles

The course teaches mathematical aspects behind logical methods: syntax and semantics of propositional logic, QBF, logic of finite domains and LTL; formal reasoning methods and methods for formal verification.

Assesement : Examination, Individual coursework

3.2.1 Specify, deploy, verify and maintain information systems

Methods for specification, verification and reasoning are at the core of the course.

Assesement : Examination, Individual coursework

3.2.3 System Design

The students are encouraged to design and implement a reasoning system based on algorithms presented in the lectures.

Assesement : Not Assessed

4.1.1 Knowledge and understanding of scientific and engineering principles

This is addressed by exposing students to different reasoning algorithms.

Assesement : Not Assessed

4.1.2 Knowledge and understanding of mathematical principles

The course is based on mathematical logic and teaches fundamental mathematical principles of formal reasoning and correctness.

Assesement : Examination, Individual coursework

4.1.3 Knowledge and understanding of computational modelling

Logic-based modelling is central to this course.

Assesement : Examination, Individual coursework

4.2.1 Specify, deploy, verify and maintain computer-based systems

Specification and verification of systems are a large part of this course.

Assesement : Examination, Individual coursework