This file contains personal greetings to Derrick Kourie by friends and colleagues at the occasion of his 60th birthday. Note that these greetings are not the scientific contributions (papers) to the Fest-Colloquium. The ...

The value of architecture in a corporate information technology environment lies in guidance on technology choice and system design. Underlying this is the ability of the architecture team to research the relevant architectural ...

Failing software projects have plagued software development ever since its existence. Numerous different treatments for this plague have been introduced, where the latest trend is product centred and focuses on customer ...

This paper provides a brief overview of the use of ontologies in Computer Science and argues that one of the main reasons for its popularity in recent years is that it has become possible, in practice, to perform a variety ...

When we heard that one of Derrick’s undergraduate students, a genuine boeremeisie (farmgirl) from the plattland, indeed addressed him as oom — how sweet! — instead of “mister” or “professor” we knew that the time had arrived ...

We show that the standard methods for the random generation of finite automata are inadequate if considered over the domain of the regular languages, for small n. We then present a consolidated, practical method for the ...

A plethora of creative thinking techniques and invention heuristics exist to guide problem solvers towards innovative solutions. One of the problems that one is faced with is the selection of the appropriate technique for ...

Table of contents : A Burden of Wonder, by Tinus Strauss. A Computing Medley on Program Verification, by John Andre van der Poll. A Means to an End, by Gertjan Zwartjes. An Assertion-Guided Derivation, by Bruce Watson. The ...