Expert systems apply Artificial Intelligence (AI) techniques to an application area, aiming (usually) to mimic the behaviour of a human expert. However, there are some AI techniques which can be used to improve the internal ...
Semantic data models were originally introduced as a tool for data description and design. SDMI (Semantic Data Model Interface) investigates their use in another role - as the basis for a data manipulation language - and ...
A novel way of programming, which starts with specific details of a particular example
and abstracts these details into generalised sets, is proposed. The whole program is
constructed around the definition of these sets. ...
Modem computer systems are truly awe-inspiring fetes of detailed design. Millions of
transistors perform billions of instructions every second, linking thousands of people from
every continent with a remarkable degree ...
Artificial neural networks (ANNs) have been proven to be successful general machine
learning techniques for, amongst others, pattern recognition and classification. Realworld
problems in agriculture (soybean, tea), ...
A commonly accepted hierarchy of cognitive skills puts analysis and synthesis near the top, with straightforward knowledge and comprehension at the bottom. A typical Computer
Science curriculum, though, usually starts ...
The research reported in this paper aims to integrate software engineering approaches with instructional factors in the requirements, analysis, design and production phases of
instructional software development. The ...
The development of Software is a long term investment. This investment normally takes
a lot of money and human efforts. So many things may change during the life span of
a Software. The requirement and the specification ...
A formal specification of a multi-level marketing (MLM} business is presented. Specifying a MLM business boils down to specifying properties of and operations on mathematical forests and trees. The usefulness of the ...
Persistent data is defined as that which survives on secondary store after program execution terminates. In a persistent programming language there is no distinction what ever between persistent data and ...
Formal methods have not as yet succeeded in becoming an accepted way to develop software. This paper explores whether a possible reason for this is the complexity of the tools we use, in particular, the programming paradigms. ...
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 ...
In this paper we consider the consequences of e-learning design and implementation on the working processes and on the roles to be fulfilled in the usually cyclic process of course development and exploitation.
We analyse ...
Systems development methods or software methodologies have evolved
considerably over the past few years. This development has tended to fall into two main areas: Software Engineering and Human Computer Interaction (HCI). ...
In this extended abstract, we present a brief description of the tutorial. The primary
reference material, a book and some software (1] , is available for ftp from the Eindhoven University of Technology.
In this tutorial, ...
We describe the use of a toolkit designed to support the Compiler Construction course
in the University of Botswana. The toolkit is based upon the principles of simplicity,
modularity and flexibility. Its educational ...
The purpose of this paper is to outline an approach for the development of the Tape
Machines model in the Theory of Computation which is bound more closely to the real
computer world. The approach is based on a developed ...
In today's highly competitive global economy, well-structured information resources, representing enterprise-wide information, are essential to the survival of an organization. The user needs an integrated view of the ...
This is a quite general survey talk in which I present some of the infrastructure,
activities and scientific flavour of what has, for better or worse, come to be called
"Theoretical Computer Science". I will try to relate ...