Recent Submissions

  • Using test data to evaluate rankings of entities in large scholarly citation networks 

    Dunaiski, Marcel (Stellenbosch : Stellenbosch University, 2019-04)
    ENGLISH ABSTRACT : A core aspect in the field of bibliometrics is the formulation, refinement, and verification of metrics that rate entities in the science domain based on the information contained within the scientific ...
  • Generalised acceptance conditions for symmetric difference nondeterministic finite automata 

    Marais, Laurette (Stellenbosch : Stellenbosch University, 2018-03)
    ENGLISH ABSTRACT : Symmetric difference nondeterministic finite state automata (XNFA) are an instance of generalised nondeterminism, of which the behaviour is represented by the symmetric difference of all possible ...
  • Verifying Android applications using Java PathFinder 

    Botha, Heila-Marié (Stellenbosch : Stellenbosch University, 2017-11-20)
    ENGLISH ABSTRACT : Current dynamic analysis tools for Android applications do not achieve acceptable code coverage since they can only explore a subset of the behaviors of the applications and do not have full control ...
  • Concept-based exploration of rich semi-structured data collections 

    Greene, Gillian J. (Stellenbosch : Stellenbosch University, 2017-03)
    ENGLISH ABSTRACT : Search has become one of the fundamental operations in computer science, allowing users to extract data and ultimately information from datasets. However, when users have no previous knowledge of a ...
  • Validation of a microkernel : a case study 

    De Villiers, Pieter Jan Albertus (Stellenbosch : Stellenbosch University, 1999-11)
    ENGLISH ABSTRACT: This dissertation describes the application of formal methods to the development of operating systems. A related area of software engineering-the development of protocols-has been improved substantially ...