Software Systems

Search results

• Synthesis of Model Transformations from Metamodels and Examples

  Author: Fang, S., 1 Mar 2024

  Supervisor: Lano, K. (Supervisor) & Zschaler, S. (Supervisor)

  Student thesis: Doctoral Thesis › Doctor of Philosophy

  File

• Structuring Specifications of Reactive Systems using B

  Author: Kan, P., 1 Jul 2006

  Supervisor: Lano, K. (Supervisor)

  Student thesis: Doctoral Thesis › Doctor of Philosophy

• Specification and Verification of Reactive Systems with RSDS

  Author: Androutsopoulos, K., 1 Jun 2004

  Supervisor: Lano, K. (Supervisor)

  Student thesis: Doctoral Thesis › Doctor of Philosophy

  File

• Privacy-preserving architecture for cloud-IoT platform

  Author: Jaimunk, J., 1 Nov 2021

  Supervisor: Fernandez, M. (Supervisor)

  Student thesis: Doctoral Thesis › Doctor of Philosophy

  File

• Personalising Medication & Activity Regimes Using Novel State Progression Models for Forward Search with PDDL+

  Author: Alaboud, F., 1 Jul 2022

  Supervisor: Coles, A. (Supervisor), Modgil, S. (Supervisor) & Zschaler, S. (Supervisor)

  Student thesis: Doctoral Thesis › Doctor of Philosophy

  File

• Optimisation Methods for Model-Driven Engineering

  Author: Burdusel, A., 1 Jul 2021

  Supervisor: Zschaler, S. (Supervisor) & Radzik, T. (Supervisor)

  Student thesis: Doctoral Thesis › Doctor of Philosophy

  File

• Designing adaptivity in educational games to improve learning

  Author: Singh, J., 1 Dec 2023

  Supervisor: Miles, S. (Supervisor), Kolling, M. (Supervisor) & Slovak, P. (Supervisor)

  Student thesis: Doctoral Thesis › Doctor of Philosophy

  File

• An extensible dynamically typed object oriented language with an application to model transformations

  Author: Tratt, L., 1 Aug 2005

  Supervisor: Lano, K. (Supervisor)

  Student thesis: Doctoral Thesis › Doctor of Philosophy

• Accessibility and the Internet

  Author: Jesmin, R., 1 Oct 2006

  Supervisor: Lano, K. (Supervisor)

  Student thesis: Doctoral Thesis › Doctor of Philosophy