3,458 papers · page 172 of 173
The authors present a knowledge-based process library (SPLib) that supports the organization, access, and reuse of software processes. SPLib consists of a knowledge base of software process representations. It also provides a set of process operations that support browsing, searc…
Two questions are examined: what does it mean to understand a program? What solutions to the aging software crisis does program understanding offer? One view is that the aging software problem is a form of support for program maintenance. Another view is that the problem of apply…
Reuse of software is inhibited by the dependence of the form of program code on the kind of data structures used. The author describes methods by which generic programs can be specialized, by compilation through views, for use with a given data structure. A view describes how an …
The authors develop an approach which reuses queries from a well known domain called the base domain in an unfamiliar one called the target domain. The objective is to model the behavior of naive users who often adapt queries from documentation examples to the problem at hand. Th…
The problem is examined of managing design knowledge as a crucial component in a large-scale software development project. The authors explore this design knowledge problem in more detail, describe both technical and nontechnical challenges, discuss the maintenance of such knowle…
The author summarizes the application of the KIDS system (knowledge-based) (D.R. Smith, 1990) to a large-scale problem drawn from the domain of air traffic control. Hughes Aircraft supplied a natural language specification of the track assignment portion of an air traffic control…
A constraint-driven, real-time software synthesis architecture called RT-Syn is described. RT-Syn formulates design space constraints for each task in the real-time software system from timing requirements and a behavior description. RT-Syn then uses these constraints within a si…
Software design processes are investigated using a three-part approach. For a design method of interest, walkthroughs are first performed on a number of small problems. Second, a simulation program is constructed which duplicates the design produced by the walkthroughs. Third, a …
The SOFTEX/S includes a transformation system, based on a term rewriting system, a language DSL/C++ for defining transformation rules and a specification language for a specific software model, as well as a rule verification system which supports developing correct transformation…
In this paper, we propose a method for representing and debugging computer programs that combines the best features of two streams of research in AI. The representation adopted here combines features normally found in only in plan representations with features normally found only…
We describe an initial prototype of a software engineering environment that combines case-based reasoning (CBR) and explanation-based learning (EBL) functions. CBR and EBL are used to evolve the environment's understanding of software principles as it is used. The case base serve…
The use of domain-specific knowledge in development environments can help increase the developer's productivity and reusability of the specifications. Domain-specific representations can make formal specification languages more usable by the average developer, and therefore raise…
This paper is meant to stimulate discussion on future directions that the Knowledge-Based Software Assistant (KBSA) program should take in order to encourage the transfer of its technology to industrial use. We have analyzed results of KBSA projects to date, and believe the most …
Development of correct algorithms for the synchronization of concurrently executing processes can be a difficult task. Most concurrent program debuggers have been developed in order to assist, the programmer once an error has appeared. This paper takes an alternate approach of at…
The Lockheed Environment for Automatic Programming (LEAP), is an environment for capturing and exploiting design knowledge to produce application system descriptions, software implementations, and other design artifacts. The target application area is distributed reactive systems…
In this paper, we describe an approach based on machine learning that acquires software design schemas from design cases of existing applications. An overview of the technique, design representation, and acquisition system, is presented. The paper also addresses issues associated…
Marvel is a rule-based development environment (RBDE) that assists in the development of software projects. Marvel encapsulates each software development activity in a rule that specifies the condition for invoking the activity and its effects on the components of the project und…
An Object Relationship Model is proposed as part of a project to develop a knowledge-based requirement engineering assistant. This paper describes the basic data model of the ORM and then concentrates on the use of complex objects as a knowledge representation platform for requir…