Now showing items 1-2 of 2

  • Correct model-to-model transformation for formal verification 

    Meedeniya, Dulani Apeksha (University of St Andrews, 2013-06-26) - Thesis
    Modern software systems have increasingly higher expectations on their reliability, in particular if the systems are critical and real-time. The development of these complex software systems requires strong modelling and ...
  • Generating uncountable transformation semigroups 

    Péresse, Yann (University of St Andrews, 2009) - Thesis
    We consider naturally occurring, uncountable transformation semigroups S and investigate the following three questions. (i) Is every countable subset F of S also a subset of a finitely generated subsemigroup of S? If so, ...