A sharp interface capturing approach is presented for two-phase flow simulations with phase change. The Gradient Augmented Level Set (GALS) method is coupled with the two-phase momentum and energy conservation equations to advect the liquid-gas interface and predict heat transfer with phase change. The Ghost Fluid Method (GFM) is adopted to discretize the advection and diffusion terms for veloc...

This thesis investigates abstractions for modelling user interface software, discussing their content and their formal representation. Specifically, it focuses on a class of models, called formal interactor models, that incorporate some of the structure of the user interface software. One such abstract model is put forward. This model is called the Abstraction-Display-Controller (ADC) interacto...