ACM-NATIONAL-CONFERENCE

Two major issues concern the development of software today. Productivity and user requirements definition need to be satisfactorily dealt with to meet the needs of software users in the future. There is considerable debate about the nature of the ...

A knowledge based software development environment under development at Lockheed's Software Technology Center (STC) in Austin, Texas. The environment, called Express, consists of several very high level executable specification languages, their ...

Traditionally there have been two alternative strategies for software development: phased refinement or evolutionary enhancement. In phased refinement, all system functionality is specified in the first step of development, and subsequent implementation ...

This paper discusses the tools and methodologies used in the Smalltalk-80 Programming System with respect to their support for the various phases of the software lifecycle and their relevance to computer-aided software engineering (CASE). Special ...

The paper addresses the topic of software reuse by highlighting its various aspects. In particular, arguments are raised that the notion of “software reuse” cannot be limited to source code only.

On this basis, two approaches for reusing software are ...

The SSD (Standard Services Drawer) is part of a new well logging system developed by Schlumberger. A suite of 50 diagnostic tests are used for isolating failures in the SSD hardware. Causality in the hardware is reflected among the tests as ...

Hazard prevention and/or risk minimization are especially pertinent in industrial robot installations. Software for controlling robots must be analyzed as a contributor in risk situations. The use of 'failure mode and effects analyses' and 'fault tree ...

In the recent decade, software development and debugging advancements have been greatly outpaced by the advancements in hardware design and integration. The largest portion of time spent in software development is testing and debugging. Symbolic ...

An approach to retrieving reusable software components by means of module specifications is described. The approach depends on normalizing specifications to reduce the variations in the representation of software concepts. The concept is illustrated in ...

Expert systems techniques are a powerful technology with many potential applications such as the enhancement of software tools. It can, however, be difficult to incorporate expert systems techniques into production software. We are attempting to solve ...

Object-oriented programming has become a popular programming paradigm. The number of researchers in the field has grown since the introduction of the Smalltalk programming language. Researchers interested in knowledge representation are striving to ...

One way to increase software productivity is to reuse existing code, designs and specifications. This paper examines the characteristics of software reusability from the points of view of software engineering as well as knowledge engineering. Various ...

The Problem Specification (PS) nonprocedural language is a very high level language for algorithm specification. PS is suitable for nonprogrammers, who can specify a problem using mathematically-oriented equations; for expert programmers, who can ...

This paper summarizes the architectural requirements of computer communications for Air Traffic Control (ATC), using the Federal Aviation Administration's (FAA) future Advanced Automation System (AAS). The requirements include distributed processing, ...

The Advanced Automation System must meet availability requirements that pose new and severe challenges to designers and analysts of fault-tolerant systems. The problems of introducing sufficient fault tolerance and verifying its effectiveness are ...

The design process for large military systems is an extremely complex undertaking. The size of these systems, coupled with the high cost of making mistakes in their design makes their implementation a matter of national concern. Since these systems are ...

Many people question the desirability of using artificial intelligence (AI) techniques in strategic defense. They argue that AI software cannot be validated, which is a critical requirement of strategic defense software; that AI software is slow in ...

Much of the controversies surrounding the Strategic Defense Software (SDS) [Parnas 86] are based on the facts that such systems cannot be field tested and that current research in AI, automatic programming, and software engineering are inadequate to ...

In trying to solve our large organization software problems (see other papers in this conference), we may be doing the wrong things better! Large automated systems development and lifetime support requires “ industrial-strength” management and ...

The comments describe five items that are significant challenges in large decentralized organizations.

Of the many problems that we face in managing the deployment of information technology in large organizations … particularly large decentralized ...

The importance of software quality and the relationship of software reliability to software quality are discussed. The need for software reliability measures is demonstrated by outlining some possible applications. Basic software reliability concepts ...

Assessment of the reliability of a software product is a key element in the decision to release the product. As with hardware, a theoretical model and related metrics exist that can be practically applied to estimate the software reliability of a ...

In the fall of 1985, the ALPHA project was faced with planning a major new release (and the first commercial release) of their product (ALPHA, of course), which was earmarked for significant new external customers. ALPHA is a collection of source ...

This talk discusses our experiences in applying Software Reliability Measurement (SRM) techniques as outlined in reference [1] to one of our software products. Our products are computer-based systems which mechanize the management and operations of ...

This paper complements the others presented in this session. It provides additional examples of the success of software reliability modeling culled from the literature. In addition it discusses the practical and theoretical steps which must be pursued ...

The Shuttle Mission Training Facility (SMTF) is used to train astronauts and ground controllers for Space Shuttle missions. The complex contains three simulators driven by real-time software on large mainframe host computers and supported by as many as ...

There are many software tools designed to meet requirements of specific stages of software life cycle. They help rather limited problems of software productivity. Needs to integrate such tools according to a good discipline have been growing.

Lots of ...

Programming is generally considered to be a complicated and time-consuming task even for professionals. This comes mostly from the unfriendliness of the programming environment. One of the possible ways to overcome this problem is by the utilization of ...