Now showing items 1-7 of 7

    • 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 ...
    • A domain-driven method for creating self-adaptive application architecture 

      Huang, Jin (University of St Andrews, 2017) - Thesis
      Following the increasing complexity of modern software systems, software engineers have introduced self-adaptation techniques from the field of control theory into software development. However, it is still difficult to ...
    • Extension polymorphism 

      Balasubramaniam, Dharini (University of St Andrews, 1998) - Thesis
      Any system that models a real world application has to evolve to be consistent with its changing domain. Dealing with evolution in an effective manner is particularly important for those systems that may store large amounts ...
    • Node reliance : an approach to extending the lifetime of wireless sensor networks 

      Boyd, Alan W. F. (University of St Andrews, 2010) - Thesis
      A Wireless Sensor Network (WSN) consists of a number of nodes, each typically having a small amount of non-replenishable energy. Some of the nodes have sensors, which may be used to gather environmental data. A common ...
    • Towards a holistic framework for software artefact consistency management 

      Pete, Ildiko (University of St Andrews, 2017-06-21) - Thesis
      A software system is represented by different software artefacts ranging from requirements specifications to source code. As the system evolves, artefacts are often modified at different rates and times resulting in ...
    • Towards controlling software architecture erosion through runtime conformance monitoring 

      de Silva, Lakshitha R. (University of St Andrews, 2014-12-01) - Thesis
      The software architecture of a system is often used to guide and constrain its implementation. While the code structure of an initial implementation is likely to conform to its intended architecture, its dynamic properties ...
    • Wireless sensor network control through statistical methods 

      Fang, Lei (University of St Andrews, 2015) - Thesis
      Wireless Sensor Networks (WSNs) form a new paradigm of computing that allows the physical world to be measured at an unprecedented resolution; and the importance of the technology has been increasingly recognised. However, ...