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

Permanent URI for this collectionhttp://hdl.handle.net/2263/8920

Pre-Proceedings of a Colloquium held at Windy Brow, South Africa, 28 June 2008. Edited by Stefan Gruner and Bruce Watson. View the Festprogram.

Browse

Recent Submissions

Now showing 1 - 20 of 25
  • Item
    Colloquium at Windy Brow : celebration photo
    (2009-03-11T09:05:42Z) Gruner, Stefan; sg@cs.up.ac.za; Pieterse, Vreda; Cleophas, Loek G.W.A.; Liang, Lorraine
  • Item
    Web-based development : putting practice into theory
    (2009-03-11T08:46:13Z) Vosloo, Iwan; iwan@reahl.org
  • Item
    Verifying the uniform candy distribution puzzle with CSP Prover
    (2009-03-11T08:29:25Z) Isobe, Yoshinao; Roggenbach, Markus; M.Roggenbach@swansea.ac.uk
  • Item
    The values of the myths of postgraduate studies in Computer Science
    (2009-03-11T07:51:22Z) molivier@cs.up.ac.za; Olivier, Martin S.
  • Item
    The lazy programmer
    (2009-03-11T07:33:31Z) Bishop, Judith; jbishop@cs.up.ac.za
  • Item
    The ethical researcher
    (2009-03-09T13:35:02Z) Roode, Dewald; jdr@inbekon.com
  • Item
    Software Engineering Professionalism
    (2009-03-09T13:17:22Z) Theunissen, William Herman Morkel; mtheunis@cs.up.ac.za
    The state of contemporary software and the practice of its development continue to raise the need for evaluating the concept of professionalism in software development. This paper investigates the definition and the concept of professionalism and in turn the resulting profession of software engineering; leading to some philosophical discussion of the subject. The elements of values, principles, practices and ethics are briefly explored. Culminating into some vision of the path forward.
  • Item
    Random Generation of Unary Finite Automata over the Domain of the Regular Languages
    (2009-03-09T12:50:06Z) Van Zijl, Lynette; Raitt, Lesley; lynette@cs.sun.ac.za
    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 random generation of unary finite automata over the domain of the regular languages.
  • Item
    Software and inventive ideation
    (2009-03-09T12:32:22Z) Ross, Marlene; marlene.ross@sitwala.com
    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 a specific problem, since none of them covers the full spectrum of approaches towards problem solving. A recent model that attempts to capture the essence of all of these techniques and heuristics, facilitates a more generic approach. This model is leveraged to construct Ideation Domains for software development.
  • Item
    Querying large C and C++ code bases: the open approach
    (2009-03-09T11:48:11Z) Telea, Alexandru; Byelas, Heorhiy; a.c.telea@rug.nl
    Static code analysis offers a number of tools for the assessment of complexity, maintainability, modularity and safety of industrysize source code bases. Most analysis scenarios include two main phases. First, the code is parsed and ’raw’ information is extracted and saved, such as syntax trees, possibly annotated with semantic (type) information. In the second phase, the raw information is queried to check the presence or absence of specific code patterns which supports or invalidates specific claims on the code. Whereas parsing source code is largely standardized, and several solutions (parsers) exist already, querying the outputs of such parsers is still a complex task. The main problem resides in the difficulty of easily translating high-level concerns in the problem domain into low-level queries into the raw data domain. We present here an open system for constructing and executing queries on industry-size C++ code bases. Our query system adds several so-called query primitives atop a flexible C++ parser, offers several options to combine these predicates into arbitrarily complex expressions, and has a very efficient way to evaluate such expressions on syntax trees of millions of nodes. We demonstrate the integration of our query system, C++ parser, and interactive visualizations, into the SOLIDFXintegrated environment for industrial code analysis.
  • Item
    Musings about text redundancy and text compression
    (2009-03-09T11:23:19Z) Gruner, Stefan; sg@cs.up.ac.za
    I muse about some “stringological” questions: Is it possible to encode and compress any given string in such a way that all redundancy is removed? And, if this not possible: How closely could we approximate the ideal aim? My little essay is naive in the sense that I have never studied “stringology” and coding theory properly – therefore also no literature references at the end of this paper. The sole purpose of this little sketch is to entertain my colleague Derrick Kourie at the occasion of his 60th birthday, for which I wish him all the best of happiness as well as many further years to come.
  • Item
    Modelling your domain using ontologies
    (2009-03-09T09:26:23Z) Meyer, Thomas; tommie.meyer@meraka.org.za
    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 of reasoning tasks over large ontologies. We also, briefly, consider some of the challenges to be overcome before it can be seen as having reached the status of an established technology.
  • Item
    Mobile spectrum auctions
    (2009-03-09T07:32:45Z) Lalioti, Vali; vali.lalioti@bbc.co.uk
  • Item
    Improving architectural design decisions
    (2009-03-09T07:12:35Z) Boake, Andrew B.; andrew.boake@absa.co.za
    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 domains well, to formulate informed strategies, to document these explicitly, and to guide projects in their application. To do this, architects must make decisions between competing directions, and on difficult trade-offs in their application. These decisions are often based solely on experience, gut-feel, even bias. They are typically arrived at using implicit reasoning such as rules of thumb, and are often poorly articulated. This results in poor corporate technology decisionmaking, and unclearly documented architectural direction. This paper investigates what can be done to improve this decision-making. It positions architectural decision-making as an exercise in balancing design forces, and the role of solution architect as facilitator between the representative stakeholders. We describe an experience in building a team which has followed this approach in a particular corporate environment, and document the lessons learnt.
  • Item
    Implementation of deterministic finite automata on parallel computers
    (2009-03-09T06:50:41Z) Holub, Jan; Stekr, Stanislav; holub@fel.cvut.cz
  • Item
    Deriving the Boyer-Moore-Horspool algorithm
    (2009-03-04T14:06:47Z) Cleophas, L.G.W.A. (Loek); loekcleophas@gmail.com
  • Item
    An assertion-guided derivation of a circle drawing algorithm
    (2009-03-04T10:06:03Z) Watson, Bruce William; bruce@bruce-watson.com; Kourie, Derrick G.
  • Item
    Reflections on coding standards in tertiary Computer Science education
    (2009-03-04T09:43:51Z) vpieterse@cs.up.ac.za; Kourie, Derrick G.; Pieterse, Vreda
  • Item
    A Computing medley on program verification, specification, and automated reasoning
    (2009-02-26T12:58:21Z) Van der Poll, John A.; vdpolja@unisa.ac.za
  • Item
    A burden of wonder
    (2009-02-26T12:57:26Z) tstrauss@cs.up.ac.za; Strauss, Tinus