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

2016

Sherratt, E. 2016. SDL: meeting the IoT challenge. In J. Grabowski., S. Herbold. (eds) System Analysis and Modeling: Technology-Specific Aspects of Models. Lecture Notes in Computer Science, vol. 9959 9th System Analysis and Modelling Conference (SAM 2016). Springer Nature pp. 36-50. Cadair

Sherratt, E. 2016. Formal Specification of the Internet of Things. 23rd International Workshop on Algebraic Development Techniques. Cadair

2015

Sherratt, E., Ober, I., Gaudin, E., Fonseca i Casas, P., Kristoffersen, F. 2015. SDL - The IoT Language. In J. Fischer., M. Scheidgen., I. Schieferdecker., R. Reed. (eds) Proceedings of the 17th International SDL Forum on SDL 2015: Model-Driven Engineering for Smart Cities. Lecture Notes in Computer Science, vol. 9369 Springer Nature pp. 27-41. 10.1007/978-3-319-24912-4_3 Cadair

Reed, R., Sherratt, E., Prinz, A., Gotzhein, R., Glässer, U., Eschbach, R., v. Löwis, M., Wang, Y., Zhao, Y., Zhang, W., AI, B. 2015. Recommendation ITU-T Z.100 – Annex F1: Annex F1:SDL-2010 formal definition: General overview. Other Cadair

Reed, R., Sherratt, E., Prinz, A., Gotzhein, R., Wang, Y., Zhao, Y., Zhang, W., AI, B., v. Löwis, M. 2015. Recommendation Z.100 (2011) Annex F2 (01/15): Z.100 : Specification and Description Language - Overview of SDL-2010 - SDL formal definition: Static semantics. Other Cadair

Reed, R., Sherratt, E., Prinz, A., Gotzhein, R., Glässer, U., Eschbach, R., von Löwis of Menar, M., Wang, Y., Zhao, Y., Zhang, W., AI, B. 2015. Recommendation Z.100 (2011) Annex F3 (01/15): Z.100 : Specification and Description Language - Overview of SDL-2010 - SDL formal definition: Dynamic semantics. Other Cadair

2014

Prinz, A., Sherratt, E. 2014. Distributed ASM - Pitfalls and solutions. In Y. A. Ameur., K. Schewe. (eds) Abstract State Machines, Alloy, B, TLA, VDM, and Z: 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings. Lecture Notes in Computer Science, vol. 8477 Springer Nature pp. 210-215. 10.1007/978-3-662-43652-3_18 Other Cadair

Sherratt, E. 2014. Graph Isomorphism and Edge Graph Isomorphism. The Fifth International Workshop on Graph Computation Models. Other Cadair

2013

Sherratt, E. 2013. Relativity and Abstract State Machines. In Ø. Haugen,., R. Reed., R. Gotzhein. (eds) System Analysis and Modeling: Theory and Practice. Lecture Notes in Computer Science, vol. 7744 7th International Workshop. pp. 105-120. Cadair