3,458 papers · page 173 of 173
This paper describes a transformation-based software environment which supports the acquisition and validation of software requirements specifications. These requirements may be stated informally at first, and then gradually formalized and elaborated. The environment assists in t…
Communication problems, and misunderstandings resulting from them, limit, the effectiveness of knowledge-based requirements analysis tools. An automated assistant may have a different model of the system being described than the analyst using the automated assistant. Likewise, in…
Software understanding is the process of recovering high-level, functionality-oriented information from the source code. This paper presents a knowledge-based approach to supporting understanding-intensive tasks in software maintenance and re-engineering. The approach uses progra…
Monitoring and measuring a program's execution involves specifying what to monitor and measure, collecting required data necessary for satisfying the specification, and presenting the results. We present a system for monitoring and measuring the execution of programs written in h…
The knowledge-based design panel explored new ideas for support of complex design processes and also explored the relationship between knowledge-based software engineering and other areas of knowledge-based design. This sununary consists of digests written by the panel members. D…
A retrieval mechanism for analogical specification reuse across domains is proposed. This mechanism represents a hybrid of several existing analogical mapping paradigms based on a model of software engineering analogies identifying critical determinants of such analogies. Analogi…
A prerequisite to the reuse and maintenance of a software system is the study and understanding of that system. Understanding a software system requires extensive expertise and knowledge in the problem domain and in design and programming techniques. Knowledge-based tools offer p…
Two approaches in automated software reuse and software retrieval can be recognized nowadays, which increase the efficiency of building large software systems. The first pragmatic one describes reusable components on a very abstract level with keywords, wheras the other approach …
Humans employ analogical reasoning frequently to reuse past experience for solving new problems. In this paper we show how past experience in program specification can be used by analogy to formalize new specifications. We briefly describe our analogy-based approach and then pres…
An activity coordination system helps its users describe, guide, and monitor processes in which they are involved. The activity coordination system described here is based on a formalism suited to the modular description of complex distributed activities. An activity, once descri…
Large systems maintenance efforts are often hindered because much of the richness of the design process, namely the process knowledge, involving the deliberation on alternative design decisions, is lost in the course of designing and changing such systems. In this research, we pr…
Roger's model of the diffusion of innovation, when applied to the current state of KBSA technology, suggests that KBSA is not likely to receive widespread adoption today, even in the limited context of trial use. While the high-level development support it provides motivates its …
The panel will bring together industry and defense professionals familiar with Knowledge-Based software Engineering (KBSE) research to identify barriers to the adoption of that technology and propose practical ways to overcome those barriers. The panel is intended to help KBSE re…
A computational domain model is a machine-interpretable representation of the context in which a software system is to operate. Such models can be difficult to construct, especially in complex domains. This paper describes Kibitzer, an intelligent assistant that participates in t…
An adaptable tool generator, utilizing a knowledge-based automatic program synthesis architecture, allows the user to tailor the tool implementation to the demands of the application. An implementation of the knowledge-based program synthesis architecture, ELF, indicates the feas…
Computer software dominates the functioning of most new defense systems and is a rapidly increasing share of the budget. The ability of the Department of Defense (DoD) to continue to field modern, complex systems depends upon its success in overcoming current software productivit…
This paper describes a methodology in maintaining large software system (system usually with more than 200,000 lines of code). The software system is not assumed to be well documented, nor does it have proper specification, making the process of understanding, updating and mainte…
One of the problems currently facing developers of software systems is the acquisition of software requirements. This paper presents an approach to the automation of an interactive elicitation of the requirements from domain users. The Knowledge-based Requirements Acquisition Sys…