Software Systems

Search results

• Synthesis of Model Transformations from Metamodels and Examples

  Fang, S. (Author), Lano, K. (Supervisor) & Zschaler, S. (Supervisor), 1 Mar 2024

  Student thesis: Doctoral Thesis › Doctor of Philosophy

  File

• Structuring Specifications of Reactive Systems using B

  Kan, P. (Author), Lano, K. (Supervisor), 1 Jul 2006

  Student thesis: Doctoral Thesis › Doctor of Philosophy

• Specification and Verification of Reactive Systems with RSDS

  Androutsopoulos, K. (Author), Lano, K. (Supervisor), 1 Jun 2004

  Student thesis: Doctoral Thesis › Doctor of Philosophy

  File

• Privacy-preserving architecture for cloud-IoT platform

  Jaimunk, J. (Author), Fernandez, M. (Supervisor), 1 Nov 2021

  Student thesis: Doctoral Thesis › Doctor of Philosophy

  File

• POSIX Regular Expression Matching and Lexing

  Tan, C. (Author), Urban, C. (Supervisor), 1 Jan 2024

  Student thesis: Doctoral Thesis › Doctor of Philosophy

  File

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

  Alaboud, F. (Author), Coles, A. (Supervisor), Modgil, S. (Supervisor) & Zschaler, S. (Supervisor), 1 Jul 2022

  Student thesis: Doctoral Thesis › Doctor of Philosophy

  File

• Optimisation Methods for Model-Driven Engineering

  Burdusel, A. (Author), Zschaler, S. (Supervisor) & Radzik, T. (Supervisor), 1 Jul 2021

  Student thesis: Doctoral Thesis › Doctor of Philosophy

  File

• Model Driven Development of Mobile Health Applications

  Alwakeel, L. (Author), Lano, K. (Supervisor) & Zschaler, S. (Supervisor), 1 Sept 2024

  Student thesis: Doctoral Thesis › Doctor of Philosophy

• Designing adaptivity in educational games to improve learning

  Singh, J. (Author), Miles, S. (Supervisor), Kolling, M. (Supervisor) & Slovak, P. (Supervisor), 1 Dec 2023

  Student thesis: Doctoral Thesis › Doctor of Philosophy

  File

• Building a Biologist-Centric Modelling Language for Cell-Based Simulations

  Mead, T. (Author), Bentley, K. (Supervisor) & Zschaler, S. (Supervisor), 1 Jan 2025

  Student thesis: Doctoral Thesis › Doctor of Philosophy

  File

• Automated Requirements Engineering Framework for Model-Driven Development

  Muhammad UMAR, A. (Author), Lano, K. (Supervisor), 1 Jan 2025

  Student thesis: Doctoral Thesis › Doctor of Philosophy

  File

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

  Tratt, L. (Author), Lano, K. (Supervisor), 1 Aug 2005

  Student thesis: Doctoral Thesis › Doctor of Philosophy

• Accessibility and the Internet

  Jesmin, R. (Author), Lano, K. (Supervisor), 1 Oct 2006

  Student thesis: Doctoral Thesis › Doctor of Philosophy