Table of contents

Abstract

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 Boyer-Moore-Horspool Algorithm, by Loek Cleophas. Deterministic Finite Automata, by Jan Holub and Stanislav Stekr. Architectural Design, by Andrew Boake. Mobile Spectrum Auctions, by Vali Lalioti. Domain Ontologies, by Thomas Meyer. Text Redundancy and Compression, by Stefan Gruner. Querying Code Bases, by Alexandru Telea and Heorhiy Byelas. Finite Automata over Regular Languages, by Lynette van Zijl and Lesley Raitt. Coding Standards, by Vreda Pieterse. Inventive Ideation, by Marlene Ross. Software Engineering Professionalism, by Morkel Theunissen. Ethical Research, by Dewald Roode. The Lazy Programmer, by Judith Bishop. Postgraduate Studies in Computer Science, by Martin Olivier. CSP Prover, by Yoshi Isobe and Markus Roggenbach. Web-based Development, by Iwan Vosloo.