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, LorraineItem Web-based development : putting practice into theory(2009-03-11T08:46:13Z) Vosloo, Iwan; iwan@reahl.orgItem Verifying the uniform candy distribution puzzle with CSP Prover(2009-03-11T08:29:25Z) Isobe, Yoshinao; Roggenbach, Markus; M.Roggenbach@swansea.ac.ukItem 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.zaItem The ethical researcher(2009-03-09T13:35:02Z) Roode, Dewald; jdr@inbekon.comItem Software Engineering Professionalism(2009-03-09T13:17:22Z) Theunissen, William Herman Morkel; mtheunis@cs.up.ac.zaThe 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.zaWe 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.comA 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.nlStatic 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.zaI 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.zaThis 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.ukItem Improving architectural design decisions(2009-03-09T07:12:35Z) Boake, Andrew B.; andrew.boake@absa.co.zaThe 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.czItem Deriving the Boyer-Moore-Horspool algorithm(2009-03-04T14:06:47Z) Cleophas, L.G.W.A. (Loek); loekcleophas@gmail.comItem 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, VredaItem A Computing medley on program verification, specification, and automated reasoning(2009-02-26T12:58:21Z) Van der Poll, John A.; vdpolja@unisa.ac.zaItem A burden of wonder(2009-02-26T12:57:26Z) tstrauss@cs.up.ac.za; Strauss, Tinus