Recently added

Colloquiums and Festschrifts (At the occasion of the 60th Birthday of Derrick Kourie): Recent submissions

  • A means to an end - getting the job done 
    Zwartjes, Gertjan (2009-02-26)
    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 ...
  • Table of contents 
    Gruner, Stefan; Watson, Bruce William (2009-02-26)
    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 ...
  • Greetings 
    Botha, Tonie; Van den Heever, Roelf; Marshall, Linda; Gruner, Stefan; Roos, Jan; Obiedkov, Sergei; Jolliffe, Bob; Barla-Szabo, Gabor; Oosthuizen, Deon; Roos, Clarisse (2009-02-26)
    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 ...
  • Preface by the editors 
    Gruner, Stefan; Watson, Bruce William (2009-02-26)
    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 ...
  • From operations research to software engineering and beyond 
    Gruner, Stefan; Watson, Bruce William (2009-02-26)
    Pre-Proceedings, with greetings and contributions by Tonie Botha, Roelf van den Heever, Linda Marshall, Jan Roos, Sergei Obiedkov, Bob Jolliffe, Tinus Strauss, John A. van der Poll, Gertjan Zwartjes, Loek Cleophas, Jan ...