Berger, U. & Petrovska, O.(2018). Optimized Program Extraction for Induction and Coinduction. Sailing Routes in the World of Computation (pp. 70-80). Springer International Publishing
Berger, U. & Petrovska, O.(2018). Optimized Program Extraction for Induction and Coinduction. Sailing Routes in the World of Computation (pp. 70-80). Springer International Publishing
Computational thinking refers to a collection of problem-solving techniques which software developers use to understand problems, break them down, and express their solutions in a step-by-step manner suited to programming on a computer. Whilst crucial for computer scientists and engineers, these problem-solving techniques are general: computational thinking is a fundamental skill, and its techniques are useful for general everyday problem solving. This module will explore the tools and techniques for reasoning about problems in a computational thinking way, using them to solve a wide variety of riddles, puzzles, and more practical problems.
CSB300MC
Software Engineering Project Management
Software projects have long had a reputation for cost and time overruns - but they need not! There are well-established, and emerging, techniques and processes to manage them well and effectively. This module develops the fundamental skills of successfully planning and managing complex software systems, whilst also obtaining an understanding of the implications/issues such projects may encounter. Learners will develop an understanding of typical project management techniques and methods as well as those more software-focused. Agile methodologies like Scrum, which are becoming a de-facto standard in the industry will be covered, as well as more traditional methodologies that are still widely used. Furthermore, many projects have significant legal, social, ethical and professional consequences that a practitioner needs to be aware of and sensitive to.
CSF107
Professional Issues of Software Engineering
This module explores the main professional, societal and ethical issues associated with software development and computer science.
CSF206
Algorithms and Automata
This module introduces students to theoretical tools and techniques important in software development. The first half of the module is concerned with algorithms and data structures and will enable the student to understand how the selection of different algorithms and data structures affects the performance and efficiency of a program. The second half of the module will concerned with automata in the form of labelled transition systems and will enable the student to understand their role in modelling computing systems.
CSF300
Project Implementation and Dissertation
This module forms the second part of the capstone project for the BSc in Applied Software Engineering project (together with CSF301). It consists of the implementation of a software system; a substantial written dissertation; and a video demonstration of the system.
CSF301
Project Specification and Development
This module forms the first part of the capstone project for the BSc in Applied Software Engineering (together with CSF300). It consists of the project proposal, presentation, progress report and development of a software system.
CSF302
Project Planning and Management
Software projects have long had a reputation for cost and time overruns - but they need not, and there are well-established, and emerging, techniques and processes to manage them well and effectively: for example, agile methodologies like Scrum which are becoming a de-facto standard in the industry. Also, many projects have significant legal, social, ethical and professional consequences that a practitioner needs to be aware of and sensitive to.
This module develops the fundamental skills of successfully building complex software systems, and the implications, including on wider society, of doing so. It will also prepare students for work on any project by equipping them with the skills to successfully plan them, and to commence that planning process.
