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
Moderator
- CS32420 - Computer Graphics and Games
- CS27020 - Modelling Persistent Data
- CSM0120 - Programming for Scientists
- CS35510 - Applied Web Development
- CS02320 - Foundation Programming
- CS12510 - Functional Programming
Tutor
- CS31310 - Agile Development and Testing
- CS25320 - Programming for the Web
- CSM2020 - Agile Software Development Project
- PGM2310 - Research Skills and Personal Development (Science) (2310)
- CS33020 - Systems Engineering
- CS39930 - Web-Based Major Project
Lecturer
- CS25320 - Programming for the Web
- CS33020 - Systems Engineering
- CS39930 - Web-Based Major Project
- CSM2020 - Agile Software Development Project
- CS31310 - Agile Development and Testing
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