There exist a number of well-known and validated design metrics, and the fault prediction available through these metrics has been well documented for systems developed in languages such as C and Ada. However, the mapping and application of these metrics to SDL systems has not been thoroughly explored. The aim of this project is to test the applicability of these metrics in classifying components for testing purposes in a large-scale SDL system. A new model has been developed for this purpose. This research was conducted using a number of SDL systems, most notably actual production models provided by Motorola Corporation. / Department of Computer Science

Concurrent processing has always been a traditional problem in developing operating systems. Today, concurrent algorithms occur in many application areas such as science and engineering, artificial intelligence, business systems databases, and many more. The presence of concurrent processing facilities allows the natural expression of these algorithms as concurrent programs. This is a very distinct advantage if the underlying computer offers parallelism. On the other hand, the lack of concurrent processing facilities forces these algorithms to be written as sequential programs, thus, destroying the structure of the algorithms and making them hard to understand and analyze.The first major programming language that offers high-level concurrent processing facilities is Ada. Ada is a complex, general purpose programming language that provides an excellent concurrent programming facility called task that is based on rendezvous concept. In this study, concurrent processing is practiced by simulating a business system using Ada language and its facilities.A warehouse (the business system) consists of a number of employees purchases microwave ovens from various vendors and distributes them to several retailers. Simulation of activities in the system is carried over by assigning each employee to a specific task and all tasks run simultaneously. The programs. written for this business system produce transactions and financial statements of a typical business day. They(programs) are also examining the behavior of activities that occur simultaneously. The end results show that concurrency and Ada work efficiently and effectively. / Department of Computer Science

There are increasing demands for graphics-oriented software packages for graph theory teaching and research. G-Net, a departmental research project headed by Dr. Jay Bagga, is an effort to create a software package that comprises of a graph database, a graph editor, 'and a collection of graph algorithms. Also, with widespread use of the World Wide Web, the graph editor should be accessible through the Web. Taking these issues into consideration Jedit (Java Graph editor) is developed. This thesis concentrates on the design and implementation of a graph editor and a graph object (Jgraph). Jgraph is developed in java to implement the graph algorithms in future. One of the unique features of this graph editor is that it can be used as stand-alone application or as an applet for the Web. In addition, it also provides a friendly user interface. / Department of Computer Science

The Republic of Guinea is located on the west coast of Africa at about 11° North latitude. A large portion of Guinea's supply of protein is dried fish. The actual drying method operates under open air, the foodstuff being unprotected from unexpected rains, windborne dirt and dust, and from infestation by insects, rodents, and other animals. More, the deforestation rate is increasing year after year, depleting the source of fuel for drying. Practical ways of drying fish cheaply and sanitarily would be welcome.Recently, much work has been devoted to developing algorithms for parallel processors. Parallel algorithms have received a great deal of attention because of the advances in computer hardware technology. These parallel processors and algorithms have been used to improve computational speed, especially in the areas of sorting, evaluation of polynomials, arithmetic expressions, matrix and graphic problems.Sorting is an important operation in business and computer engineering applications. The literature contains many sorting algorithms, both sequential and parallel, which have been developed and used in practical applications. bubble sort, quick sort, insertion sort, enumeration sort, bucket and odd-even transposition sort. Ada, a new excellent programming language that offers high-level concurrent processing facilities called tasks, is used in this thesis to introduce, implement, compare and evaluate some of the parallel sorting algorithms. This thesis will also show that parallel sorting algorithms reduce the time requirement to perform the tasks. / Department of Computer Science

A command language interpreter (CLI) translates commands entered by the user into system actions. The shell is a specific type of CLI that was originally designed and used with UNIX operating systems.The author proposes to design and implement a shell-like CLI on top of the VMS operating system. The shell will enhance VMS features by providing an easier to use syntax and by providing features that are not currently available through VMS. These features include piping facilities and the ability to enter and/or reference multiple commands from a single command line. A language reference manual is provided with the J-shell. This manual explains the features and commands of the J-shell.

Expert system techniques are now being incorporated successfully in commercial computer software packages. This thesis introduces the techniques of developing a rule-based expert system in a general-purpose programming language -- C. The topics of this thesis include significance of expert system shells and approaches used, structure of the knowledge base, loading of the knowledge base, manipulation of the probabilities of rule attributes, and implementation of the inference engine. The inference engine uses the information that users supply to find an object that matches. Today C language is one of the most popular programming languages in use and C compilers consistently produce extremely fast and efficient executable programs. Thisthesisdemonstrates that C language is an appropriate computer language for a rule-based expert system. / Department of Computer Science

The purpose of this study is to explore that mathematics provides a convenient formalism for studying classical database management system problems. There are two main parts in this study, devoted respectively to using mathematical theory of relations and using logical theory to study database management systems. In the first part we focus on relational model and relational algebra. The second part deals with the application of mathematical logic to database management systems, where logic may be used both as a inference system and as a representation language. The features and logical mechanisms of Prolog programming language have been studied. A sample logical database model is developed and tested, using the logic programming language Prolog. / Department of Computer Science

Computers are used for diagnostic and training in the neuropsychological rehabilitation. PLANTEST is a program for the IBM-PC that was developed for diagnostic support. It implements a test that gives information about the reduced ability of brain-injured patients to make plans regarding a certain task.The presented thesis describes a knowledge-based system that can be used to develop new test versions for PLANTEST. The program is called SolvePT and it can prove the solubility of test material used in PLANTEST. It can also automatically generate new test material. The program uses an exhaustive forward-chaining, depth-first search and is implemented in Prolog. The datastructures and algorithm of the program as well as space and time requirements are discussed. / Department of Computer Science

This thesis creates an small expert system that is based on Einstein's special relativity. The basic knowledge of special relativity and the bases for building an expert system are described. The concepts of special relativity are put into a knowledge base by changing the formulas into rules and facts. The Prolog language was used to develop the expert system. New information can be input that does not contradict the rules and facts already in the database. The system also uses computer graphics to demonstrate the physical concepts of relativity. By using this expert system, one can teach the basic knowledge of special relativity and solve some problems related to frames of reference moving with high speed. / Department of Computer Science

This thesis developed a new markup language based on eXtensible Markup Language (XML), named as the Unified Programming Markup Language (UPML), which represents an abstraction of programming techniques of popular programming languages, and is used to store the programming semantic information of various programming languages. UPML aims to provide a general software quality analysis platform and as a gateway to translate programs between high-level programming languages. This research created and analyzed the features of UPML and concluded that UPML may have advantages over the traditional and newly appeared methods in software quality analysis and programming language translation. As the proof of concept in building such a software analysis and translation system, this research developed a PHP to UPML transformer. Execution examples showed its correctness of working in the core programming area of popular programming techniques, structure programming (SP) and object-oriented programming (OOP). The PHP implementation can be easily applied to other programming languages that support the same programming techniques. Since UPML is extensible, languages of other programming paradigms beyond the SP and OOP can be easily added. / Related work -- Analysis of programming languages and programming techniques -- Implementation of UPML -- Implementation of a PHP to UPML transformer -- Examples of execution. / Department of Computer Science