Dr Edel Sherratt BSc, PhD (NUI)
Lecturer
Department of Computer Science
Contact Details
- Email: eds@aber.ac.uk
- ORCID: 0000-0001-9913-1956
- Office: 1.40, Physical Sciences Building
- Phone: +44 (0) 1970 622448
- Personal Website: http://users.aber.ac.uk/eds
- Research Portal Profile
Teaching
Module Coordinator
Lecturer
- CS25320 - Programming for the Web
- CS33020 - Systems Engineering
- CS31310 - Agile Development and Testing
- CSM2020 - Agile Software Development Project
- CS39930 - Web-Based Major Project
- CSS0160 - Sandwich Year
- CSS0060 - Sandwich Year
Tutor
- CS25320 - Programming for the Web
- CS31310 - Agile Development and Testing
- CSM2020 - Agile Software Development Project
- CS39930 - Web-Based Major Project
- PGM2310 - Research Skills and Personal Development (Science) (2310)
- CS33020 - Systems Engineering
Moderator
- CS27020 - Modelling Persistent Data
- CS32420 - Computer Graphics and Games
- CSM0120 - Programming for Scientists
- CS02320 - Foundation Programming
- CS35510 - Applied Web Development
Coordinator
Research Groups
Publications
Sherratt, E, Reed, R, Prinz, A, v. Löwis, M, Piefel, M, Gotzhein, R, Eschbach, R, Glässer, U, Wang, Y, Zhao, Y, Zhang, W & Ai, B 2021, Recommendation Z.100 Annex F2 (06/21): Specification and Description Language – Overview of SDL 2010 Annex F2: SDL-2010 formal definition: Static semantics. ITU Telecommunication Standardization Sector. <https://www.itu.int/ITU-T/recommendations/rec.aspx?rec=14702&lang=en>
Sherratt, E, Reed, R, Prinz, A, von Löwis of Menar, M, Piefel, M, Gotzhein, R, Eschbach, R, Glässer, U, Wang, Y, Zhao, Y, Zhang, W & Ai, B 2021, Recommendation Z.100 Annex F3 (06/21): Specification and Description Language – Overview of SDL 2010 Annex F3: SDL-2010 formal definition: Dynamic semantics. ITU Telecommunication Standardization Sector. <https://www.itu.int/ITU-T/recommendations/rec.aspx?rec=14703&lang=en>
Sherratt, E & Prinz, A 2019, Eventual Consistency Formalized. in P Fonseca i Casas, M-R Sancho & E Sherratt (eds), System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 - 11th International Conference, SAM 2019, Proceedings: System Analysis and Modeling. Languages, Methods, and Tools for Industry. vol. 11753, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11753 LNCS, Springer Nature, pp. 249-265. 10.1007/978-3-030-30690-8_15
Reed, R, Sherratt, E, Prinz, A, v. Löwis, M, Piefel, M, Gotzhein, R, Eschbach, R, Glässer, U, Wang, Y, Ai, B, Zhao, Y & Zhang, W 2019, Recommendation Z.100 Annex F1 (10/2019): Specification and Description Language – Overview of SDL-2010 Annex F1: SDL-2010 formal definition: General overview. ITU Telecommunication Standardization Sector. <https://www.itu.int/rec/T-REC-Z.100-201910-I!AnnF1/en>
Sherratt, E 2017, Intelligent Resilience in the IoT. in T Csöndes, G Kovács & G Réthy (eds), SDL 2017: Model-Driven Engineering for Future Internet: 18th International SDL Forum, Budapest, Hungary, October 9–11, 2017, Proceedings. 1 edn, vol. 10567, Lecture Notes in Computer Science, Springer Nature, pp. 46-60, SDL 2017, Budapest, Hungary, 09 Oct 2017. 10.1007/978-3-319-68015-6_4
More publications on the Research Portal