Ms Casey Denner

Research Highlights

1. Moller, F., O'Reilly, L., Powell, S., & Denner, C. (n.d.) Teaching The Early: Formal Methods in School. In FMFun'2019: Formal Methods - Fun for Everybody

   SU Repository: https://cronfa.swan.ac.uk/Record/cronfa53032

All Research

• CS-099 Computers Unplugged

  This module gives an overview of the main principles underlying computers and computer science, without resorting to the use of computers. It is accessible, and relevant, to students of all disciplines who wish to learn about, or reinforce their understanding of, computers and computer science.

• CS-175 Modelling Computing Systems 2

  This module will follow on from CS-170 and introduces students to mathematical tools and techniques for modelling computing systems.

• CS-175J Modelling Computing Systems 2

  This module will follow on from CS-170J and introduces students to mathematical tools and techniques for modelling computing systems.

• CSF100 Work-Based Portfolio 1

  In this module, students will develop a portfolio of documents and projects which will demonstrate the application of knowledge gained from the co-requisite modules to their work experience.

• CSF200 Work-Based Portfolio 2

  In this module, students will develop a portfolio of documents and projects which will demonstrate the application of knowledge gained from the co-requisite modules to their work experience.

• 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.

• CSF306 Mobile App Development

  This module will introduce students to developing well-designed and functional apps for mobile devices. Special emphasis is placed on general design paradigms for mobile devices, taking into account limitations such as battery life, limited memory and low user attention compared with desktop computers.