CSC

One of the advantages of using Backus' FP system for software development is the ability to reason about programs in the associated algebra of programs. In order to be able to use the algebra fully, it must be possible to obtain nonrecursive forms for ...

A symbolic differentiation functional that handles expressions containing free and bound variables in an extended λ-calculus programming language is described. The differentiation primitive is implemented by augmenting the set of graph-reduction rules ...

A type theory is given using extended Modula-2 constructs, and a subset of first order logic is interpreted by certain type constructors of this theory. Under this theory, given a formula of the form for all x find a y such that R(x,y) as a ...

A structured pseudocode containing only eight primitive instructions is described for expressing algorithms about sets, relations, functions, natural numbers, algebras, graphs, etc. The language has been used to treat algorithms in courses on discrete ...

Initial work during the last ten years for defining and prototyping software Development Management Systems has prepared the ground for presenting the concepts for the year 2000 DMS. DMS product evolution, features, 'approach, concepts and philosophy', ...

Software production is very complex, even if tool-aided, as tools are complex too. Specialization is necessary to simplify the work. Stating analogy between traditional industry and software production, and drawing lessons from observations of some ...

If one grants certain similarities between the programming and writing processes, then the critical perspectives adopted by the readers of literature may be generalizable to the readers of program texts. M.H. Abrams' classification of literary critical ...

Programmers learning a new paradigm seem to show both positive and negative transfer effects from their programming experience. This paper presents an initial discussion of relearning programming, and preliminary empirical studies.

This paper discusses the problem of partitioning rectilinear regions, with or without holes, into a minimum number of rectangles. An algorithm which solves this partitioning problem in time O(n^5/2), where n is the number of vertices of the rectilinear ...

Almost all Information Retrieval (IR) systems to date are based on extensive pre-processing of the data (indexing, abstracting, compression, or other surrogate full text representations such as “N-Grams”). This paper suggests an IR system based on the ...

The goal-oriented Simulation Environment Systems (SES) architecture “humanizes” the problem solving process by providing a more natural scheme of model construction and experimentation over traditional simulation languages. SES is a collection of ...

In this paper we will discuss a system for data capture of combat casualty medical information that is being developed at the Naval Health Research Center for use by the U.S. Marine Corps in forward echelon hospitals. The system captures data through ...

The military community requires a secure communications network. There are various alternatives to developing this network. They include the telephone network, railroad tracks, gas pipe lines, federal interstate system and a power transmission line. ...

Banks are developing new electronic banking products very rapidly. This paper argues that the success of new products depends not only on the technology and on marketing considerations, but also on the quality of the user-computer interface provided for ...

The B-tree data structure of Bayer and McCreight is an effective method of organizing an external file when the operations of searching, insertion, and deletion must be supported since these operations on B-tree require at most logarithmic time of the ...

Data modeling, in a sense, is an attempt to bring order out of chaos. The data requirements of a system normally consist of an unstructured collection of various types of data descriptions. The aim is to produce from these an understandable, precise, ...

A scheme for representing incomplete information in a relational database is presented. Also given are algorithms for performing relational algebra operations, inference rules for data dependencies and conditions for lossless decompositions in the ...

The Entity-Category-Relationship (ECR) model extends the Entity-Relationship (ER) model with the concepts of subclass and generalisation categories. In this paper semantics of update operations for the ECR model are discussed. The proposed update ...

The two proposed advantages of the universal relation model are that it can deal with the logical navigation problem and the database structure upgrading problem [Maier 1984]. Most previous research has concentrated on the first advantage, to relieve ...

MTEEP (Mechanical Transmission Element Expert) is an expert system for the design of mechanical transmission elements and proper material selection.

Much of the research and development in Engineering with respect to expert systems has been confined to ...

The construction of an expert system can be divided into two somewhat independent phases, knowledge engineering and software engineering. In the knowledge engineering phase, the heuristics and the data base for the system must be deduced through ...