COLLOQUIUM and FESTSCHRIFT
at Occasion of the 60th Birthday of Derrick Kourie
of Colloquium held at Windy Brow, South Africa, 28 June 2008Edited 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)
- 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