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.

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

• CSF337 Data Visualisation

  Data Visualisation is concerned with the automatic or semi-automatic generation of digital images that depict data in a meaningful way(s). It is a relatively new field of computer science that is rapidly evolving and expanding. It is also very application oriented, i.e., real tools are built in order to help scientists from other disciplines.