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
- CSS0200 - Sandwich Year (PG)
- CS39930 - Web-Based Major Project
- CSS0300 - Sandwich Year (PG)
- CS33210 - Systems Engineering Concepts
- CHM9360 - MSC Project
- CSM2020 - Agile Software Development Project
- CSM9060 - Dissertation
Coordinator
- CSS0360 - Sandwich Year (PG)
- CSM2020 - Agile Software Development Project
- CSM9060 - Dissertation
- CSS0260 - Sandwich Year (PG)
- CHM9360 - MSC Project
- CS39930 - Web-Based Major Project
- CSS0200 - Sandwich Year (PG)
- CS33210 - Systems Engineering Concepts
- CSS0300 - Sandwich Year (PG)
Moderator
- CS02320 - Foundation Programming
- CS27020 - Modelling Persistent Data
- CSM0120 - Programming for Scientists
- CS12510 - Functional Programming
- CS32420 - Computer Graphics and Games
- CS35510 - Applied Web Development
Lecturer
- CS33210 - Systems Engineering Concepts
- CS25320 - Programming for the Web
- CS31310 - Agile Development and Testing
- CS39930 - Web-Based Major Project
- CSM2020 - Agile Software Development Project
- CS33020 - Systems Engineering
Tutor
- PGM2310 - Research Skills and Personal Development (Science) (2310)
- CS25320 - Programming for the Web
- CS33210 - Systems Engineering Concepts
- CS39930 - Web-Based Major Project
- CSM2020 - Agile Software Development Project
- CS33020 - Systems Engineering
Blackboard Dept Admin
Research Groups
Publications
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. https://doi.org/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. https://doi.org/10.1007/978-3-319-68015-6_4
Sherratt, E 2016, 'Formal Specification of the Internet of Things', 23rd International Workshop on Algebraic Development Techniques, United Kingdom of Great Britain and Northern Ireland, 21 Sep 2016 - 24 Sep 2016.
Reed, R, Sherratt, E, Prinz, A, v. Löwis, M, Piefel, M, Gotzhein, R, Eschbach, R, Glässer, U, Wang, Y, Zhao, Y, Zhang, W & Ai, B 2016, Recommendation Z.100 Annex F2 (10/2019): Specification and Description Language – Overview of SDL 2010 Annex F2: SDL-2010 formal definition: Static semantics. ITU Telecommunication Standardization Sector. <https://www.itu.int/rec/T-REC-Z.100-201910-I!AnnF2/en>
More publications on the Research Portal