ACM-NATIONAL-CONFERENCE

In 1974 Stevens, Myers and Constantine published a paper in the IBM Systems Journal which described “Structured Design”. Their paper stated:

“Structured Design is a set of proposed general program design considerations and techniques for making coding, ...

With the help of a model for discrete optimization problems, we show that a large number of heuristic search procedures (for searching state-space graphs, AND/OR graphs, game trees, etc.) of artificial intelligence (AI), and dynamic programming (DP) and ...

Expert systems are generally described by a mixture of terms that confuse implementation language with knowledge structure and the search process. This confusion makes it difficult to analyze new problems and to derive a set of knowledge engineering ...

The Dipmeter Advisor system [11] attempts to emulate human expert performance in an important and specialized oil well-log interpretation task. The system is currently being used in a small number of Schlumberger Field Log Interpretation Centers as an ...

ACE (Automated Cable Expertise) is a knowledge-based expert system that provides trouble-shooting and diagnostic reports for telephone company managers. Its application domain is telephone cable maintenance. ACE departs from standard expert system ...

An overview of the goals, methods and progress of the Programmer's Apprentice Project:

The goals of the project are to develop an artificial intelligence theory of how expert programmers analyze, synthesize, modify, explain, verify and document programs,...

This paper briefly examines certain of the Intelligent Information Retrieval (IIR) mechanisms used in the RESEDA system, a system equipped with “reasoning” capabilities in the field of complex biographical data management. Particular attention is paid ...

SPERIL-II is an expert system for damage assessment of existing structures. Fuzzy sets for imprecise data and Dempster and Shafer's theory for combining fuzzy sets with certainty factors are used in an inexact inference. Since the process of the damage ...

There is as yet no general agreement as to the best solution to the operation of time and negation in data bases. This paper presents an approach to handle these problems in a logic data base system. A simple logic interpreter is introduced that allows ...

A large knowledge based system can be considered equivalent to a large data base system; but, instead of the more usual algorithmic rules, most of the rules are expressed in the form of specifications. Such a form of expression has the considerable ...

In this paper we present a new and practical approach to program verification based on the transformational program development method. We believe this system, which we call the Practical Verification System, is both user-friendly and mathematically ...

For the past several years a research approach has been developed in the area of program testing; this automated testing approach is called the Domain Testing Strategy. This paper examines broader implications of that research, together with several new ...

Unification is a basic operation in theorem proving, in type inference algorithms, and in logic programming languages such as Prolog. Prolog will play a major role in software development for the Fifth Generation project, and thus developing fast ...

A good solution to the reusable code problem turns out to provide a solid technical basis from which to understand and deal with the production, quality, and maintenance issues currently besieging the software industry. To this end, a software ...

The continued development of higher order programming languages has not yielded major productivity improvements in the software development process. One often mentioned mechanism for achieving significant orders of improvement are application generators,...

One of the major problems facing data base designers is how to develop a logical data base design for a proposed application. Usually, for each new application, a new data base design is produced. For a Data Base Task Group (DBTG) data base management ...

A prototype automated software design evaluator was implemented as part of a project whose long-term goal is the application of AI techniques to the tools in a software engineering environment. The purposes of undertaking this prototype were to: 1) ...

This paper presents an approach to developing system design documentation and then programming the software code directly into the specifications. An introduction to the purpose and content of design documentation is given, along with a description of ...

Software Engineering has emerged as a field in recent years, and those involved increasingly recognize the need for standards. As a result, members of the Institute of Electrical and Electronics Engineers (IEEE) formed a subcommittee to develop these ...

In this paper, the roles of different information systems in an organization are identified using a framework called “Information Wheel”.

An information wheel is similar to a physical wheel in that it consists of a hub, spokes, rim and a tire. The parts ...

Arriving at all the requirements of a large software system is a very difficult task, whose success or failure significantly affects the system design and implementation. A user oriented approach is suggested in this paper, that expands the definition ...

The purpose of this project is to develop a system to provide knowledge based decision support within a large legislation based organisation. The system developed will not be made fully operational within the target organisation, the Department of ...

A requirement specification model suitable for the next generation of software development tools is presented. The model uses frames for each entity and relations between entities. The model includes levels and meta-information. The entity-relationship-...

The anticipated fifth generation of computing systems presents many challenges. One of the more important is the challenge of designing languages suitable for describing the parallel computations which these systems will achieve. The new systems will ...

This paper investigates features of a PROLOG compiler for Mago's cellular machine. The compiler generates parallel FFP (Formal Functional Programming) code. Hence high efficiency in the execution of PROLOG programs can be achieved on this machine, owing ...

This paper presents the principles followed in designing Zeus, an object-oriented distributed operating system designed to study integration of recovery mechanisms into the designs of distributed command and control systems. The primary goal of the Zeus ...

Programs for dataflow machines often require efficient support for recursive procedure invocation to achieve high performance and programming flexibility. This paper discusses different methods presently used in contemporary dataflow models for handling ...

The paper concerns the use in software development of a class of very high level languages characterized as definitional, where a specification of a program consists of assertions expressed as conditional equations. As compared to logic programming, ...

In a subscriber network, the conventional method of satisfying the circuit demands is by voice frequency engineering. Modern electronic equipments such as pair gain systems, distributed and lumped subscriber carriers, which will be called concentrators ...

This paper describes the organization and operation of a semantic network array processor (SNAP). The architecture consists of an array of identical cells each containing a content addressable memory, microprogram control and communication unit. Each ...