This paper investigates the relations between two complexity functions when they have the same order class on a subsequence. Sufficient conditions are derived for concluding that two functions have the same order class if they are sufficiently related on a subsequence. These theoretical results are used to prove order class properties of complexity functions arising from divide and conquer problems. In addition, it is shown that between any two comparable non-constant order classes there are order classes that are incomparable.

Conventional approaches to the formal specifications of computing systems do not provide a facility for leaving elements undefined. The purpose of this thesis is to introduce a formalism for such a facility and to examine it's affect on the underlying semantics. These ideas are thus a modification of conventional formalism using semantics. Keywords; Term rewriting systems, Dendrogrammars, Formal specification, Algebraic semantics, Software engineering. (SDW).

The objective of this study is to design and implement software for an automatic document generator supporting the Turkish alphabet. THe implementation in this study is mainly based on IBM personal computers and dot matrix printers. Theses. (FR).

Different computer systems have different programming environments in spite of their similar capabilities. GEM and Macintosh software system both provide an operating environment in which the users can utilize all kinds of functions and routines to produce a user-friendly application program. Unfortunately, the programmers have to repeat the learning procedure and recode the source works if for some reason the application program is needed to run on both IBM PC and Macintosh microcomputers. In this thesis, a common interface is provided for programmers to reduce duplicated efforts and hopefully to get the same effects in both operating environments. Theses. (FR).

There is considerable interest in the development of Ada-based, automated software tools to aid in the development and testing of embedded, real-time software. The Naval Postgraduate School has already implemented automated Ada metric tools at the request of the Naval Weapons Center, China Lake. This thesis is the preliminary work for a new automated software analysis tool entitled AdaFlow. This tool, which is written in Ada, takes Ada programs as input, and translates the source code to a Petri net model. This Petri net model provides the user with the capability to perform automated, interactive analysis of Ada programs for properties such as safety and deadlocks. Recommendations for future work in this area are included.(KR).