We consider the problem of automatically generating parallel programs in the occam language. In particular, we are concerned with the generation of program skeletons, that define just those computations that are common ...
The compiler construction toolkit under development in the University of Botswana (UB is intended to allow the students build rapidly components of compilers for languages that they define. It consists of a case-type scanner ...
What to teach students in an undergraduate program in Information Systems at a tertiary
institution has repeatedly been debated over the years. Various curricula have been published, the most recent effort being the IS ...
lnterpersonal skills and communications are the two topics in Curriculum '95, compiled by the joint task force of the ACM/AIS-ICIS/DPMA, where both academics and industry expect the level of knowledge of the students to ...
Many information strategists today agree that the Object-Oriented Technology (OOT) has particular requirements that should not be omitted from a traditional Information Technology (IT) strategy. An Object-Oriented Strategy ...
Multiple CASE tools that support systems analysis and design are available today. These
tools are becoming indispensable in its support for the systems development process, although the support varies in term of the methods ...
We describe the prototype of an expert system software advisor for the lock manager of a database system. The software advisor, called EAGLE (Expert Advisor for Granting Locks Effectively), is intended to become an ...
A model checker automatically determines whether a model of a reactive system satisfies its specification.Temporal logic is used to specify the intended behaviour of a reactive system which is modelled as a transition ...
The most frequently used local database system failure recovery techniques are logging, shadowing and differential files. In a distributed database these, local system failure recovery techniques may be utilized for recovery ...
Most statically typed Algol-style languages were designed to conform with the view that a value belongs to one and only one type. The adoption of this view bought compiler simplicity at the expense of language expressivity. ...
Statecharts were developed by Harel et al [10] to specify complex reactive systems.
In this paper we report on our application of statecharts as a design and specification
tool for an X-Windows based Graphical User ...
The book uses storytelling as teaching, with exclusive use of active tense, local examples a problem-driven approach rather than a product-driven approach. For example, magnetic tape principles are explained in ...
Consider a circuit-switched network where several source switches are connected
to a destination switch via a tandem switch. Circuit-switched networks traditionally employ a Blocked Calls Cleared ( BCC) admission rule: a ...
This paper describes SuperText, a computer program designed to support
productive expository writing processes among students at a distance teaching university. Being able to write well is an import communication skill, ...
The next generation of query languages for database systems should have the
ability to express recursive queries, the efficient evaluation of which will be crucial to
the success of these systems. One such query language ...
This paper describes a software development environment currently being built at the University of Natal that provides a powerful and easy to use engineering tool for the design, simulation and implementation of high ...
The design of a speech synthesis system for the generation of speech from text is presented. The system accepts any Afrikaans sentence and then derives segmental and suprasegmental information through various linguistic ...
There is, as yet, no single formal definition for the object-oriented approach. The object-oriented paradigm is described in terms of the concepts accentuated by the approach, namely classes, objects, methods, messages and ...
Recently, there have been various attempts to combine the strengths of
similarity-based learning (SBL) and explanation-based learning (EBL) in a single learning system.
We describe a graph-based learning method called ...