Edel Sherratt BSc, PhD (NUI)

Lecturer

Contact Details

Room Number..........:  1.40
Building....................:  Physical Sciences
Phone.......................:   +44 (0)1970 622448
E-Mail........................:   eds
Home Page...............:   Personal

Research Groups

Teaching Areas

Modules Taught

  • CHM1320: Advanced Software Engineering
  • CS01010: Spreadsheets for University Students
  • CS01120: Information Technology for University Students
  • CS25320: Programming for the Web
  • CS31310: Agile Methodologies
  • CS39930: Web-Based Major Project
  • SEM1020: Advanced Software Engineering

Publications

Intelligent Resilience in the IoTSherratt, E. 2017 SDL 2017: Model-Driven Engineering for Future Internet: 18th International SDL Forum, Budapest, Hungary, October 9–11, 2017, Proceedings. Csöndes, T., Kovács, G. & Réthy, G. (eds.). 1 ed.Springer Nature, Vol. 10567, p. 46-60 (Lecture Notes in Computer Science)
SDL: meeting the IoT challengeSherratt, E. 2016 System Analysis and Modeling: Technology-Specific Aspects of Models. Grabowski, J. & Herbold, S. (eds.). Springer Nature, Vol. LNCS 9959, p. 36-50 (Lecture Notes in Computer Science; vol. 9959)
Formal Specification of the Internet of ThingsSherratt, E. 2016
Recommendation Z.100 (2016) Annex F1 (10/16): Annex F1:SDL-2010 formal definition: General overviewReed, 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. 2016 36 p.ITU Telecommunication Standardization Sector
Recommendation Z.100 (2016) Annex F2 (10/16): Z.100 : Specification and Description Language - Overview of SDL-2010 - SDL formal definition: Static semanticsReed, 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 188 p.ITU Telecommunication Standardization Sector
Recommendation Z.100 (2016) Annex F3 (10/16): Z.100 : Specification and Description Language - Overview of SDL-2010 - SDL formal definition: Dynamic semanticsReed, R., Sherratt, E., 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. 2016 106 p.ITU Telecommunication Standardization Sector
SDL - The IoT LanguageSherratt, E., Ober, I., Gaudin, E., Fonseca i Casas, P. & Kristoffersen, F. 2015 Proceedings of the 17th International SDL Forum on SDL 2015: Model-Driven Engineering for Smart Cities. Fischer, J., Scheidgen, M., Schieferdecker, I. & Reed, R. (eds.). Springer Nature, Vol. LNCS 9369, p. 27-4115 p. (Lecture Notes in Computer Science; vol. 9369)
Distributed ASM - Pitfalls and solutionsPrinz, A. & Sherratt, E. 2014 Abstract State Machines, Alloy, B, TLA, VDM, and Z: 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings. Ameur, Y. A. & Schewe, K-D. (eds.). Springer Nature, Vol. LNCS 8477, p. 210-2156 p. (Lecture Notes in Computer Science; vol. 8477)
Graph Isomorphism and Edge Graph IsomorphismSherratt, E. 2014
Relativity and Abstract State MachinesSherratt, E. 2013 System Analysis and Modeling: Theory and Practice. Haugen, Ø., Reed, R. & Gotzhein, R. (eds.). Vol. LNCS 7744, p. 105-12016 p. (Lecture Notes in Computer Science; vol. 7744)