Dr Edel Sherratt BSc, PhD (NUI)

Lecturer
Department of Computer Science
Contact Details
- Email: eds@aber.ac.uk
- 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
- CSS0300 - Sandwich Year (PG)
- CSM2020 - Agile Software Development Project
- CSS0360 - Sandwich Year (PG)
- CSS0200 - Sandwich Year (PG)
- CS39930 - Web-Based Major Project
- CSS0260 - Sandwich Year (PG)
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
- PGM2300 - Research Skills and Personal Development (Science) (2310)
- PGM2310 - Research Skills and Personal Development (Science) (2310)
- CS33020 - Systems Engineering
- CS39930 - Web-Based Major Project
Coordinator
- CSS0200 - Sandwich Year (PG)
- CSS0300 - Sandwich Year (PG)
- CSM2020 - Agile Software Development Project
- CS39930 - Web-Based Major Project
- CSS0360 - Sandwich Year (PG)
- CSS0260 - Sandwich Year (PG)
Lecturer
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 PF i Casas, M-R Sancho & E Sheratt (eds), Lecture Notes in Computer Science: System Analysis and Modeling. Languages, Methods, and Tools for Industry. vol. 11753, Lecture Notes in Computer Science, vol. 11753, 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