Browsing Engineering, Built Environment and Information Technology by Supervisor "Watson, Bruce William"

Browsing Engineering, Built Environment and Information Technology by Supervisor "Watson, Bruce William"

Sort by: Order: Results:

  • Assessing quality in software engineering : a pragmatic approach 
    Acton, Daniel (University of Pretoria, 2013)
    As long as software has been produced, there have been efforts to strive for quality in software products. In order to understand quality in software products, researchers have built models of software quality that rely ...
  • Finite state automaton construction through regular expression hashing 
    Coetser, Rayner Johannes Lodewikus (University of Pretoria, 2009)
    In this study, the regular expressions forming abstract states in Brzozowski’s algorithm are not remapped to sequential state transition table addresses as would be the case in the classical approach, but are hashed to ...
  • A generative graph template toolkit (GRA Te-TK) for C++ 
    Koopman, Theodore Sheldon (University of Pretoria, 2010-08-18)
    This study provides an investigation and discussion into the construction of a graph toolkit using generative programming techniques. It defines and analyses directed graphs, representations and identifies different ...
  • Hardcoding finite automata 
    Ngassam, Ernest Ketcha (University of Pretoria, 2003)
    Please read the abstract in the section 00front of this document
  • Performance measurement as a tool for software engineering 
    Van Aardt, Jan Markus (University of Pretoria, 2005-07-26)
    Some software development teams regard software performance measurement as a mere luxury. When it happens, it often tends to be infrequent, insufficient and subjective. Countless software projects were sent into an ...
  • Process-based decomposition and multicore performance : case studies from Stringology 
    Strauss, Marthinus David (University of Pretoria, 2017)
    Current computing hardware supports parallelism at various levels. Conventional programming techniques, however, do not utilise efficiently this growing resource. This thesis seeks a better fit between software and current ...
  • Spell checkers and correctors : a unified treatment 
    Liang, Hsuan Lorraine (University of Pretoria, 2009-06-29)
    The aim of this dissertation is to provide a unified treatment of various spell checkers and correctors. Firstly, the spell checking and correcting problems are formally described in mathematics in order to provide a better ...
  • A taxonomy of graph representations 
    Barla-Szabo, Gabor (University of Pretoria, 2006-07-26)
    Graphs are mathematical abstractions that are useful for solving many types of problems in computer science. In this dissertation, when we talk of graphs we refer to directed graphs (digraphs), which consist of a set of ...
  • Topic Maps for Specifying Algorithm Taxonomies : a case Study using Transitive Closure Algorithms 
    Pieterse, Vreda (University of Pretoria, 2016)
    The need for storing and retrieving knowledge about algorithms is addressed by creating a specialised information management scheme. This scheme is operationalised in terms of a topic map of algorithms. Metadata are ...
  • Towards cache optimization in finite automata implementations 
    Ketcha Ngassam, Ernest (University of Pretoria, 2007-08-01)
    To the best of our knowledge, the only available implementations of FA-based string recognizers are the so-called conventional table-driven algorithm and, of course, its hardcoded counterpart suggested by Thompson, Penello, ...
  • A virtual machine framework for domain-specific languages 
    Fick, David (University of Pretoria, 2007-11-08)
    Experts in a field regularly apply a defined set of rules or procedures to carry out a problem-solving task or analysis on a given problem. Often the problem can be represented as a computer model, be it mathematical, ...