Ms Casey Hopkins

Research Highlights

1. Moller, F., O'Reilly, L., Powell, S., & Hopkins, 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
2. Moller, F., O'Reilly, L., Powell, S., & Hopkins, C. (2021). Teaching Them Early: Formal Methods in School. In International Workshop on Formal Methods - Fun for Everybody FMFun 2019: Formal Methods – Fun for Everybody (pp. 173-190). Springer International Publishing.

   https://doi.org/10.1007/978-3-030-71374-4_9, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa57838
3. Cerone, A., Roggenbach, M., Davenport, J., Hopkins, C., Farrell, M., Haveraaen, M., Moller, F., Körner, P., Krings, S., Ölveczky, P., Schlingloff, B., Shilov, N., & Zhumagambetov, R. (2021). Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering — A White Paper. In Communications in Computer and Information Science (pp. 1-26). Springer International Publishing.

   https://doi.org/10.1007/978-3-030-71374-4_1, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa60461

All Research

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

• CSC348 Web Application Development

  The module will develop the principles and technologies used for building web-based systems. Practical experience of building web systems will be gained via laboratories and coursework. Existing high programming skill and experience is essential for this module. Existing programming experience is essential for this module.

• CSC348B Web Application Development

  The module will develop the principles and technologies used for building web-based systems. Practical experience of building web systems will be gained via laboratories and coursework. Existing high programming skill and experience is essential for this module. Existing programming experience is essential for this module.

• CSCM48B Web Application Development

  The module will develop the principles and technologies used for building web-based systems. Practical experience of building web systems will be gained via laboratories and coursework. Existing high programming skill and experience is essential for this module. Existing programming experience is essential for this module.

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

• CSF304 Web Application Development

  The module will develop the principles and technologies used for building web-based systems. Practical experience of building web systems will be gained via laboratories and coursework.