COLLOQUIUM and FESTSCHRIFT
at Occasion of the 60th Birthday of Derrick Kourie
Pre-Proceedings
of Colloquium held at Windy Brow, South Africa, 28 June 2008
Edited by Stefan Gruner and Bruce Watson.
The Post-Proceedings of this Festschrift will be formally published in SACJ #41.
Festschrift Table of Contents
- Title Page: From Operations Research to Software Engineering and Beyond
- Preface by the Editors
- Part I: GREETINGS (ordered by date of posting)
- from Tonie Botha
- from Roelf van den Heever
- from Linda Marshall
- from Stefan Gruner
- from Jan Roos
- from Sergei Obiedkov
- from Bob Jolliffe
- from Gabor Barla-Szabo
- from Deon Oosthuizen
- Part II: PAPERS (ordered alphabetically by title) - [Table of Contents]
- A Burden of Wonder.
By Tinus Strauss- A Computing Medley on Program Verification, Specification, and Automated Reasoning.
By John A. van der Poll- A Means to an End: Getting the Job Done.
By Gertjan Zwartjes- An Assertion-Guided Derivation of a Circle Drawing Algorithm.
By Bruce W. Watson and Derrick G. Kourie- Deriving the Boyer-Moore-Horspool Algorithm.
By Loek G. W. A. Cleophas- Implementation of Deterministic Finite Automata on Parallel Computers.
By Jan Holub and Stanislav Stekr- Improving Architectural Design Decisions.
By Andrew B. Boake- Mobile Spectrum Auctions.
By Vali Lalioti- Modelling your Domain using Ontologies.
By Thomas Meyer- Musings about Text Redundancy and Text Compression.
By Stefan Gruner- Querying Large C and C++ Code Bases: The Open Approach.
By Alexandru Telea and Heorhiy Byelas- Random Generation of Unary Finite Automata over the Domain of Regular Languages.
By Lynette van Zijl and Lesley Raitt- Reflections on Coding Standards in Tertiary Computer Science Education.
By Vreda Pieterse and Derrick G. Kourie- Software and Inventive Ideation.
By Marlene Ross- Software Engineering Professionalism.
By W. H. Morkel Theunissen- The Ethical Researcher.
By Dewald Roode- The Lazy Programmer.
By Judith Bishop- The Values of the Myths of Postgraduate Studies in Computer Science.
By Martin S. Olivier- Verifying the Uniform Candy Distribution Puzzle with CSP-Prover.
By Yoshinao Isobe and Markus Roggenbach- Web-Based Development: Putting Practice into Theory.
By Iwan Vosloo- Appendix: PICTURES from the Fest-Colloquium